Control.Monad.Skeleton

Documentation

data MonadView t m x where

A deconstructed action

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)

Methods

fmap :: (a -> b) -> MonadView t m a -> MonadView t m b

(<$) :: a -> MonadView t m b -> MonadView t m a

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

Transform the action and the continuation.

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

Join MonadView recursively.

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. It provides O(1) (>>=) and debone, the monadic reflection.

Constructors

Skeleton

Fields

• unSkeleton :: Spine t (Skeleton t) a

Instances

Monad (Skeleton t)

Methods

(>>=) :: Skeleton t a -> (a -> Skeleton t b) -> Skeleton t b

(>>) :: Skeleton t a -> Skeleton t b -> Skeleton t b

return :: a -> Skeleton t a

fail :: String -> Skeleton t a

Functor (Skeleton t)

Methods

fmap :: (a -> b) -> Skeleton t a -> Skeleton t b

(<$) :: a -> Skeleton t b -> Skeleton t a

Applicative (Skeleton t)

Methods

pure :: a -> Skeleton t a

(<*>) :: Skeleton t (a -> b) -> Skeleton t a -> Skeleton t b

(*>) :: Skeleton t a -> Skeleton t b -> Skeleton t b

(<*) :: Skeleton t a -> Skeleton t b -> Skeleton t a

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

Deprecated: Use debone instead

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.

internal

data Spine t m a where

The spine of skeleta.

Constructors

Spine :: MonadView t m a -> Cat (Kleisli m) a b -> Spine t m b

graftSpine :: Cat (Kleisli m) a b -> Spine t m a -> Spine t m b

Extend a spine.