Annotations.MultiRec.Yield

Documentation

class Monad m => MonadYield m where

Monads that allow yielding recursively annotated values.

Minimal complete definition

yield

Associated Types

type YieldFam m :: * -> *

Yielded values have types in this datatype family.

type AnnType m :: *

The type of the annotation.

Methods

yield :: YieldFam m ix -> AnnType m -> ix -> m ix

Yields a value with its annotation.

Instances

(Monad m, HFunctor fam (PF fam), EqS fam, Fam fam) => MonadYield (YieldT x fam m)

Associated Types

type YieldFam (YieldT x fam m :: * -> *) :: * -> *

type AnnType (YieldT x fam m :: * -> *) :: *

Methods

yield :: YieldFam (YieldT x fam m) ix -> AnnType (YieldT x fam m) -> ix -> YieldT x fam m ix

data YieldT x fam m a

The Yield transformer. Allows yielding generic values in family fam with annotations of type x.

Instances

MonadTrans (YieldT x fam)

Methods

lift :: Monad m => m a -> YieldT x fam m a

Monad m => Monad (YieldT x fam m)

Methods

(>>=) :: YieldT x fam m a -> (a -> YieldT x fam m b) -> YieldT x fam m b

(>>) :: YieldT x fam m a -> YieldT x fam m b -> YieldT x fam m b

return :: a -> YieldT x fam m a

fail :: String -> YieldT x fam m a

Functor m => Functor (YieldT x fam m)

Methods

fmap :: (a -> b) -> YieldT x fam m a -> YieldT x fam m b

(<$) :: a -> YieldT x fam m b -> YieldT x fam m a

Monad m => Applicative (YieldT x fam m)

Methods

pure :: a -> YieldT x fam m a

(<*>) :: YieldT x fam m (a -> b) -> YieldT x fam m a -> YieldT x fam m b

(*>) :: YieldT x fam m a -> YieldT x fam m b -> YieldT x fam m b

(<*) :: YieldT x fam m a -> YieldT x fam m b -> YieldT x fam m a

(Monad m, HFunctor fam (PF fam), EqS fam, Fam fam) => MonadYield (YieldT x fam m)

Associated Types

type YieldFam (YieldT x fam m :: * -> *) :: * -> *

type AnnType (YieldT x fam m :: * -> *) :: *

Methods

yield :: YieldFam (YieldT x fam m) ix -> AnnType (YieldT x fam m) -> ix -> YieldT x fam m ix

type YieldFam (YieldT x fam m)

type YieldFam (YieldT x fam m) = fam

type AnnType (YieldT x fam m)

type AnnType (YieldT x fam m) = x

type Yield x fam = YieldT x fam Identity

Yield over the identity monad.

runYield :: EqS fam => fam a -> Yield x fam a -> Maybe (AnnFix x fam a)

runYieldG :: Yield x fam a -> (a, Maybe (AnyAnnFix x fam))

runYieldT :: (Monad m, EqS fam) => fam a -> YieldT x fam m a -> m (Maybe (AnnFix x fam a))

runYieldTG :: Monad m => YieldT x fam m a -> m (a, Maybe (AnyAnnFix x fam))