monad-skeleton-0: An undead monad

Safe Haskell	None
Language	Haskell2010

Control.Monad.Skeleton

Documentation

data Skeleton t a Source

Instances

Monad (Skeleton t)
Functor (Skeleton t)
Applicative (Skeleton t)

data MonadView t m x where Source

Constructors

Return :: a -> MonadView t m a
(:>>=) :: t a -> (a -> m b) -> MonadView t m b

bone :: t a -> Skeleton t a Source

unbone :: Skeleton t a -> MonadView t (Skeleton t) a Source