overloaded-0.1.3: Overloaded pragmas as a plugin

Safe HaskellNone
LanguageHaskell2010

Overloaded.TypeNats

Description

Overloaded type-level natural numbers.

Synopsis

Documentation

class FromNatC a Source #

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 Source #

Instances
FromNatC Nat Source # 
Instance details

Defined in Overloaded.TypeNats

Associated Types

type FromNat n :: a Source #

FromNatC Nat Source # 
Instance details

Defined in Overloaded.TypeNats

Associated Types

type FromNat n :: a Source #