Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.Kind

Synopsis

type Effect
type EffectRow
family Append

Packagepolysemy-1.9.2.0
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceKind.hs

typetype Effect = (Type -> Type) -> Type -> Type

The kind of effects.

typetype EffectRow = [Effect]

The kind of effect rows.

familytype family Append (l :: [a]) (r :: [a]) :: [a] where

Append two type-level lists.

Equations

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