Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.Kind

2 types

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