basement 0.0.15 → 0.0.16
raw patch · 2 files changed
+1/−10 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.HasNegation GHC.Integer.Type.Integer
- Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.Integral GHC.Integer.Type.Integer
- Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.Integral GHC.Natural.Natural
- Basement.Compat.Primitive: type Int16# = Int#
- Basement.Compat.Primitive: type Int32# = Int#
- Basement.Compat.Primitive: type Int8# = Int#
- Basement.Compat.Primitive: type Word16# = Word#
- Basement.Compat.Primitive: type Word32# = Word#
- Basement.Compat.Primitive: type Word8# = Word#
- Basement.Endianness: instance Data.Bits.Bits a => Data.Bits.Bits (Basement.Endianness.BE a)
- Basement.Endianness: instance Data.Bits.Bits a => Data.Bits.Bits (Basement.Endianness.LE a)
- Basement.From: instance Basement.Numerical.Number.IsIntegral n => Basement.From.From n GHC.Integer.Type.Integer
- Basement.From: instance Basement.Numerical.Number.IsNatural n => Basement.From.From n GHC.Natural.Natural
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Int.Int16
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Int.Int32
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Int.Int64
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Int.Int8
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Natural.Natural
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Word.Word16
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Word.Word32
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Word.Word64
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Integer.Type.Integer GHC.Word.Word8
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Natural.Natural GHC.Word.Word16
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Natural.Natural GHC.Word.Word32
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Natural.Natural GHC.Word.Word64
- Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Natural.Natural GHC.Word.Word8
- Basement.IntegralConv: instance Basement.Numerical.Number.IsIntegral a => Basement.IntegralConv.IntegralUpsize a GHC.Integer.Type.Integer
- Basement.IntegralConv: instance Basement.Numerical.Number.IsNatural a => Basement.IntegralConv.IntegralUpsize a GHC.Natural.Natural
- Basement.Monad: type family Failure m;
- Basement.Nat: data Nat
- Basement.NormalForm: instance Basement.NormalForm.NormalForm GHC.Integer.Type.Integer
- Basement.NormalForm: instance Basement.NormalForm.NormalForm GHC.Natural.Natural
- Basement.Numerical.Additive: instance Basement.Numerical.Additive.Additive GHC.Integer.Type.Integer
- Basement.Numerical.Additive: instance Basement.Numerical.Additive.Additive GHC.Natural.Natural
- Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.IDivisible GHC.Integer.Type.Integer
- Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.IDivisible GHC.Natural.Natural
- Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.Multiplicative GHC.Integer.Type.Integer
- Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.Multiplicative GHC.Natural.Natural
- Basement.Numerical.Number: instance Basement.Numerical.Number.IsIntegral GHC.Integer.Type.Integer
- Basement.Numerical.Number: instance Basement.Numerical.Number.IsIntegral GHC.Natural.Natural
- Basement.Numerical.Number: instance Basement.Numerical.Number.IsNatural GHC.Natural.Natural
- Basement.Numerical.Subtractive: instance Basement.Numerical.Subtractive.Subtractive GHC.Integer.Type.Integer
- Basement.Numerical.Subtractive: instance Basement.Numerical.Subtractive.Subtractive GHC.Natural.Natural
- Basement.Numerical.Subtractive: type family Difference a;
- Basement.PrimType: type family PrimSize ty :: Nat;
- Basement.These: instance Data.Bifunctor.Bifunctor Basement.These.These
- Basement.These: instance GHC.Base.Functor (Basement.These.These a)
- Basement.Types.Word128: instance Data.Bits.Bits Basement.Types.Word128.Word128
- Basement.Types.Word256: instance Data.Bits.Bits Basement.Types.Word256.Word256
- Basement.UArray: type family PrimSize ty :: Nat;
+ Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.HasNegation GHC.Num.Integer.Integer
+ Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.Integral GHC.Num.Integer.Integer
+ Basement.Compat.NumLiteral: instance Basement.Compat.NumLiteral.Integral GHC.Num.Natural.Natural
+ Basement.Compat.Primitive: data Int16# :: TYPE 'Int16Rep
+ Basement.Compat.Primitive: data Int32# :: TYPE 'Int32Rep
+ Basement.Compat.Primitive: data Int8# :: TYPE 'Int8Rep
+ Basement.Compat.Primitive: data Word16# :: TYPE 'Word16Rep
+ Basement.Compat.Primitive: data Word32# :: TYPE 'Word32Rep
+ Basement.Compat.Primitive: data Word8# :: TYPE 'Word8Rep
+ Basement.Endianness: instance GHC.Bits.Bits a => GHC.Bits.Bits (Basement.Endianness.BE a)
+ Basement.Endianness: instance GHC.Bits.Bits a => GHC.Bits.Bits (Basement.Endianness.LE a)
+ Basement.From: instance Basement.Numerical.Number.IsIntegral n => Basement.From.From n GHC.Num.Integer.Integer
+ Basement.From: instance Basement.Numerical.Number.IsNatural n => Basement.From.From n GHC.Num.Natural.Natural
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Int.Int16
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Int.Int32
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Int.Int64
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Int.Int8
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Num.Natural.Natural
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Word.Word16
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Word.Word32
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Word.Word64
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Integer.Integer GHC.Word.Word8
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Natural.Natural GHC.Word.Word16
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Natural.Natural GHC.Word.Word32
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Natural.Natural GHC.Word.Word64
+ Basement.IntegralConv: instance Basement.IntegralConv.IntegralDownsize GHC.Num.Natural.Natural GHC.Word.Word8
+ Basement.IntegralConv: instance Basement.Numerical.Number.IsIntegral a => Basement.IntegralConv.IntegralUpsize a GHC.Num.Integer.Integer
+ Basement.IntegralConv: instance Basement.Numerical.Number.IsNatural a => Basement.IntegralConv.IntegralUpsize a GHC.Num.Natural.Natural
+ Basement.Monad: type Failure m;
+ Basement.Monad: type PrimState m;
+ Basement.Monad: type PrimVar m :: * -> *;
+ Basement.Nat: type Nat = Natural
+ Basement.NormalForm: instance Basement.NormalForm.NormalForm GHC.Num.Integer.Integer
+ Basement.NormalForm: instance Basement.NormalForm.NormalForm GHC.Num.Natural.Natural
+ Basement.Numerical.Additive: instance Basement.Numerical.Additive.Additive GHC.Num.Integer.Integer
+ Basement.Numerical.Additive: instance Basement.Numerical.Additive.Additive GHC.Num.Natural.Natural
+ Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.IDivisible GHC.Num.Integer.Integer
+ Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.IDivisible GHC.Num.Natural.Natural
+ Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.Multiplicative GHC.Num.Integer.Integer
+ Basement.Numerical.Multiplicative: instance Basement.Numerical.Multiplicative.Multiplicative GHC.Num.Natural.Natural
+ Basement.Numerical.Number: instance Basement.Numerical.Number.IsIntegral GHC.Num.Integer.Integer
+ Basement.Numerical.Number: instance Basement.Numerical.Number.IsIntegral GHC.Num.Natural.Natural
+ Basement.Numerical.Number: instance Basement.Numerical.Number.IsNatural GHC.Num.Natural.Natural
+ Basement.Numerical.Subtractive: instance Basement.Numerical.Subtractive.Subtractive GHC.Num.Integer.Integer
+ Basement.Numerical.Subtractive: instance Basement.Numerical.Subtractive.Subtractive GHC.Num.Natural.Natural
+ Basement.Numerical.Subtractive: type Difference a;
+ Basement.PrimType: type PrimSize ty :: Nat;
+ Basement.Types.Word128: instance GHC.Bits.Bits Basement.Types.Word128.Word128
+ Basement.Types.Word256: instance GHC.Bits.Bits Basement.Types.Word256.Word256
+ Basement.UArray: type PrimSize ty :: Nat;
- Basement.Compat.Base: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
+ Basement.Compat.Base: seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
- Basement.Compat.Primitive: uncheckedShiftRLWord16# :: Word# -> Int# -> Word#
+ Basement.Compat.Primitive: uncheckedShiftRLWord16# :: Word16# -> Int# -> Word16#
- Basement.Compat.Primitive: uncheckedShiftRLWord32# :: Word# -> Int# -> Word#
+ Basement.Compat.Primitive: uncheckedShiftRLWord32# :: Word32# -> Int# -> Word32#
- Basement.Compat.Primitive: unsafeCoerce# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (a :: TYPE k0) (b :: TYPE k1). a -> b
+ Basement.Compat.Primitive: unsafeCoerce# :: forall (q :: RuntimeRep) (r :: RuntimeRep) (a :: TYPE q) (b :: TYPE r). a -> b
- Basement.Imports: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
+ Basement.Imports: seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
- Basement.Nat: type (x :: Nat) <= (y :: Nat) = x <=? y ~ 'True
+ Basement.Nat: type (m :: k) <=? (n :: k) = OrdCond Compare m n 'True 'True 'False
Files
- Basement/These.hs +0/−9
- basement.cabal +1/−1
Basement/These.hs view
@@ -13,7 +13,6 @@ import Basement.Compat.Base import Basement.NormalForm-import Basement.Compat.Bifunctor -- | Either a or b or both. data These a b@@ -26,11 +25,3 @@ toNormalForm (This a) = toNormalForm a toNormalForm (That b) = toNormalForm b toNormalForm (These a b) = toNormalForm a `seq` toNormalForm b--instance Bifunctor These where- bimap fa _ (This a) = This (fa a)- bimap _ fb (That b) = That (fb b)- bimap fa fb (These a b) = These (fa a) (fb b)--instance Functor (These a) where- fmap = second
basement.cabal view
@@ -1,5 +1,5 @@ name: basement-version: 0.0.15+version: 0.0.16 synopsis: Foundation scrap box of array & string description: Foundation most basic primitives without any dependencies license: BSD3