type-level 0.2 → 0.2.1

raw patch · 3 files changed

+10/−7 lines, 3 filesdep −ghc

Dependencies removed: ghc

Files

• src/Data/TypeLevel/Bool.hs +3/−2
• src/Data/TypeLevel/Num/Ops.hs +5/−3
• type-level.cabal +2/−2

@@ -118,7 +118,7 @@ -- | value-level reflection function for the 'And' type-level relation (&&) :: And b1 b2 b3 => b1 -> b2 -> b3 (&&) = undefined-+infixr 3 &&    -- | Or type-level relation. @Or b1 b2 b3@ establishes that --   @b1 || b2 = b3@@@ -132,6 +132,7 @@ -- | value-level reflection function for the 'Or' type-level relation (||) :: Or b1 b2 b3 => b1 -> b2 -> b3 (||) = undefined+infixr 2 ||  -- | Exclusive or type-level relation. @Xor b1 b2 b3@ establishes that --   @xor b1 b2 = b3@@@ -144,7 +145,7 @@ -- | value-level reflection function for the 'Xor' type-level relation xor :: Xor b1 b2 b3 => b1 -> b2 -> b3 xor = undefined-+infixl 6 `xor` -- infix declaration from Data.Bits  -- | Implication type-level relation. @Imp b1 b2 b3@ establishes that -- @b1 =>b2 = b3@

@@ -191,6 +191,7 @@ -- | value-level reflection function for the 'Sub' type-level relation  (-) :: (Sub x y z) => x -> y -> z (-) = undefined+infixl 6 +, -  ------------------------------ -- Multiplication and Division@@ -234,7 +235,7 @@ -- | value-level reflection function for the multiplication type-level relation  (*) :: Mul x y z => x -> y -> z (*) = undefined-+infixl 7 *  ----------- -- Division@@ -276,6 +277,7 @@ -- | value-level reflection function for the 'Mod' type-level relation  mod :: Mod x y r => x -> y -> r mod = undefined+infixl 7 `div`, `mod`   ----------------------------------------@@ -376,7 +378,7 @@ -- | value-level reflection function for the ExpBase type-level relation (^) :: ExpBase b e r => b -> e -> r (^) = undefined-+infixr 8 ^  -- Logarithm type-level relation. @LogBase b x e@ establishes that  -- @log_base_b x = e@@@ -699,7 +701,7 @@ --   type-level assertion  (<=) :: (x :<=: y) => x -> y -> () (<=) = undefined-+infix 4 <,<=,>=,>,== ------------------ -- Maximum/Minimum ------------------

@@ -1,5 +1,5 @@ name:           type-level-version:        0.2+version:        0.2.1 cabal-version:  >= 1.2 build-type:     Simple license:        BSD3@@ -38,7 +38,7 @@  -- depends on ghc due to the use of infix type constructors and template haskell Library-  build-depends:   base, ghc, template-haskell > 2.0+  build-depends:   base, template-haskell > 2.0   hs-source-dirs:  src   exposed-modules: Data.TypeLevel,                    Data.TypeLevel.Bool,