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 Nat x

Methods

showLabel :: Label x l -> String

KnownSymbol x => ShowLabel Symbol x

Methods

showLabel :: Label x l -> String

HExtend (Label Nat y) (Proxy [Nat] ((:) Nat x xs))

Associated Types

type HExtendR (Label Nat y) (Proxy [Nat] ((Nat ': x) xs)) :: *

Methods

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

HExtend (Label Symbol y) (Proxy [Symbol] ((:) Symbol 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 Symbol y) (Proxy [Symbol] ((Symbol ': x) xs)) :: *

Methods

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