Hyper.Class.Monad

A variant of Monad for HyperTypes

Documentation

class HApplicative h => HMonad h where

A variant of Monad for HyperTypes

Methods

hjoin :: Recursively HFunctor p => (HCompose h h # p) -> h # p

Instances

HMonad Pure

Defined in Hyper.Class.Monad

Methods

hjoin :: forall (p :: HyperType). Recursively HFunctor p => (HCompose Pure Pure # p) -> Pure # p

Monad f => HMonad (F f)

Defined in Hyper.Type.Functor

Methods

hjoin :: forall (p :: HyperType). Recursively HFunctor p => (HCompose (F f) (F f) # p) -> F f # p

hbind :: (HMonad h, Recursively HFunctor p) => (h # p) -> (forall n. HWitness h n -> (p # n) -> HCompose h p # n) -> h # p

A variant of 'Control.Monad.(>>=)' for HyperTypes