Skip to content

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

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

Modulepolysemy-1.9.2.0

Polysemy.Internal.Kind

2 types

Packagepolysemy-1.9.2.0
Exports3
LicenceBSD-3-Clause

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

Equations

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

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

typetype EffectRow = [Effect]