Control.Monad.Zombie

Documentation

newtype Zombie t a

Zombie is a variant of Skeleton which has an Alternative instance.

Constructors

Zombie

Fields

• unZombie :: [Spine t (Zombie t) a]

Instances

Monad (Zombie t)

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

Functor (Zombie t)

Methods

fmap :: (a -> b) -> Zombie t a -> Zombie t b

(<$) :: a -> Zombie t b -> Zombie t a

Applicative (Zombie t)

Methods

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

Alternative (Zombie t)

Methods

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]

embalm :: MonadView t (Zombie t) a -> Zombie t a

Turn a decomposed form into a composed form.

disembalm :: Zombie t a -> [MonadView t (Zombie t) a]

Decompose a zombie as a list of possibilities.