hset-0.0.2: Primitive heterogenous read-only set

Safe Haskell	Safe
Language	Haskell2010

Data.HSet.TypeLevel

Documentation

data Nat Source

Constructors

Z
S Nat

type family Elem typ typs :: Bool Source

Equations

Elem typ `[]` = False
Elem typ (typ : typs) = True
Elem typ1 (typ2 : typs) = Elem typ1 typs

type family Index typ typs :: Nat Source

Equations

Index t (t : ts) = Z
Index t (tt : ts) = S (Index t ts)