SimpleH.Arrow

Documentation

module SimpleH.Monad

class (Split k, Choice k) => Arrow k where

Methods

arr :: (a -> b) -> k a b

Instances

Arrow (->)

Monad m => Arrow (Kleisli m)

Arrow k => Arrow (ListA k)

(>>^) :: Functor f => f a -> (a -> b) -> f b

(^>>) :: Cofunctor (Flip f c) => (a -> b) -> f b c -> f a c

class Arrow k => Apply k where

Methods

apply :: k (k a b, a) b

Instances

Apply (->)

Monad m => Apply (Kleisli m)

comapA :: Arrow f => (b -> b1) -> Flip f a b1 -> Flip f a b

app :: Apply k => k a c -> k a c

dup :: Arrow k => k t (t, t)

newtype Kleisli m a b

Constructors

Kleisli

Fields

runKleisli :: a -> m b

Instances

Monad m => Split (Kleisli m)

Monad m => Choice (Kleisli m)

Monad m => Category (Kleisli m)

Monad m => Apply (Kleisli m)

Monad m => Arrow (Kleisli m)

Isomorphic (a -> m b) (a -> m c) (Kleisli m a b) (Kleisli m a c)

newtype ListA k a b

Constructors

ListA

Fields

runListA :: k [a] [b]

Instances

Arrow k => Split (ListA k)

Arrow k => Choice (ListA k)

Category k => Category (ListA k)

Arrow k => Arrow (ListA k)