Control.AFSM.SMFunctor

Documentation

class SMFunctor f where

Minimal complete definition

smexec

Methods

smexec :: SM s a b -> f a -> (SM s a b, f b)

smfmap :: SM s a b -> f a -> f b

Instances

SMFunctor []

Methods

smexec :: SM s a b -> [a] -> (SM s a b, [b])

smfmap :: SM s a b -> [a] -> [b]

SMFunctor Maybe

Methods

smexec :: SM s a b -> Maybe a -> (SM s a b, Maybe b)

smfmap :: SM s a b -> Maybe a -> Maybe b

SMFunctor ((->) r)

Methods

smexec :: SM s a b -> (r -> a) -> (SM s a b, r -> b)

smfmap :: SM s a b -> (r -> a) -> r -> b

SMFunctor (Either a)

Methods

smexec :: SM s a b -> Either a a -> (SM s a b, Either a b)

smfmap :: SM s a b -> Either a a -> Either a b

SMFunctor ((,) a)

Methods

smexec :: SM s a b -> (a, a) -> (SM s a b, (a, b))

smfmap :: SM s a b -> (a, a) -> (a, b)

(SMFunctor f, SMFunctor g) => SMFunctor (Compose * * f g)

Methods

smexec :: SM s a b -> Compose * * f g a -> (SM s a b, Compose * * f g b)

smfmap :: SM s a b -> Compose * * f g a -> Compose * * f g b

smexecSM :: SMFunctor f => SM s a b -> SM s (f a) (f b)

smexecSMA :: SMFunctor f => SM s a b -> SM (SM s a b) (f a) (f b)

bindSM :: (Monad m, SMFunctor m) => m a -> SM s a (m b) -> (SM s a (m b), m b)

(>>>=) :: (Monad m, SMFunctor m) => m a -> SM s a (m b) -> m b