Data.HList.Label6

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)

Methods

showLabel :: Label x -> String

KnownSymbol x => ShowLabel (x :: Symbol)

Methods

showLabel :: Label x -> String

HExtend (Label y) (Proxy (x ': xs))

Associated Types

type HExtendR (Label y) (Proxy (x ': xs))

Methods

(.*.) :: Label y -> Proxy (x ': xs) -> HExtendR (Label y) (Proxy (x ': xs))

HExtend (Label y) (Proxy (x ': xs))

>>> let labelX = Label :: Label "x"
>>> let labelY = Label :: Label "y"
>>> let p = labelX .*. labelY .*. emptyProxy
>>> :t p
p :: Proxy '["x", "y"]

Associated Types

type HExtendR (Label y) (Proxy (x ': xs))

Methods

(.*.) :: Label y -> Proxy (x ': xs) -> HExtendR (Label y) (Proxy (x ': xs))