Skip to content

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

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

Modulesydtest-0.33.0.0Haskell2010

Test.Syd.HList

1 type
1 class

Packagesydtest-0.33.0.0
Exports2
LanguageHaskell2010
LicenceLicenseRef-OtherLicense

datadata HList (r :: [Type]) where

Constructors

HNil :: HList '[]
HCons :: e -> HList l -> HList (e ': l)

Instances1HContains

HContains l (HList l)Defined in sydtest-0.33.0.0 · Test.Syd.HList

classclass HContains (l :: [Type]) a where

Methods

getElem :: HList l -> a

Instances5HContains

HContains l (HList l)Defined in sydtest-0.33.0.0 · Test.Syd.HList
HContains '[] ()Defined in sydtest-0.33.0.0 · Test.Syd.HList
HContains '[a] aDefined in sydtest-0.33.0.0 · Test.Syd.HList
HContains (a ': l) aDefined in sydtest-0.33.0.0 · Test.Syd.HList
HContains l a => HContains (b ': l) aDefined in sydtest-0.33.0.0 · Test.Syd.HList