hset-0.1.1: Primitive heterogenous read-only set
Data.HSet.TypeLevel
Synopsis
data Nat Source
Constructors
type family Elem typ typs :: Bool Source
Calculates to 'True if first type argument contained in second list element
Equations
type family Index typ typs :: Nat Source
Calculates to Nat kinded type describing the index of first argument in second argument