Hyper.Class.Monad
Description
A variant of Monad for HyperTypes
Monad
HyperType
class HApplicative h => HMonad h where Source #
Methods
hjoin :: Recursively HFunctor p => (HCompose h h # p) -> h # p Source #
Defined in Hyper.Class.Monad
hjoin :: forall (p :: HyperType). Recursively HFunctor p => (HCompose Pure Pure # p) -> Pure # p Source #
Defined in Hyper.Type.Functor
hjoin :: forall (p :: HyperType). Recursively HFunctor p => (HCompose (F f) (F f) # p) -> F f # p Source #
hbind :: (HMonad h, Recursively HFunctor p) => (h # p) -> (forall n. HWitness h n -> (p # n) -> HCompose h p # n) -> h # p Source #
A variant of 'Control.Monad.(>>=)' for HyperTypes