Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.Monad.Zombie
- data Spine t m a where
- graftSpine :: Cat (Kleisli m) a b -> Spine t m a -> Spine t m b
- newtype Zombie t a = Zombie {}
- liftZ :: t a -> Zombie t a
- embalm :: MonadView t (Zombie t) a -> Zombie t a
- disembalm :: Zombie t a -> [MonadView t (Zombie t) a]
- hoistZombie :: forall s t a. (forall x. s x -> t x) -> Zombie s a -> Zombie t a
Documentation
The spine of skeleta.
Zombie
is a variant of Skeleton
which has an Alternative
instance.
disembalm :: Zombie t a -> [MonadView t (Zombie t) a] #
Decompose a zombie as a list of possibilities.
hoistZombie :: forall s t a. (forall x. s x -> t x) -> Zombie s a -> Zombie t a #
Like hoistSkeleton