type-natural-0.8.0.1: Type-level natural and proofs of their properties.

Index - :

:*Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:*$Data.Type.Natural.Builtin
:*$$Data.Type.Natural.Builtin
:*$$$Data.Type.Natural.Builtin
:+Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:+$Data.Type.Natural.Builtin
:+$$Data.Type.Natural.Builtin
:+$$$Data.Type.Natural.Builtin
:-Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:-$Data.Type.Natural.Builtin
:-$$Data.Type.Natural.Builtin
:-$$$Data.Type.Natural.Builtin
:/=Data.Type.Natural.Builtin
:/=$Data.Type.Natural.Builtin
:/=$$Data.Type.Natural.Builtin
:/=$$$Data.Type.Natural.Builtin
:<Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:<$Data.Type.Natural.Builtin
:<$$Data.Type.Natural.Builtin
:<$$$Data.Type.Natural.Builtin
:<=Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:<=$Data.Type.Natural.Builtin
:<=$$Data.Type.Natural.Builtin
:<=$$$Data.Type.Natural.Builtin
:==Data.Type.Natural.Builtin
:==$Data.Type.Natural.Builtin
:==$$Data.Type.Natural.Builtin
:==$$$Data.Type.Natural.Builtin
:>Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:>$Data.Type.Natural.Builtin
:>$$Data.Type.Natural.Builtin
:>$$$Data.Type.Natural.Builtin
:>=Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
:>=$Data.Type.Natural.Builtin
:>=$$Data.Type.Natural.Builtin
:>=$$$Data.Type.Natural.Builtin