polysemy-1.7.1.0: Higher-order, low-boilerplate free monads.
Safe HaskellSafe-Inferred
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

type family Append l r where ... Source #

Equations

Append (a ': l) r = a ': Append l r 
Append '[] r = r