Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

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