defun-sop 0.1 → 0.1.0.1
raw patch · 1 files changed
+11/−4 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Data.SOP.NP.DeFun: data AppendSym (xs :: FunKind [a] [a] ~> [a])
+ Data.SOP.NP.DeFun: data () => AppendSym (xs :: FunKind [a] [a] ~> [a])
- Data.SOP.NP.DeFun: data AppendSym1 (xs :: [a]) (ys :: FunKind [a] [a])
+ Data.SOP.NP.DeFun: data () => AppendSym1 (xs :: [a]) (ys :: FunKind [a] [a])
- Data.SOP.NP.DeFun: data ConcatMapSym (f :: FunKind a ~> [b] [a] ~> [b])
+ Data.SOP.NP.DeFun: data () => ConcatMapSym (f :: FunKind a ~> [b] [a] ~> [b])
- Data.SOP.NP.DeFun: data ConcatMapSym1 (f :: a ~> [b]) (xs :: FunKind [a] [b])
+ Data.SOP.NP.DeFun: data () => ConcatMapSym1 (f :: a ~> [b]) (xs :: FunKind [a] [b])
- Data.SOP.NP.DeFun: data ConcatSym (xss :: FunKind [[a]] [a])
+ Data.SOP.NP.DeFun: data () => ConcatSym (xss :: FunKind [[a]] [a])
- Data.SOP.NP.DeFun: data FoldlSym (f :: FunKind b ~> a ~> b b ~> [a] ~> b)
+ Data.SOP.NP.DeFun: data () => FoldlSym (f :: FunKind b ~> a ~> b b ~> [a] ~> b)
- Data.SOP.NP.DeFun: data FoldlSym1 (f :: b ~> a ~> b) (z :: FunKind b [a] ~> b)
+ Data.SOP.NP.DeFun: data () => FoldlSym1 (f :: b ~> a ~> b) (z :: FunKind b [a] ~> b)
- Data.SOP.NP.DeFun: data FoldlSym2 (f :: b ~> a ~> b) (z :: b) (xs :: FunKind [a] b)
+ Data.SOP.NP.DeFun: data () => FoldlSym2 (f :: b ~> a ~> b) (z :: b) (xs :: FunKind [a] b)
- Data.SOP.NP.DeFun: data FoldrSym (f :: FunKind a ~> b ~> b b ~> [a] ~> b)
+ Data.SOP.NP.DeFun: data () => FoldrSym (f :: FunKind a ~> b ~> b b ~> [a] ~> b)
- Data.SOP.NP.DeFun: data FoldrSym1 (f :: a ~> b ~> b) (z :: FunKind b [a] ~> b)
+ Data.SOP.NP.DeFun: data () => FoldrSym1 (f :: a ~> b ~> b) (z :: FunKind b [a] ~> b)
- Data.SOP.NP.DeFun: data FoldrSym2 (f :: a ~> b ~> b) (z :: b) (xs :: FunKind [a] b)
+ Data.SOP.NP.DeFun: data () => FoldrSym2 (f :: a ~> b ~> b) (z :: b) (xs :: FunKind [a] b)
- Data.SOP.NP.DeFun: data Map2Sym (f :: FunKind a ~> b ~> c [a] ~> [b] ~> [c])
+ Data.SOP.NP.DeFun: data () => Map2Sym (f :: FunKind a ~> b ~> c [a] ~> [b] ~> [c])
- Data.SOP.NP.DeFun: data Map2Sym1 (f :: a ~> b ~> c) (xs :: FunKind [a] [b] ~> [c])
+ Data.SOP.NP.DeFun: data () => Map2Sym1 (f :: a ~> b ~> c) (xs :: FunKind [a] [b] ~> [c])
- Data.SOP.NP.DeFun: data Map2Sym2 (f :: a ~> b ~> c) (xs :: [a]) (ys :: FunKind [b] [c])
+ Data.SOP.NP.DeFun: data () => Map2Sym2 (f :: a ~> b ~> c) (xs :: [a]) (ys :: FunKind [b] [c])
- Data.SOP.NP.DeFun: data MapSym (f :: FunKind a ~> b [a] ~> [b])
+ Data.SOP.NP.DeFun: data () => MapSym (f :: FunKind a ~> b [a] ~> [b])
- Data.SOP.NP.DeFun: data MapSym1 (f :: a ~> b) (xs :: FunKind [a] [b])
+ Data.SOP.NP.DeFun: data () => MapSym1 (f :: a ~> b) (xs :: FunKind [a] [b])
- Data.SOP.NP.DeFun: data ReverseSym (xs :: FunKind [a] [a])
+ Data.SOP.NP.DeFun: data () => ReverseSym (xs :: FunKind [a] [a])
- Data.SOP.NP.DeFun: data SequenceSym (xss :: FunKind [[a]] [[a]])
+ Data.SOP.NP.DeFun: data () => SequenceSym (xss :: FunKind [[a]] [[a]])
- Data.SOP.NP.DeFun: data ZipWithSym (f :: FunKind a ~> b ~> c [a] ~> [b] ~> [c])
+ Data.SOP.NP.DeFun: data () => ZipWithSym (f :: FunKind a ~> b ~> c [a] ~> [b] ~> [c])
- Data.SOP.NP.DeFun: data ZipWithSym1 (f :: a ~> b ~> c) (xs :: FunKind [a] [b] ~> [c])
+ Data.SOP.NP.DeFun: data () => ZipWithSym1 (f :: a ~> b ~> c) (xs :: FunKind [a] [b] ~> [c])
- Data.SOP.NP.DeFun: data ZipWithSym2 (f :: a ~> b ~> c) (xs :: [a]) (ys :: FunKind [b] [c])
+ Data.SOP.NP.DeFun: data () => ZipWithSym2 (f :: a ~> b ~> c) (xs :: [a]) (ys :: FunKind [b] [c])
Files
- defun-sop.cabal +11/−4
defun-sop.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: defun-sop-version: 0.1+version: 0.1.0.1 license: BSD-3-Clause license-file: LICENSE author: Oleg Grenrus <oleg.grenrus@iki.fi>@@ -8,7 +8,14 @@ category: Data build-type: Simple extra-doc-files: CHANGELOG.md-tested-with: GHC ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1+tested-with:+ GHC ==9.2.8+ || ==9.4.8+ || ==9.6.7+ || ==9.8.4+ || ==9.10.1+ || ==9.12.2+ synopsis: Defunctionalization helpers: lists description: This package provides term definitions for type families in "DeFun.List"@@ -43,8 +50,8 @@ hs-source-dirs: src exposed-modules: Data.SOP.NP.DeFun build-depends:- , base ^>=4.16.3.0 || ^>=4.17.2.0 || ^>=4.18.0.0 || ^>=4.19.0.0+ , base ^>=4.16.3.0 || ^>=4.17.2.0 || ^>=4.18.0.0 || ^>=4.19.0.0 || ^>=4.20.0.0 || ^>=4.21.0.0 , defun-core ^>=0.1 , sop-core ^>=0.5.0.2 - x-docspec-options: -XDataKinds -XGADTs -XStandaloneDeriving+ x-docspec-options: -XDataKinds -XGADTs -XStandaloneDeriving -XKindSignatures