hset-0.0.2: Primitive heterogenous read-only set
Data.HSet.TypeLevel
data Nat Source
Constructors
type family Elem typ typs :: Bool Source
Equations
type family Index typ typs :: Nat Source