tfp 0.3 → 0.4

raw patch · 2 files changed

+7/−4 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• Types/Data/Num.hs +3/−0
• tfp.cabal +4/−4

@@ -23,6 +23,9 @@ import Types.Data.Num.Ops import Types.Data.Num.Decimal +reifyIntegralD :: Integer -> (forall s. (IntegerT s, Repr s ~ Decimal) => s -> a) -> a reifyIntegralD = reifyIntegral decimal+reifyPositiveD :: Integer -> (forall s. (PositiveT s, Repr s ~ Decimal) => s -> a) -> Maybe a reifyPositiveD = reifyPositive decimal+reifyNegativeD :: Integer -> (forall s. (NegativeT s, Repr s ~ Decimal) => s -> a) -> Maybe a reifyNegativeD = reifyNegative decimal

@@ -1,5 +1,5 @@ name:           tfp-version:        0.3+version:        0.4 cabal-version:  >= 1.6 build-type:     Simple license:        BSD3@@ -7,9 +7,9 @@ copyright:      Copyright (c) 2008 Peter Gavin author:         Peter Gavin maintainer:     pgavin@gmail.com-homepage:       http://abt12monk.org/git/tfp.git/+homepage:       http://github.com/pgavin/tfp stability:      alpha-package-url:    http://abt12monk.org/git/tfp.git/+package-url:    http://github.com/pgavin/tfp synopsis:       Type-level programming library using type families description:	TFP (short for Type Family Programming) provides implementations of type-level integers and booleans, 		and (eventually) simple type-level data structures. It uses type families as functions to produce new types,@@ -19,7 +19,7 @@  source-repository head {   type:         git-  location:     http://abt12monk.org/git/tfp.git/+  location:     git@github.com:pgavin/tfp.git }  flag build-test