This library contains:
Nat
and Symbol
, for when you need some simple functionality without
wanting to invoke the entire singletons library.KnownNat
and
KnownSymbol
instances, such as addition and multiplication of
singletons/KnownNat
instances.Nat
s in a way that works well with
GHC.TypeLits's different comparison systems. This is helpful for
bridging together libraries that use different systems; this functionality
is not yet provided by singletons.