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

newtype 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.

Constructors

Skeleton

Fields

unSkeleton :: Spine t (Skeleton t) a

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 s t a. (forall x. s x -> t x) -> Skeleton s a -> Skeleton t a

Lift a transformation between bones into transformation between skeletons.