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

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

Instances

Monad (Skeleton t)

Functor (Skeleton t)

Applicative (Skeleton t)

bone :: t a -> Skeleton t a

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

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

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