protolude 0.3.2 → 0.3.3
raw patch · 3 files changed
+14/−5 lines, 3 filesdep ~basedep ~bytestringdep ~deepseqPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, bytestring, deepseq, ghc-prim, mtl, text, transformers
API changes (from Hackage documentation)
- Protolude: Option :: Maybe a -> Option a
- Protolude: [getOption] :: Option a -> Maybe a
- Protolude: data Nat
- Protolude: newtype Option a
- Protolude: option :: b -> (a -> b) -> Option a -> b
- Protolude.Base: data Nat
+ Protolude: type Nat = Natural
+ Protolude.Base: type Nat = Natural
- Protolude: [Coercion] :: forall k (a :: k) (b :: k). Coercible a b => Coercion a b
+ Protolude: [Coercion] :: forall {k} (a :: k) (b :: k). Coercible a b => Coercion a b
- Protolude: [Refl] :: forall k (a :: k). a :~: a
+ Protolude: [Refl] :: forall {k} (a :: k). a :~: a
- Protolude: class Foldable (t :: Type -> Type)
+ Protolude: class Foldable (t :: TYPE LiftedRep -> Type)
- Protolude: eqT :: forall k (a :: k) (b :: k). (Typeable a, Typeable b) => Maybe (a :~: b)
+ Protolude: eqT :: forall {k} (a :: k) (b :: k). (Typeable a, Typeable b) => Maybe (a :~: b)
- Protolude: gcast :: forall k (a :: k) (b :: k) c. (Typeable a, Typeable b) => c a -> Maybe (c b)
+ Protolude: gcast :: forall {k} (a :: k) (b :: k) c. (Typeable a, Typeable b) => c a -> Maybe (c b)
- Protolude: gcastWith :: forall k (a :: k) (b :: k) r. (a :~: b) -> (a ~ b => r) -> r
+ Protolude: gcastWith :: forall {k} (a :: k) (b :: k) r. (a :~: b) -> (a ~ b => r) -> r
- Protolude: infix 4 ==
+ Protolude: infix 4 :~:
- Protolude: infixl 8 `shift`
+ Protolude: infixl 8 `rotate`
- Protolude: repr :: forall k (a :: k) (b :: k). (a :~: b) -> Coercion a b
+ Protolude: repr :: forall {k} (a :: k) (b :: k). (a :~: b) -> Coercion a b
- Protolude: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
+ Protolude: seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
- Protolude: sym :: forall k (a :: k) (b :: k). (a :~: b) -> b :~: a
+ Protolude: sym :: forall {k} (a :: k) (b :: k). (a :~: b) -> b :~: a
- Protolude: trans :: forall k (a :: k) (b :: k) (c :: k). (a :~: b) -> (b :~: c) -> a :~: c
+ Protolude: trans :: forall {k} (a :: k) (b :: k) (c :: k). (a :~: b) -> (b :~: c) -> a :~: c
- Protolude: type Type = Type
+ Protolude: type Type = TYPE LiftedRep
- Protolude: typeRep :: forall k proxy (a :: k). Typeable a => proxy a -> TypeRep
+ Protolude: typeRep :: forall {k} proxy (a :: k). Typeable a => proxy a -> TypeRep
- Protolude.Base: infixl 6 +
+ Protolude.Base: infixl 6 -
- Protolude.Base: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
+ Protolude.Base: seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
- Protolude.Base: type Type = Type
+ Protolude.Base: type Type = TYPE LiftedRep
- Protolude.Base: type family CmpNat (a :: Nat) (b :: Nat) :: Ordering
+ Protolude.Base: type family CmpNat (a :: Natural) (b :: Natural) :: Ordering
Files
- ChangeLog.md +5/−1
- README.md +5/−0
- protolude.cabal +4/−4
ChangeLog.md view
@@ -1,5 +1,9 @@+0.3.3+=====+* GHC 9.4.4 support+ 0.3.2-====+===== * GHC 9.2.2 support * Drop export executable
README.md view
@@ -47,6 +47,9 @@ Stack LTS: +* lts-6.x+* lts-7.x+* lts-8.x * lts-9.x * lts-10.x * lts-11.x@@ -56,6 +59,8 @@ * lts-15.x * lts-16.x * lts-17.x+* lts-18.x+* lts-19.14 and higher Usage -----
protolude.cabal view
@@ -1,5 +1,5 @@ name: protolude-version: 0.3.2+version: 0.3.3 synopsis: A small prelude. description: A sensible set of defaults for writing custom Preludes. homepage: https://github.com/sdiehl/protolude@@ -67,11 +67,11 @@ build-depends: array >=0.4 && <0.6 , async >=2.0 && <2.3- , base >=4.6 && <4.17- , bytestring >=0.10 && <0.11.4+ , base >=4.6 && <4.18+ , bytestring >=0.10 && <0.12 , containers >=0.5 && <0.7 , deepseq >=1.3 && <1.5- , ghc-prim >=0.3 && <0.9+ , ghc-prim >=0.3 && <0.10 , hashable >=1.2 && <1.5 , mtl >=2.1 && <2.3 , mtl-compat >=0.2 && <0.3