Control.Monad.Freer.Par

Freer

Type

data Freer s sq (f :: (* -> *) -> * -> * -> *) t a

Instances

(Sequence sq, Funable f) => Applicative (Freer s sq f t)

Defined in Control.Monad.Freer.Par

Methods

pure :: a -> Freer s sq f t a

(<*>) :: Freer s sq f t (a -> b) -> Freer s sq f t a -> Freer s sq f t b

liftA2 :: (a -> b -> c) -> Freer s sq f t a -> Freer s sq f t b -> Freer s sq f t c

(*>) :: Freer s sq f t a -> Freer s sq f t b -> Freer s sq f t b

(<*) :: Freer s sq f t a -> Freer s sq f t b -> Freer s sq f t a

(Sequence sq, Funable f) => Functor (Freer s sq f t)

Defined in Control.Monad.Freer.Par

Methods

fmap :: (a -> b) -> Freer s sq f t a -> Freer s sq f t b

(<$) :: a -> Freer s sq f t b -> Freer s sq f t a

(Sequence sq, Funable f) => Monad (Freer s sq f t)

Defined in Control.Monad.Freer.Par

Methods

(>>=) :: Freer s sq f t a -> (a -> Freer s sq f t b) -> Freer s sq f t b

(>>) :: Freer s sq f t a -> Freer s sq f t b -> Freer s sq f t b

return :: a -> Freer s sq f t a

data Fun s sq f t a b

Pattern

pattern Pure :: a -> Freer s sq f t a

pattern (:>>=) :: t x -> Fun s sq f t x a -> Freer s sq f t a

pattern (:=<<) :: Fun s sq f t x a -> t x -> Freer s sq f t a

Bind

(>>>=) :: (Sequence sq, Funable f) => t a -> (a -> Freer s sq f t b) -> Freer s sq f t b infixl 7

(=<<<) :: (Sequence sq, Funable f) => (a -> Freer s sq f t b) -> t a -> Freer s sq f t b infixr 7

Apply

app :: (Sequence sq, Funable f) => Fun s sq f t a b -> a -> Freer s sq f t b

appPar :: (Sequence sq, Funable f, Taggable f) => Fun s sq f t a b -> Fun s sq f t a b -> a -> (Freer s sq f t b, Freer s sq f t b)

Tagged

data Tagged s a

Instances

Applicative (Tagged s)

Defined in Control.Monad.Freer.Par

Methods

pure :: a -> Tagged s a

(<*>) :: Tagged s (a -> b) -> Tagged s a -> Tagged s b

liftA2 :: (a -> b -> c) -> Tagged s a -> Tagged s b -> Tagged s c

(*>) :: Tagged s a -> Tagged s b -> Tagged s b

(<*) :: Tagged s a -> Tagged s b -> Tagged s a

Functor (Tagged s)

Defined in Control.Monad.Freer.Par

Methods

fmap :: (a -> b) -> Tagged s a -> Tagged s b

(<$) :: a -> Tagged s b -> Tagged s a

Monad (Tagged s)

Defined in Control.Monad.Freer.Par

Methods

(>>=) :: Tagged s a -> (a -> Tagged s b) -> Tagged s b

(>>) :: Tagged s a -> Tagged s b -> Tagged s b

return :: a -> Tagged s a

runTagged :: (forall s. Tagged s a) -> a

tag :: (Sequence sq, Funable f, Taggable f) => Freer s sq f t a -> Tagged s (Freer s sq f t a)