Idris2Doc : Control.EffectAlgebra

Control.EffectAlgebra

(source)
Reexports
import public Control.HigherOrder
import public Control.Effect.Misc
Definitions
interface Algebra : ((Type -> Type) -> Type -> Type) -> (Type -> Type) -> Type
  Structure that dispatches an effect.

  Parameters: sig, m
Constraints: Monad m
Constructor: 
MkAlgebra

Methods:
  
alg : Functor ctx => ctx () -> Handler ctx n m -> sig n a -> m (ctx a)
alg : Algebra sig m => Functor ctx => ctx () -> Handler ctx n m -> sig n a -> m (ctx a)
  Visibility: public export
send : Inj eff sig => Algebra sig m => eff m a -> m a
  Apply an effect within a monadic context that supports it.

  Visibility: public export