polysemy-1.2.3.0: Higher-order, low-boilerplate, zero-cost free monads.

Safe HaskellSafe
LanguageHaskell2010

Polysemy.Internal.Kind

Synopsis

Documentation

type Effect = (Type -> Type) -> Type -> Type Source #

The kind of effects.

Since: 0.5.0.0

type EffectRow = [Effect] Source #

The kind of effect rows.

Since: 0.5.0.0