Clean-0.6: A light, clean and powerful utility library
Clean.Arrow
class (Split k, Choice k) => Arrow k whereSource
Methods
arr :: (a -> b) -> k a bSource
Instances
(>>>) :: Category k => k a b -> k b c -> k a cSource
(<<<) :: Category k => k b c -> k a b -> k a cSource
(>>^) :: Functor f => f a -> (a -> b) -> f bSource
(^>>) :: Cofunctor (Flip f a) => (b -> b1) -> f b1 a -> f b aSource
(|||) :: (Choice k, Functor (k a), Functor (k b)) => k a a1 -> k b b1 -> k (:+: a b) (Either a1 b1)Source
class Arrow k => Apply k whereSource
apply :: k (k a b, a) bSource
app :: Apply k => k a c -> k a cSource
newtype Kleisli m a b Source
Constructors
Fields