Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xaa25b892026-10-10Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10

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