Control.Monad.Skeleton

Documentation

data MonadView t m x where

Constructors

Return :: a -> MonadView t m a

(:>>=) :: t a -> (a -> m b) -> MonadView t m b infixl 1

Instances

Functor m => Functor (MonadView t m)

hoistMV :: (forall x. s x -> t x) -> (m a -> n a) -> MonadView s m a -> MonadView t n a

iterMV :: Monad m => (t a -> MonadView m t a) -> t a -> m a

data Skeleton t a

Skeleton t is a monadic skeleton (operational monad) made out of t. Skeletons can be fleshed out by getting transformed to other monads. The implementation is based on Reflection without Remorse so it provides efficient (>>=) and debone, monadic reflection.

Instances

Monad (Skeleton t)

Functor (Skeleton t)

Applicative (Skeleton t)

bone :: t a -> Skeleton t a

A skeleton that has only one bone.

debone :: Skeleton t a -> MonadView t (Skeleton t) a

Pick a bone from a Skeleton.

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

Uncommon synonym for debone.

boned :: MonadView t (Skeleton t) a -> Skeleton t a

Re-add a bone.

hoistSkeleton :: (forall x. s x -> t x) -> Skeleton s a -> Skeleton t a

Lift a transformation between bones into transformation between skeletons.