Safe Haskell | None |
---|---|
Language | Haskell2010 |
The HList library
(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke
Yet another model of labels.
Labels are promoted Strings or Integers GHC.TypeLits inside the
Label
. Needs ghc7.6 or higher.
See CommonMain#label6demo for an example.
Orphan instances
KnownNat x => ShowLabel (x :: Nat) Source # | |
KnownSymbol x => ShowLabel (x :: Symbol) Source # | |
HExtend (Label y) (Proxy (x ': xs)) Source # | |
HExtend (Label y) (Proxy (x ': xs)) Source # |
|