polysemy-1.9.1.3: Higher-order, low-boilerplate free monads.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Internal.Kind

Description

 
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 #

Append two type-level lists.

Equations

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