Data.HList.Label1

The HList library

(C) 2004-2006, Oleg Kiselyov, Ralf Laemmel, Keean Schupke

A model of label as needed for extensible records.

Record labels are simply type-level naturals. This models is as simple and as portable as it could be.

Documentation

newtype Label x

Labels are type-level naturals

Constructors

Label x

Instances

Show x => Show (Label x)

Show n => ShowLabel (Label n)

Show label

HEq n n' b => HEq (Label n) (Label n') b

Equality on labels

label :: HNat n => n -> Label n

Public constructors for labels

firstLabel :: Label HZero

Construct the first label

nextLabel :: HNat t => Label t -> Label (HSucc t)

Construct the next label