Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Control.Monad.Royal
Documentation
class RoyalReturn m r where Source
Methods
royalReturn :: r a -> m a Source
Instances
NonRoyalReturn m => RoyalReturn m Id |
class (RoyalReturn m r, RoyalReturn n r, RoyalReturn p r) => RoyalMonad m n p r where Source
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 Source
Methods
relativeBind :: m a -> (r a -> m b) -> m b Source
class NonRoyalReturn m where Source
Instances
Monad m => NonRoyalReturn m |
class (NonRoyalReturn m, NonRoyalReturn n, NonRoyalReturn p) => PolyMonad m n p where Source
Instances
NonRoyalReturn m => RoyalReturn m Id | |
Monad m => RoyalMonad m m m Id | |
PolyMonad m n p => RoyalMonad m n p Id |