Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulesydtest-0.33.0.0Haskell2010

Test.Syd.HList

Synopsis

data HList
class HContains

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