product-profunctors 0.6.3 → 0.6.3.1
raw patch · 2 files changed
+8/−3 lines, 2 filesdep ~contravariantdep ~profunctorsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: contravariant, profunctors
API changes (from Hackage documentation)
- Data.Profunctor.Product: instance Arrow arr => ProductProfunctor (AndArrow arr z)
- Data.Profunctor.Product: instance Arrow arr => ProductProfunctor (WrappedArrow arr)
- Data.Profunctor.Product: instance Arrow arr => Profunctor (AndArrow arr z)
- Data.Profunctor.Product: instance Contravariant f => Profunctor (PPOfContravariant f)
- Data.Profunctor.Product: instance ProductContravariant f => ProductProfunctor (PPOfContravariant f)
- Data.Profunctor.Product: instance ProductProfunctor (->)
- Data.Profunctor.Product: instance SumProfunctor (->)
- Data.Profunctor.Product: runAndArrow :: AndArrow arr z a b -> arr z b
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2) => Default p (a1, a2) (b1, b2)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3) => Default p (a1, a2, a3) (b1, b2, b3)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4) => Default p (a1, a2, a3, a4) (b1, b2, b3, b4)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5) => Default p (a1, a2, a3, a4, a5) (b1, b2, b3, b4, b5)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6) => Default p (a1, a2, a3, a4, a5, a6) (b1, b2, b3, b4, b5, b6)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7) => Default p (a1, a2, a3, a4, a5, a6, a7) (b1, b2, b3, b4, b5, b6, b7)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8) => Default p (a1, a2, a3, a4, a5, a6, a7, a8) (b1, b2, b3, b4, b5, b6, b7, b8)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b1, b2, b3, b4, b5, b6, b7, b8, b9)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19, Default p a20 b20) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19, Default p a20 b20, Default p a21 b21) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19, Default p a20 b20, Default p a21 b21, Default p a22 b22) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19, Default p a20 b20, Default p a21 b21, Default p a22 b22, Default p a23 b23) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23)
- Data.Profunctor.Product.Default: instance (ProductProfunctor p, Default p a1 b1, Default p a2 b2, Default p a3 b3, Default p a4 b4, Default p a5 b5, Default p a6 b6, Default p a7 b7, Default p a8 b8, Default p a9 b9, Default p a10 b10, Default p a11 b11, Default p a12 b12, Default p a13 b13, Default p a14 b14, Default p a15 b15, Default p a16 b16, Default p a17 b17, Default p a18 b18, Default p a19 b19, Default p a20 b20, Default p a21 b21, Default p a22 b22, Default p a23 b23, Default p a24 b24) => Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24)
- Data.Profunctor.Product.Default: instance ProductProfunctor p => Default p () ()
- Data.Profunctor.Product.TH: adaptorName :: MakeRecordT -> String
- Data.Profunctor.Product.TH: constructorName :: MakeRecordT -> String
- Data.Profunctor.Product.TH: deriving_ :: MakeRecordT -> [String]
- Data.Profunctor.Product.TH: fieldNames :: MakeRecordT -> [String]
- Data.Profunctor.Product.TH: typeName :: MakeRecordT -> String
+ Data.Profunctor.Product: [runAndArrow] :: AndArrow arr z a b -> arr z b
+ Data.Profunctor.Product: instance Control.Arrow.Arrow arr => Data.Profunctor.Product.ProductProfunctor (Data.Profunctor.Product.AndArrow arr z)
+ Data.Profunctor.Product: instance Control.Arrow.Arrow arr => Data.Profunctor.Product.ProductProfunctor (Data.Profunctor.WrappedArrow arr)
+ Data.Profunctor.Product: instance Control.Arrow.Arrow arr => Data.Profunctor.Unsafe.Profunctor (Data.Profunctor.Product.AndArrow arr z)
+ Data.Profunctor.Product: instance Data.Functor.Contravariant.Contravariant f => Data.Profunctor.Unsafe.Profunctor (Data.Profunctor.Product.PPOfContravariant f)
+ Data.Profunctor.Product: instance Data.Profunctor.Product.ProductContravariant f => Data.Profunctor.Product.ProductProfunctor (Data.Profunctor.Product.PPOfContravariant f)
+ Data.Profunctor.Product: instance Data.Profunctor.Product.ProductProfunctor (->)
+ Data.Profunctor.Product: instance Data.Profunctor.Product.SumProfunctor (->)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2) => Data.Profunctor.Product.Default.Default p (a1, a2) (b1, b2)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3) => Data.Profunctor.Product.Default.Default p (a1, a2, a3) (b1, b2, b3)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4) (b1, b2, b3, b4)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5) (b1, b2, b3, b4, b5)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6) (b1, b2, b3, b4, b5, b6)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7) (b1, b2, b3, b4, b5, b6, b7)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8) (b1, b2, b3, b4, b5, b6, b7, b8)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b1, b2, b3, b4, b5, b6, b7, b8, b9)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19, Data.Profunctor.Product.Default.Default p a20 b20) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19, Data.Profunctor.Product.Default.Default p a20 b20, Data.Profunctor.Product.Default.Default p a21 b21) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19, Data.Profunctor.Product.Default.Default p a20 b20, Data.Profunctor.Product.Default.Default p a21 b21, Data.Profunctor.Product.Default.Default p a22 b22) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19, Data.Profunctor.Product.Default.Default p a20 b20, Data.Profunctor.Product.Default.Default p a21 b21, Data.Profunctor.Product.Default.Default p a22 b22, Data.Profunctor.Product.Default.Default p a23 b23) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23)
+ Data.Profunctor.Product.Default: instance (Data.Profunctor.Product.ProductProfunctor p, Data.Profunctor.Product.Default.Default p a1 b1, Data.Profunctor.Product.Default.Default p a2 b2, Data.Profunctor.Product.Default.Default p a3 b3, Data.Profunctor.Product.Default.Default p a4 b4, Data.Profunctor.Product.Default.Default p a5 b5, Data.Profunctor.Product.Default.Default p a6 b6, Data.Profunctor.Product.Default.Default p a7 b7, Data.Profunctor.Product.Default.Default p a8 b8, Data.Profunctor.Product.Default.Default p a9 b9, Data.Profunctor.Product.Default.Default p a10 b10, Data.Profunctor.Product.Default.Default p a11 b11, Data.Profunctor.Product.Default.Default p a12 b12, Data.Profunctor.Product.Default.Default p a13 b13, Data.Profunctor.Product.Default.Default p a14 b14, Data.Profunctor.Product.Default.Default p a15 b15, Data.Profunctor.Product.Default.Default p a16 b16, Data.Profunctor.Product.Default.Default p a17 b17, Data.Profunctor.Product.Default.Default p a18 b18, Data.Profunctor.Product.Default.Default p a19 b19, Data.Profunctor.Product.Default.Default p a20 b20, Data.Profunctor.Product.Default.Default p a21 b21, Data.Profunctor.Product.Default.Default p a22 b22, Data.Profunctor.Product.Default.Default p a23 b23, Data.Profunctor.Product.Default.Default p a24 b24) => Data.Profunctor.Product.Default.Default p (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24)
+ Data.Profunctor.Product.Default: instance Data.Profunctor.Product.ProductProfunctor p => Data.Profunctor.Product.Default.Default p () ()
+ Data.Profunctor.Product.TH: [adaptorName] :: MakeRecordT -> String
+ Data.Profunctor.Product.TH: [constructorName] :: MakeRecordT -> String
+ Data.Profunctor.Product.TH: [deriving_] :: MakeRecordT -> [String]
+ Data.Profunctor.Product.TH: [fieldNames] :: MakeRecordT -> [String]
+ Data.Profunctor.Product.TH: [typeName] :: MakeRecordT -> String
Files
Data/Profunctor/Product/TH.hs view
@@ -45,7 +45,7 @@ p8, p9, p10, p11, p12, p13, p14, p15, p16, p17, p18, p19, p20, p21, p22, p23, p24) import Data.Profunctor.Product.Default (Default, def)-import Language.Haskell.TH (Dec(DataD, SigD, FunD, InstanceD),+import Language.Haskell.TH (Dec(DataD, SigD, FunD, InstanceD, NewtypeD), mkName, TyVarBndr(PlainTV, KindedTV), Con(RecC, NormalC), Strict(NotStrict), Clause(Clause),@@ -87,7 +87,12 @@ (conName, conTys) <- extractConstructorStuff constructors let tyVars' = map varNameOfBinder tyVars return (tyName, tyVars', conName, conTys)-dataDecStuffOfInfo _ = Left "That doesn't look like a data declaration to me"+dataDecStuffOfInfo (TyConI (NewtypeD _cxt tyName tyVars constructor _deriving)) =+ do+ (conName, conTys) <- extractConstructorStuff [constructor]+ let tyVars' = map varNameOfBinder tyVars+ return (tyName, tyVars', conName, conTys)+dataDecStuffOfInfo _ = Left "That doesn't look like a data or newtpe declaration to me" varNameOfType :: Type -> Either Error Name varNameOfType (VarT n) = Right n
product-profunctors.cabal view
@@ -1,5 +1,5 @@ name: product-profunctors-version: 0.6.3+version: 0.6.3.1 synopsis: product-profunctors description: Product profunctors homepage: https://github.com/tomjaguarpaw/product-profunctors