Polysemy.Internal.Kind

Documentation

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

The kind of effects.

Since: 0.5.0.0

type EffectRow = [Effect]

The kind of effect rows.

Since: 0.5.0.0

type family Append l r where ...

Append two type-level lists.

Equations

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

Append '[] r = r