type-fun-0.0.1: Collection of widely reimplemented type families
TypeFun.Data.Peano
data N Source
Constructors
Instances
type family ToNat a :: Nat Source
Equations
type family FromNat a :: N Source
type family a :+: b :: N Source
type family a :-: b :: N Source
type family a :*: b :: N Source