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

Nat convertion

natValInt

natValInt8

natValInt16

natValInt32

natValInt64

natValWord

natValWord8

natValWord16

natValWord32

natValWord64

Maximum bounds

type family NatNumMaxBound ty

Constraint

type family NatInBoundOf ty n

type NatWithinBound ty n