Foundation.Primitive.Nat
data Nat
class KnownNat n
natVal
type x <= y
type family a <=? b :: Bool
type family a + b :: Nat
type family a * b :: Nat
type family a ^ b :: Nat
type family a - b :: Nat
type family CmpNat a b :: Ordering
natValInt
natValInt8
natValInt16
natValInt32
natValInt64
natValWord
natValWord8
natValWord16
natValWord32
natValWord64
type family NatNumMaxBound ty
type family NatInBoundOf ty n
type NatWithinBound ty n