monad-skeleton-0.1.3.1: Monads of program skeleta
Control.Monad.Zombie
Synopsis
newtype Zombie t a Source #
Zombie is a variant of Skeleton which has an Alternative instance.
Zombie
Skeleton
Alternative
Constructors
Fields
Instances
Methods
(>>=) :: Zombie t a -> (a -> Zombie t b) -> Zombie t b #
(>>) :: Zombie t a -> Zombie t b -> Zombie t b #
return :: a -> Zombie t a #
fail :: String -> Zombie t a #
fmap :: (a -> b) -> Zombie t a -> Zombie t b #
(<$) :: a -> Zombie t b -> Zombie t a #
pure :: a -> Zombie t a #
(<*>) :: Zombie t (a -> b) -> Zombie t a -> Zombie t b #
(*>) :: Zombie t a -> Zombie t b -> Zombie t b #
(<*) :: Zombie t a -> Zombie t b -> Zombie t a #
empty :: Zombie t a #
(<|>) :: Zombie t a -> Zombie t a -> Zombie t a #
some :: Zombie t a -> Zombie t [a] #
many :: Zombie t a -> Zombie t [a] #
mzero :: Zombie t a #
mplus :: Zombie t a -> Zombie t a -> Zombie t a #
embalm :: MonadView t (Zombie t) a -> Zombie t a Source #
Turn a decomposed form into a composed form.
disembalm :: Zombie t a -> [MonadView t (Zombie t) a] Source #
Decompose a zombie as a list of possibilities.