Control.Monad.Royal

Documentation

class RoyalReturn m r where

Methods

royalReturn :: r a -> m a

Instances

NonRoyalReturn m => RoyalReturn m Id

class (RoyalReturn m r, RoyalReturn n r, RoyalReturn p r) => RoyalMonad m n p r where

Methods

royalBind :: m a -> (r a -> n a) -> p a

Instances

Monad m => RoyalMonad m m m Id

PolyMonad m n p => RoyalMonad m n p Id

class RoyalReturn m r => RelMonad m r where

Methods

relativeBind :: m a -> (r a -> m b) -> m b

class NonRoyalReturn m where

Methods

rreturn :: a -> m a

Instances

Monad m => NonRoyalReturn m

class (NonRoyalReturn m, NonRoyalReturn n, NonRoyalReturn p) => PolyMonad m n p where

Methods

polyBind :: m a -> (a -> n b) -> p b

newtype Id a

Constructors

Id

Fields

fromId :: a

Instances

NonRoyalReturn m => RoyalReturn m Id

Monad m => RoyalMonad m m m Id

PolyMonad m n p => RoyalMonad m n p Id