SimpleH-1.2: A light, clean and powerful Haskell utility library
Algebra.Arrow
module Algebra.Monad
class (Split k, Choice k) => Arrow k whereSource
Methods
arr :: (a -> b) -> k a bSource
Instances
(>>^) :: Functor f => f a -> (a -> b) -> f bSource
(^>>) :: Cofunctor (Flip f c) => (a -> b) -> f b c -> f a cSource
class Arrow k => Apply k whereSource
apply :: k (k a b, a) bSource
comapA :: Arrow arr => (a -> b) -> Flip arr c b -> Flip arr c aSource
app :: Apply k => k a b -> k a bSource
dup :: Arrow arr => arr a (a, a)Source
newtype Kleisli m a b Source
Constructors
Fields
newtype ListA k a b Source