Overloaded.TypeNats

Overloaded type-level natural numbers.

Documentation

class FromNatC a

A way to overload type level Nats.

A number type-literal 42 is desugared to

FromNat 42

Enabled with:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:TypeNats #-}

Associated Types

type FromNat (n :: Nat) :: a

Instances

FromNatC Nat

Defined in Overloaded.TypeNats

Associated Types

type FromNat n :: a

FromNatC Nat

Defined in Overloaded.TypeNats

Associated Types

type FromNat n :: a