Boolean 0.2.3 → 0.2.4
raw patch · 2 files changed
+5/−1 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Boolean: (&&*, ||*) :: Boolean b => b -> b -> b
- Data.Boolean: (<*, >=*, >*, <=*) :: (OrdB a, bool ~ BooleanOf a) => a -> a -> bool
- Data.Boolean: (==*, /=*) :: (EqB a, bool ~ BooleanOf a) => a -> a -> bool
- Data.Boolean: instance (Boolean (BooleanOf a), BooleanOf a ~ Bool) => IfB [a]
- Data.Boolean: instance (bool ~ BooleanOf p, bool ~ BooleanOf q, IfB p, IfB q) => IfB (p, q)
- Data.Boolean: instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, IfB p, IfB q, IfB r) => IfB (p, q, r)
- Data.Boolean: instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s, IfB p, IfB q, IfB r, IfB s) => IfB (p, q, r, s)
- Data.Boolean: instance Boolean Bool
- Data.Boolean: instance Boolean bool => Boolean (z -> bool)
- Data.Boolean: instance EqB Bool
- Data.Boolean: instance EqB Char
- Data.Boolean: instance EqB Double
- Data.Boolean: instance EqB Float
- Data.Boolean: instance EqB Int
- Data.Boolean: instance EqB Integer
- Data.Boolean: instance EqB a => EqB (z -> a)
- Data.Boolean: instance IfB Bool
- Data.Boolean: instance IfB Char
- Data.Boolean: instance IfB Double
- Data.Boolean: instance IfB Float
- Data.Boolean: instance IfB Int
- Data.Boolean: instance IfB Integer
- Data.Boolean: instance IfB a => IfB (z -> a)
- Data.Boolean: instance OrdB Bool
- Data.Boolean: instance OrdB Char
- Data.Boolean: instance OrdB Double
- Data.Boolean: instance OrdB Float
- Data.Boolean: instance OrdB Int
- Data.Boolean: instance OrdB Integer
- Data.Boolean: instance OrdB a => OrdB (z -> a)
- Data.Boolean: true, false :: Boolean b => b
- Data.Boolean.Numbers: instance IntegralB Int
- Data.Boolean.Numbers: instance IntegralB Integer
- Data.Boolean.Numbers: instance NumB Double
- Data.Boolean.Numbers: instance NumB Float
- Data.Boolean.Numbers: instance NumB Int
- Data.Boolean.Numbers: instance NumB Integer
- Data.Boolean.Numbers: instance RealFloatB Double
- Data.Boolean.Numbers: instance RealFloatB Float
- Data.Boolean.Numbers: instance RealFracB Double
- Data.Boolean.Numbers: instance RealFracB Float
+ Data.Boolean: (&&*) :: Boolean b => b -> b -> b
+ Data.Boolean: (/=*) :: (EqB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (<*) :: (OrdB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (<=*) :: (OrdB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (==*) :: (EqB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (>*) :: (OrdB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (>=*) :: (OrdB a, bool ~ BooleanOf a) => a -> a -> bool
+ Data.Boolean: (||*) :: Boolean b => b -> b -> b
+ Data.Boolean: false :: Boolean b => b
+ Data.Boolean: infix 4 >=*
+ Data.Boolean: infixr 2 ||*
+ Data.Boolean: infixr 3 &&*
+ Data.Boolean: instance (Data.Boolean.Boolean (Data.Boolean.BooleanOf a), Data.Boolean.BooleanOf a GHC.Types.~ GHC.Types.Bool) => Data.Boolean.IfB [a]
+ Data.Boolean: instance (bool GHC.Types.~ Data.Boolean.BooleanOf p, bool GHC.Types.~ Data.Boolean.BooleanOf q, Data.Boolean.IfB p, Data.Boolean.IfB q) => Data.Boolean.IfB (p, q)
+ Data.Boolean: instance (bool GHC.Types.~ Data.Boolean.BooleanOf p, bool GHC.Types.~ Data.Boolean.BooleanOf q, bool GHC.Types.~ Data.Boolean.BooleanOf r, Data.Boolean.IfB p, Data.Boolean.IfB q, Data.Boolean.IfB r) => Data.Boolean.IfB (p, q, r)
+ Data.Boolean: instance (bool GHC.Types.~ Data.Boolean.BooleanOf p, bool GHC.Types.~ Data.Boolean.BooleanOf q, bool GHC.Types.~ Data.Boolean.BooleanOf r, bool GHC.Types.~ Data.Boolean.BooleanOf s, Data.Boolean.IfB p, Data.Boolean.IfB q, Data.Boolean.IfB r, Data.Boolean.IfB s) => Data.Boolean.IfB (p, q, r, s)
+ Data.Boolean: instance Data.Boolean.Boolean GHC.Types.Bool
+ Data.Boolean: instance Data.Boolean.Boolean bool => Data.Boolean.Boolean (z -> bool)
+ Data.Boolean: instance Data.Boolean.EqB GHC.Num.Integer.Integer
+ Data.Boolean: instance Data.Boolean.EqB GHC.Types.Bool
+ Data.Boolean: instance Data.Boolean.EqB GHC.Types.Char
+ Data.Boolean: instance Data.Boolean.EqB GHC.Types.Double
+ Data.Boolean: instance Data.Boolean.EqB GHC.Types.Float
+ Data.Boolean: instance Data.Boolean.EqB GHC.Types.Int
+ Data.Boolean: instance Data.Boolean.EqB a => Data.Boolean.EqB (z -> a)
+ Data.Boolean: instance Data.Boolean.IfB GHC.Num.Integer.Integer
+ Data.Boolean: instance Data.Boolean.IfB GHC.Types.Bool
+ Data.Boolean: instance Data.Boolean.IfB GHC.Types.Char
+ Data.Boolean: instance Data.Boolean.IfB GHC.Types.Double
+ Data.Boolean: instance Data.Boolean.IfB GHC.Types.Float
+ Data.Boolean: instance Data.Boolean.IfB GHC.Types.Int
+ Data.Boolean: instance Data.Boolean.IfB a => Data.Boolean.IfB (z -> a)
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Num.Integer.Integer
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Types.Bool
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Types.Char
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Types.Double
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Types.Float
+ Data.Boolean: instance Data.Boolean.OrdB GHC.Types.Int
+ Data.Boolean: instance Data.Boolean.OrdB a => Data.Boolean.OrdB (z -> a)
+ Data.Boolean: true :: Boolean b => b
+ Data.Boolean: type family BooleanOf a
+ Data.Boolean.Numbers: -- | The accociated integer type of the number.
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.IntegralB GHC.Num.Integer.Integer
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.IntegralB GHC.Types.Int
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.NumB GHC.Num.Integer.Integer
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.NumB GHC.Types.Double
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.NumB GHC.Types.Float
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.NumB GHC.Types.Int
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.RealFloatB GHC.Types.Double
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.RealFloatB GHC.Types.Float
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.RealFracB GHC.Types.Double
+ Data.Boolean.Numbers: instance Data.Boolean.Numbers.RealFracB GHC.Types.Float
+ Data.Boolean.Numbers: type IntegerOf a;
+ Data.Boolean.Numbers: }
+ Data.Boolean.Overload: infix 4 >=
+ Data.Boolean.Overload: infixr 2 ||
+ Data.Boolean.Overload: infixr 3 &&
- Data.Boolean: class Boolean (BooleanOf a) => EqB a where u /=* v = notB (u ==* v)
+ Data.Boolean: class Boolean BooleanOf a => EqB a
- Data.Boolean: class Boolean (BooleanOf a) => IfB a
+ Data.Boolean: class Boolean BooleanOf a => IfB a
- Data.Boolean: class Boolean (BooleanOf a) => OrdB a where u >* v = v <* u u >=* v = notB (u <* v) u <=* v = v >=* u
+ Data.Boolean: class Boolean BooleanOf a => OrdB a
- Data.Boolean.Numbers: class (NumB a, OrdB a) => IntegralB a where quot = fst .: quotRem rem = snd .: quotRem div = fst .: divMod mod = snd .: divMod quotRem = quot ## rem divMod = div ## mod
+ Data.Boolean.Numbers: class (NumB a, OrdB a) => IntegralB a
- Data.Boolean.Numbers: class Num a => NumB a where type family IntegerOf a
+ Data.Boolean.Numbers: class Num a => NumB a where {
- Data.Boolean.Numbers: class (Boolean (BooleanOf a), RealFracB a, Floating a) => RealFloatB a
+ Data.Boolean.Numbers: class (Boolean BooleanOf a, RealFracB a, Floating a) => RealFloatB a
- Data.Boolean.Numbers: class (NumB a, OrdB a, Fractional a) => RealFracB a where truncate = fst . properFraction
+ Data.Boolean.Numbers: class (NumB a, OrdB a, Fractional a) => RealFracB a
Files
- Boolean.cabal +1/−1
- src/Data/Boolean/Overload.hs +4/−0
Boolean.cabal view
@@ -1,5 +1,5 @@ Name: Boolean-Version: 0.2.3+Version: 0.2.4 Synopsis: Generalized booleans and numbers Category: Data Cabal-Version: >= 1.6
src/Data/Boolean/Overload.hs view
@@ -38,6 +38,10 @@ #endif ) +infix 4 ==, /=, <, <=, >=, >+infixr 3 &&+infixr 2 ||+ (&&) :: Boolean a => a -> a -> a (&&) = (&&*)