tfp-0.3: Type-level programming library using type families

Portabilitynon-portable (type families, requires ghc >= 6.9)
Stabilityexperimental
Maintainerpgavin@gmail.com
Safe HaskellNone

Types.Data.Num

Description

Type-level numerical operations using type families.

Documentation

module Types.Data.Num.Ops

module Types.Data.Num.Decimal

reifyIntegralD :: Integer -> (forall s. (IntegerT s, ~ * (Repr s) Decimal) => s -> a) -> aSource

reifyPositiveD :: Integer -> (forall s. (PositiveT s, ~ * (Repr s) Decimal) => s -> a) -> Maybe aSource

reifyNegativeD :: Integer -> (forall s. (NegativeT s, ~ * (Repr s) Decimal) => s -> a) -> Maybe aSource