overloaded-0.1.3: Overloaded pragmas as a plugin
Overloaded.TypeNats
Description
Overloaded type-level natural numbers.
class FromNatC a Source #
A way to overload type level Nats.
Nat
A number type-literal 42 is desugared to
42
FromNat 42
FromNat
Enabled with:
{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:TypeNats #-}
Associated Types
type FromNat (n :: Nat) :: a Source #
Defined in Overloaded.TypeNats
type FromNat n :: a Source #