type-natural 0.2.1.5 → 0.2.2.0
raw patch · 2 files changed
+26/−16 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Type.Natural: (%:*) :: Sing t_a462 -> Sing t_a463 -> Sing (:* t_a462 t_a463)
+ Data.Type.Natural: (%:*) :: Sing t_a3UH -> Sing t_a3UI -> Sing (:* t_a3UH t_a3UI)
- Data.Type.Natural: (%:+) :: Sing t_a45Y -> Sing t_a45Z -> Sing (:+ t_a45Y t_a45Z)
+ Data.Type.Natural: (%:+) :: Sing t_a3UD -> Sing t_a3UE -> Sing (:+ t_a3UD t_a3UE)
- Data.Type.Natural: (%:-) :: Sing t_a460 -> Sing t_a461 -> Sing (:- t_a460 t_a461)
+ Data.Type.Natural: (%:-) :: Sing t_a3UF -> Sing t_a3UG -> Sing (:- t_a3UF t_a3UG)
- Data.Type.Natural: (%:<<=) :: Sing t_a4Gh -> Sing t_a4Gi -> Sing (:<<= t_a4Gh t_a4Gi)
+ Data.Type.Natural: (%:<<=) :: Sing t_a4uW -> Sing t_a4uX -> Sing (:<<= t_a4uW t_a4uX)
- Data.Type.Natural: sMax :: Sing t_a3UE -> Sing t_a3UF -> Sing (Max t_a3UE t_a3UF)
+ Data.Type.Natural: sMax :: Sing t_a3Jj -> Sing t_a3Jk -> Sing (Max t_a3Jj t_a3Jk)
- Data.Type.Natural: sMin :: Sing t_a3UC -> Sing t_a3UD -> Sing (Min t_a3UC t_a3UD)
+ Data.Type.Natural: sMin :: Sing t_a3Jh -> Sing t_a3Ji -> Sing (Min t_a3Jh t_a3Ji)
- Data.Type.Natural: sS :: Sing n_a3EB -> Sing (S n_a3EB)
+ Data.Type.Natural: sS :: Sing n_a3sR -> Sing (S n_a3sR)
- Data.Type.Natural: type SNat (a_a3EA :: Nat) = Sing a_a3EA
+ Data.Type.Natural: type SNat (a_a3sQ :: Nat) = Sing a_a3sQ
Files
- Data/Type/Natural/Definitions.hs +25/−15
- type-natural.cabal +1/−1
Data/Type/Natural/Definitions.hs view
@@ -1,22 +1,27 @@-{-# LANGUAGE CPP, DataKinds, FlexibleContexts, FlexibleInstances, GADTs #-}-{-# LANGUAGE KindSignatures, MultiParamTypeClasses, NoImplicitPrelude #-}-{-# LANGUAGE PolyKinds, RankNTypes, TemplateHaskell, TypeFamilies, ScopedTypeVariables #-}-{-# LANGUAGE TypeOperators, UndecidableInstances, StandaloneDeriving #-}+{-# LANGUAGE CPP, DataKinds, DeriveDataTypeable, FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances, GADTs, KindSignatures #-}+{-# LANGUAGE MultiParamTypeClasses, NoImplicitPrelude, PolyKinds #-}+{-# LANGUAGE RankNTypes, ScopedTypeVariables, StandaloneDeriving #-}+{-# LANGUAGE TemplateHaskell, TypeFamilies, TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-} module Data.Type.Natural.Definitions where #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708+import Data.Singletons.Prelude hiding ((:<=), Max, MaxSym0, MaxSym1, MaxSym2,+ Min, MinSym0, MinSym1, MinSym2, SOrd (..)) import Data.Singletons.TH (singletons)-import Data.Singletons.Prelude hiding ((:<=), SOrd(..), MaxSym1, MaxSym0, MaxSym2- , MinSym1, MinSym0, MinSym2, Max, Min) #endif+import Data.Constraint hiding ((:-)) import Data.Type.Monomorphic-import Prelude (Int, Bool (..), Eq (..), Integral (..), Ord ((<)),- Show (..), error, id, otherwise, ($), (.), undefined)-import qualified Prelude as P+import Data.Typeable (Typeable)+import Language.Haskell.TH+import Language.Haskell.TH.Quote+import Prelude (Bool (..), Eq (..), Int,+ Integral (..), Ord ((<)), Show (..),+ error, id, otherwise, undefined,+ ($), (.))+import qualified Prelude as P import Proof.Equational-import Data.Constraint hiding ((:-))-import Language.Haskell.TH.Quote-import Unsafe.Coerce-import Language.Haskell.TH+import Unsafe.Coerce -------------------------------------------------- -- * Natural numbers and its singleton type@@ -26,6 +31,11 @@ deriving (Show, Eq, Ord) |] +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708+deriving instance Typeable 'S+deriving instance Typeable 'Z+#endif+ -------------------------------------------------- -- ** Arithmetic functions. --------------------------------------------------@@ -82,8 +92,8 @@ (%*) = (%:*) singletons [d|- zero, one, two, three, four, five, six, seven, eight, nine, ten :: Nat - eleven, twelve, thirteen, fourteen, fifteen, sixteen, seventeen, eighteen, nineteen, twenty :: Nat + zero, one, two, three, four, five, six, seven, eight, nine, ten :: Nat+ eleven, twelve, thirteen, fourteen, fifteen, sixteen, seventeen, eighteen, nineteen, twenty :: Nat zero = Z one = S zero two = S one
type-natural.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: type-natural-version: 0.2.1.5+version: 0.2.2.0 synopsis: Type-level natural and proofs of their properties. description: Type-level natural numbers and proofs of their properties. homepage: https://github.com/konn/type-natural