@@ -64,24 +64,24 @@ filterMapByWither :: forall t a b. Witherable t =>
6464filterMapByWither p = unwrap <<< wither (Identity <<< p)
6565
6666-- | A default implementation of `traverse` given a `Witherable`.
67- traverseByWither :: forall t m a b . ( Witherable t , Applicative m ) =>
67+ traverseByWither :: forall t m a b . Witherable t => Applicative m =>
6868 (a -> m b ) -> t a -> m (t b )
6969traverseByWither f = wither (map Just <<< f)
7070
7171-- | A default implementation of `wither` using `wilt`.
72- witherDefault :: forall t m a b . ( Witherable t , Applicative m ) =>
72+ witherDefault :: forall t m a b . Witherable t => Applicative m =>
7373 (a -> m (Maybe b )) -> t a -> m (t b )
7474witherDefault p xs = map _.right (wilt (map convert <<< p) xs) where
7575 convert Nothing = Left unit
7676 convert (Just y) = Right y
7777
7878-- | Partition between `Left` and `Right` values - with effects in `m`.
79- wilted :: forall t m l r . ( Witherable t , Applicative m ) =>
79+ wilted :: forall t m l r . Witherable t => Applicative m =>
8080 t (m (Either l r )) -> m { left :: t l , right :: t r }
8181wilted = wilt id
8282
8383-- | Filter out all the `Nothing` values - with effects in `m`.
84- withered :: forall t m x . ( Witherable t , Applicative m ) =>
84+ withered :: forall t m x . Witherable t => Applicative m =>
8585 t (m (Maybe x )) -> m (t x )
8686withered = wither id
8787
0 commit comments