functor-infix 0.0.3 → 0.0.4
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~basedep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, template-haskell
API changes (from Hackage documentation)
+ Data.Functor.Infix: infixl 1 <&>
+ Data.Functor.Infix: infixl 4 <$>
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$$$>) :: (Functor f_a4CN, Functor f_a4CO, Functor f_a4CP, Functor f_a4CQ, Functor f_a4CR, Functor f_a4CS, Functor f_a4CT, Functor f_a4CU, Functor f_a4CV, Functor f_a4CW, Functor f_a4CX, Functor f_a4CY, Functor f_a4CZ, Functor f_a4D0, Functor f_a4D1, Functor f_a4D2, Functor f_a4D3, Functor f_a4D4, Functor f_a4D5, Functor f_a4D6) => (a -> b) -> f_a4CN (f_a4CO (f_a4CP (f_a4CQ (f_a4CR (f_a4CS (f_a4CT (f_a4CU (f_a4CV (f_a4CW (f_a4CX (f_a4CY (f_a4CZ (f_a4D0 (f_a4D1 (f_a4D2 (f_a4D3 (f_a4D4 (f_a4D5 (f_a4D6 a))))))))))))))))))) -> f_a4CN (f_a4CO (f_a4CP (f_a4CQ (f_a4CR (f_a4CS (f_a4CT (f_a4CU (f_a4CV (f_a4CW (f_a4CX (f_a4CY (f_a4CZ (f_a4D0 (f_a4D1 (f_a4D2 (f_a4D3 (f_a4D4 (f_a4D5 (f_a4D6 b)))))))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$$$>) :: forall a b f_a7JB f_a7JC f_a7JD f_a7JE f_a7JF f_a7JG f_a7JH f_a7JI f_a7JJ f_a7JK f_a7JL f_a7JM f_a7JN f_a7JO f_a7JP f_a7JQ f_a7JR f_a7JS f_a7JT f_a7JU. (Functor f_a7JB, Functor f_a7JC, Functor f_a7JD, Functor f_a7JE, Functor f_a7JF, Functor f_a7JG, Functor f_a7JH, Functor f_a7JI, Functor f_a7JJ, Functor f_a7JK, Functor f_a7JL, Functor f_a7JM, Functor f_a7JN, Functor f_a7JO, Functor f_a7JP, Functor f_a7JQ, Functor f_a7JR, Functor f_a7JS, Functor f_a7JT, Functor f_a7JU) => (a -> b) -> f_a7JB (f_a7JC (f_a7JD (f_a7JE (f_a7JF (f_a7JG (f_a7JH (f_a7JI (f_a7JJ (f_a7JK (f_a7JL (f_a7JM (f_a7JN (f_a7JO (f_a7JP (f_a7JQ (f_a7JR (f_a7JS (f_a7JT (f_a7JU a))))))))))))))))))) -> f_a7JB (f_a7JC (f_a7JD (f_a7JE (f_a7JF (f_a7JG (f_a7JH (f_a7JI (f_a7JJ (f_a7JK (f_a7JL (f_a7JM (f_a7JN (f_a7JO (f_a7JP (f_a7JQ (f_a7JR (f_a7JS (f_a7JT (f_a7JU b)))))))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$$>) :: (Functor f_a4Cu, Functor f_a4Cv, Functor f_a4Cw, Functor f_a4Cx, Functor f_a4Cy, Functor f_a4Cz, Functor f_a4CA, Functor f_a4CB, Functor f_a4CC, Functor f_a4CD, Functor f_a4CE, Functor f_a4CF, Functor f_a4CG, Functor f_a4CH, Functor f_a4CI, Functor f_a4CJ, Functor f_a4CK, Functor f_a4CL, Functor f_a4CM) => (a -> b) -> f_a4Cu (f_a4Cv (f_a4Cw (f_a4Cx (f_a4Cy (f_a4Cz (f_a4CA (f_a4CB (f_a4CC (f_a4CD (f_a4CE (f_a4CF (f_a4CG (f_a4CH (f_a4CI (f_a4CJ (f_a4CK (f_a4CL (f_a4CM a)))))))))))))))))) -> f_a4Cu (f_a4Cv (f_a4Cw (f_a4Cx (f_a4Cy (f_a4Cz (f_a4CA (f_a4CB (f_a4CC (f_a4CD (f_a4CE (f_a4CF (f_a4CG (f_a4CH (f_a4CI (f_a4CJ (f_a4CK (f_a4CL (f_a4CM b))))))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$$>) :: forall a b f_a7Ji f_a7Jj f_a7Jk f_a7Jl f_a7Jm f_a7Jn f_a7Jo f_a7Jp f_a7Jq f_a7Jr f_a7Js f_a7Jt f_a7Ju f_a7Jv f_a7Jw f_a7Jx f_a7Jy f_a7Jz f_a7JA. (Functor f_a7Ji, Functor f_a7Jj, Functor f_a7Jk, Functor f_a7Jl, Functor f_a7Jm, Functor f_a7Jn, Functor f_a7Jo, Functor f_a7Jp, Functor f_a7Jq, Functor f_a7Jr, Functor f_a7Js, Functor f_a7Jt, Functor f_a7Ju, Functor f_a7Jv, Functor f_a7Jw, Functor f_a7Jx, Functor f_a7Jy, Functor f_a7Jz, Functor f_a7JA) => (a -> b) -> f_a7Ji (f_a7Jj (f_a7Jk (f_a7Jl (f_a7Jm (f_a7Jn (f_a7Jo (f_a7Jp (f_a7Jq (f_a7Jr (f_a7Js (f_a7Jt (f_a7Ju (f_a7Jv (f_a7Jw (f_a7Jx (f_a7Jy (f_a7Jz (f_a7JA a)))))))))))))))))) -> f_a7Ji (f_a7Jj (f_a7Jk (f_a7Jl (f_a7Jm (f_a7Jn (f_a7Jo (f_a7Jp (f_a7Jq (f_a7Jr (f_a7Js (f_a7Jt (f_a7Ju (f_a7Jv (f_a7Jw (f_a7Jx (f_a7Jy (f_a7Jz (f_a7JA b))))))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$>) :: (Functor f_a4Cc, Functor f_a4Cd, Functor f_a4Ce, Functor f_a4Cf, Functor f_a4Cg, Functor f_a4Ch, Functor f_a4Ci, Functor f_a4Cj, Functor f_a4Ck, Functor f_a4Cl, Functor f_a4Cm, Functor f_a4Cn, Functor f_a4Co, Functor f_a4Cp, Functor f_a4Cq, Functor f_a4Cr, Functor f_a4Cs, Functor f_a4Ct) => (a -> b) -> f_a4Cc (f_a4Cd (f_a4Ce (f_a4Cf (f_a4Cg (f_a4Ch (f_a4Ci (f_a4Cj (f_a4Ck (f_a4Cl (f_a4Cm (f_a4Cn (f_a4Co (f_a4Cp (f_a4Cq (f_a4Cr (f_a4Cs (f_a4Ct a))))))))))))))))) -> f_a4Cc (f_a4Cd (f_a4Ce (f_a4Cf (f_a4Cg (f_a4Ch (f_a4Ci (f_a4Cj (f_a4Ck (f_a4Cl (f_a4Cm (f_a4Cn (f_a4Co (f_a4Cp (f_a4Cq (f_a4Cr (f_a4Cs (f_a4Ct b)))))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$$>) :: forall a b f_a7J0 f_a7J1 f_a7J2 f_a7J3 f_a7J4 f_a7J5 f_a7J6 f_a7J7 f_a7J8 f_a7J9 f_a7Ja f_a7Jb f_a7Jc f_a7Jd f_a7Je f_a7Jf f_a7Jg f_a7Jh. (Functor f_a7J0, Functor f_a7J1, Functor f_a7J2, Functor f_a7J3, Functor f_a7J4, Functor f_a7J5, Functor f_a7J6, Functor f_a7J7, Functor f_a7J8, Functor f_a7J9, Functor f_a7Ja, Functor f_a7Jb, Functor f_a7Jc, Functor f_a7Jd, Functor f_a7Je, Functor f_a7Jf, Functor f_a7Jg, Functor f_a7Jh) => (a -> b) -> f_a7J0 (f_a7J1 (f_a7J2 (f_a7J3 (f_a7J4 (f_a7J5 (f_a7J6 (f_a7J7 (f_a7J8 (f_a7J9 (f_a7Ja (f_a7Jb (f_a7Jc (f_a7Jd (f_a7Je (f_a7Jf (f_a7Jg (f_a7Jh a))))))))))))))))) -> f_a7J0 (f_a7J1 (f_a7J2 (f_a7J3 (f_a7J4 (f_a7J5 (f_a7J6 (f_a7J7 (f_a7J8 (f_a7J9 (f_a7Ja (f_a7Jb (f_a7Jc (f_a7Jd (f_a7Je (f_a7Jf (f_a7Jg (f_a7Jh b)))))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$>) :: (Functor f_a4BV, Functor f_a4BW, Functor f_a4BX, Functor f_a4BY, Functor f_a4BZ, Functor f_a4C0, Functor f_a4C1, Functor f_a4C2, Functor f_a4C3, Functor f_a4C4, Functor f_a4C5, Functor f_a4C6, Functor f_a4C7, Functor f_a4C8, Functor f_a4C9, Functor f_a4Ca, Functor f_a4Cb) => (a -> b) -> f_a4BV (f_a4BW (f_a4BX (f_a4BY (f_a4BZ (f_a4C0 (f_a4C1 (f_a4C2 (f_a4C3 (f_a4C4 (f_a4C5 (f_a4C6 (f_a4C7 (f_a4C8 (f_a4C9 (f_a4Ca (f_a4Cb a)))))))))))))))) -> f_a4BV (f_a4BW (f_a4BX (f_a4BY (f_a4BZ (f_a4C0 (f_a4C1 (f_a4C2 (f_a4C3 (f_a4C4 (f_a4C5 (f_a4C6 (f_a4C7 (f_a4C8 (f_a4C9 (f_a4Ca (f_a4Cb b))))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$$$>) :: forall a b f_a7IJ f_a7IK f_a7IL f_a7IM f_a7IN f_a7IO f_a7IP f_a7IQ f_a7IR f_a7IS f_a7IT f_a7IU f_a7IV f_a7IW f_a7IX f_a7IY f_a7IZ. (Functor f_a7IJ, Functor f_a7IK, Functor f_a7IL, Functor f_a7IM, Functor f_a7IN, Functor f_a7IO, Functor f_a7IP, Functor f_a7IQ, Functor f_a7IR, Functor f_a7IS, Functor f_a7IT, Functor f_a7IU, Functor f_a7IV, Functor f_a7IW, Functor f_a7IX, Functor f_a7IY, Functor f_a7IZ) => (a -> b) -> f_a7IJ (f_a7IK (f_a7IL (f_a7IM (f_a7IN (f_a7IO (f_a7IP (f_a7IQ (f_a7IR (f_a7IS (f_a7IT (f_a7IU (f_a7IV (f_a7IW (f_a7IX (f_a7IY (f_a7IZ a)))))))))))))))) -> f_a7IJ (f_a7IK (f_a7IL (f_a7IM (f_a7IN (f_a7IO (f_a7IP (f_a7IQ (f_a7IR (f_a7IS (f_a7IT (f_a7IU (f_a7IV (f_a7IW (f_a7IX (f_a7IY (f_a7IZ b))))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$$>) :: (Functor f_a4BF, Functor f_a4BG, Functor f_a4BH, Functor f_a4BI, Functor f_a4BJ, Functor f_a4BK, Functor f_a4BL, Functor f_a4BM, Functor f_a4BN, Functor f_a4BO, Functor f_a4BP, Functor f_a4BQ, Functor f_a4BR, Functor f_a4BS, Functor f_a4BT, Functor f_a4BU) => (a -> b) -> f_a4BF (f_a4BG (f_a4BH (f_a4BI (f_a4BJ (f_a4BK (f_a4BL (f_a4BM (f_a4BN (f_a4BO (f_a4BP (f_a4BQ (f_a4BR (f_a4BS (f_a4BT (f_a4BU a))))))))))))))) -> f_a4BF (f_a4BG (f_a4BH (f_a4BI (f_a4BJ (f_a4BK (f_a4BL (f_a4BM (f_a4BN (f_a4BO (f_a4BP (f_a4BQ (f_a4BR (f_a4BS (f_a4BT (f_a4BU b)))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$$>) :: forall a b f_a7It f_a7Iu f_a7Iv f_a7Iw f_a7Ix f_a7Iy f_a7Iz f_a7IA f_a7IB f_a7IC f_a7ID f_a7IE f_a7IF f_a7IG f_a7IH f_a7II. (Functor f_a7It, Functor f_a7Iu, Functor f_a7Iv, Functor f_a7Iw, Functor f_a7Ix, Functor f_a7Iy, Functor f_a7Iz, Functor f_a7IA, Functor f_a7IB, Functor f_a7IC, Functor f_a7ID, Functor f_a7IE, Functor f_a7IF, Functor f_a7IG, Functor f_a7IH, Functor f_a7II) => (a -> b) -> f_a7It (f_a7Iu (f_a7Iv (f_a7Iw (f_a7Ix (f_a7Iy (f_a7Iz (f_a7IA (f_a7IB (f_a7IC (f_a7ID (f_a7IE (f_a7IF (f_a7IG (f_a7IH (f_a7II a))))))))))))))) -> f_a7It (f_a7Iu (f_a7Iv (f_a7Iw (f_a7Ix (f_a7Iy (f_a7Iz (f_a7IA (f_a7IB (f_a7IC (f_a7ID (f_a7IE (f_a7IF (f_a7IG (f_a7IH (f_a7II b)))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$$>) :: (Functor f_a4Bq, Functor f_a4Br, Functor f_a4Bs, Functor f_a4Bt, Functor f_a4Bu, Functor f_a4Bv, Functor f_a4Bw, Functor f_a4Bx, Functor f_a4By, Functor f_a4Bz, Functor f_a4BA, Functor f_a4BB, Functor f_a4BC, Functor f_a4BD, Functor f_a4BE) => (a -> b) -> f_a4Bq (f_a4Br (f_a4Bs (f_a4Bt (f_a4Bu (f_a4Bv (f_a4Bw (f_a4Bx (f_a4By (f_a4Bz (f_a4BA (f_a4BB (f_a4BC (f_a4BD (f_a4BE a)))))))))))))) -> f_a4Bq (f_a4Br (f_a4Bs (f_a4Bt (f_a4Bu (f_a4Bv (f_a4Bw (f_a4Bx (f_a4By (f_a4Bz (f_a4BA (f_a4BB (f_a4BC (f_a4BD (f_a4BE b))))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$$>) :: forall a b f_a7Ie f_a7If f_a7Ig f_a7Ih f_a7Ii f_a7Ij f_a7Ik f_a7Il f_a7Im f_a7In f_a7Io f_a7Ip f_a7Iq f_a7Ir f_a7Is. (Functor f_a7Ie, Functor f_a7If, Functor f_a7Ig, Functor f_a7Ih, Functor f_a7Ii, Functor f_a7Ij, Functor f_a7Ik, Functor f_a7Il, Functor f_a7Im, Functor f_a7In, Functor f_a7Io, Functor f_a7Ip, Functor f_a7Iq, Functor f_a7Ir, Functor f_a7Is) => (a -> b) -> f_a7Ie (f_a7If (f_a7Ig (f_a7Ih (f_a7Ii (f_a7Ij (f_a7Ik (f_a7Il (f_a7Im (f_a7In (f_a7Io (f_a7Ip (f_a7Iq (f_a7Ir (f_a7Is a)))))))))))))) -> f_a7Ie (f_a7If (f_a7Ig (f_a7Ih (f_a7Ii (f_a7Ij (f_a7Ik (f_a7Il (f_a7Im (f_a7In (f_a7Io (f_a7Ip (f_a7Iq (f_a7Ir (f_a7Is b))))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$$>) :: (Functor f_a4Bc, Functor f_a4Bd, Functor f_a4Be, Functor f_a4Bf, Functor f_a4Bg, Functor f_a4Bh, Functor f_a4Bi, Functor f_a4Bj, Functor f_a4Bk, Functor f_a4Bl, Functor f_a4Bm, Functor f_a4Bn, Functor f_a4Bo, Functor f_a4Bp) => (a -> b) -> f_a4Bc (f_a4Bd (f_a4Be (f_a4Bf (f_a4Bg (f_a4Bh (f_a4Bi (f_a4Bj (f_a4Bk (f_a4Bl (f_a4Bm (f_a4Bn (f_a4Bo (f_a4Bp a))))))))))))) -> f_a4Bc (f_a4Bd (f_a4Be (f_a4Bf (f_a4Bg (f_a4Bh (f_a4Bi (f_a4Bj (f_a4Bk (f_a4Bl (f_a4Bm (f_a4Bn (f_a4Bo (f_a4Bp b)))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$$>) :: forall a b f_a7I0 f_a7I1 f_a7I2 f_a7I3 f_a7I4 f_a7I5 f_a7I6 f_a7I7 f_a7I8 f_a7I9 f_a7Ia f_a7Ib f_a7Ic f_a7Id. (Functor f_a7I0, Functor f_a7I1, Functor f_a7I2, Functor f_a7I3, Functor f_a7I4, Functor f_a7I5, Functor f_a7I6, Functor f_a7I7, Functor f_a7I8, Functor f_a7I9, Functor f_a7Ia, Functor f_a7Ib, Functor f_a7Ic, Functor f_a7Id) => (a -> b) -> f_a7I0 (f_a7I1 (f_a7I2 (f_a7I3 (f_a7I4 (f_a7I5 (f_a7I6 (f_a7I7 (f_a7I8 (f_a7I9 (f_a7Ia (f_a7Ib (f_a7Ic (f_a7Id a))))))))))))) -> f_a7I0 (f_a7I1 (f_a7I2 (f_a7I3 (f_a7I4 (f_a7I5 (f_a7I6 (f_a7I7 (f_a7I8 (f_a7I9 (f_a7Ia (f_a7Ib (f_a7Ic (f_a7Id b)))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$$>) :: (Functor f_a4AZ, Functor f_a4B0, Functor f_a4B1, Functor f_a4B2, Functor f_a4B3, Functor f_a4B4, Functor f_a4B5, Functor f_a4B6, Functor f_a4B7, Functor f_a4B8, Functor f_a4B9, Functor f_a4Ba, Functor f_a4Bb) => (a -> b) -> f_a4AZ (f_a4B0 (f_a4B1 (f_a4B2 (f_a4B3 (f_a4B4 (f_a4B5 (f_a4B6 (f_a4B7 (f_a4B8 (f_a4B9 (f_a4Ba (f_a4Bb a)))))))))))) -> f_a4AZ (f_a4B0 (f_a4B1 (f_a4B2 (f_a4B3 (f_a4B4 (f_a4B5 (f_a4B6 (f_a4B7 (f_a4B8 (f_a4B9 (f_a4Ba (f_a4Bb b))))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$$>) :: forall a b f_a7HN f_a7HO f_a7HP f_a7HQ f_a7HR f_a7HS f_a7HT f_a7HU f_a7HV f_a7HW f_a7HX f_a7HY f_a7HZ. (Functor f_a7HN, Functor f_a7HO, Functor f_a7HP, Functor f_a7HQ, Functor f_a7HR, Functor f_a7HS, Functor f_a7HT, Functor f_a7HU, Functor f_a7HV, Functor f_a7HW, Functor f_a7HX, Functor f_a7HY, Functor f_a7HZ) => (a -> b) -> f_a7HN (f_a7HO (f_a7HP (f_a7HQ (f_a7HR (f_a7HS (f_a7HT (f_a7HU (f_a7HV (f_a7HW (f_a7HX (f_a7HY (f_a7HZ a)))))))))))) -> f_a7HN (f_a7HO (f_a7HP (f_a7HQ (f_a7HR (f_a7HS (f_a7HT (f_a7HU (f_a7HV (f_a7HW (f_a7HX (f_a7HY (f_a7HZ b))))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$$>) :: (Functor f_a4AN, Functor f_a4AO, Functor f_a4AP, Functor f_a4AQ, Functor f_a4AR, Functor f_a4AS, Functor f_a4AT, Functor f_a4AU, Functor f_a4AV, Functor f_a4AW, Functor f_a4AX, Functor f_a4AY) => (a -> b) -> f_a4AN (f_a4AO (f_a4AP (f_a4AQ (f_a4AR (f_a4AS (f_a4AT (f_a4AU (f_a4AV (f_a4AW (f_a4AX (f_a4AY a))))))))))) -> f_a4AN (f_a4AO (f_a4AP (f_a4AQ (f_a4AR (f_a4AS (f_a4AT (f_a4AU (f_a4AV (f_a4AW (f_a4AX (f_a4AY b)))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$$>) :: forall a b f_a7HB f_a7HC f_a7HD f_a7HE f_a7HF f_a7HG f_a7HH f_a7HI f_a7HJ f_a7HK f_a7HL f_a7HM. (Functor f_a7HB, Functor f_a7HC, Functor f_a7HD, Functor f_a7HE, Functor f_a7HF, Functor f_a7HG, Functor f_a7HH, Functor f_a7HI, Functor f_a7HJ, Functor f_a7HK, Functor f_a7HL, Functor f_a7HM) => (a -> b) -> f_a7HB (f_a7HC (f_a7HD (f_a7HE (f_a7HF (f_a7HG (f_a7HH (f_a7HI (f_a7HJ (f_a7HK (f_a7HL (f_a7HM a))))))))))) -> f_a7HB (f_a7HC (f_a7HD (f_a7HE (f_a7HF (f_a7HG (f_a7HH (f_a7HI (f_a7HJ (f_a7HK (f_a7HL (f_a7HM b)))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$$>) :: (Functor f_a4AC, Functor f_a4AD, Functor f_a4AE, Functor f_a4AF, Functor f_a4AG, Functor f_a4AH, Functor f_a4AI, Functor f_a4AJ, Functor f_a4AK, Functor f_a4AL, Functor f_a4AM) => (a -> b) -> f_a4AC (f_a4AD (f_a4AE (f_a4AF (f_a4AG (f_a4AH (f_a4AI (f_a4AJ (f_a4AK (f_a4AL (f_a4AM a)))))))))) -> f_a4AC (f_a4AD (f_a4AE (f_a4AF (f_a4AG (f_a4AH (f_a4AI (f_a4AJ (f_a4AK (f_a4AL (f_a4AM b))))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$$>) :: forall a b f_a7Hq f_a7Hr f_a7Hs f_a7Ht f_a7Hu f_a7Hv f_a7Hw f_a7Hx f_a7Hy f_a7Hz f_a7HA. (Functor f_a7Hq, Functor f_a7Hr, Functor f_a7Hs, Functor f_a7Ht, Functor f_a7Hu, Functor f_a7Hv, Functor f_a7Hw, Functor f_a7Hx, Functor f_a7Hy, Functor f_a7Hz, Functor f_a7HA) => (a -> b) -> f_a7Hq (f_a7Hr (f_a7Hs (f_a7Ht (f_a7Hu (f_a7Hv (f_a7Hw (f_a7Hx (f_a7Hy (f_a7Hz (f_a7HA a)))))))))) -> f_a7Hq (f_a7Hr (f_a7Hs (f_a7Ht (f_a7Hu (f_a7Hv (f_a7Hw (f_a7Hx (f_a7Hy (f_a7Hz (f_a7HA b))))))))))
- Data.Functor.Infix: (<$$$$$$$$$$>) :: (Functor f_a4As, Functor f_a4At, Functor f_a4Au, Functor f_a4Av, Functor f_a4Aw, Functor f_a4Ax, Functor f_a4Ay, Functor f_a4Az, Functor f_a4AA, Functor f_a4AB) => (a -> b) -> f_a4As (f_a4At (f_a4Au (f_a4Av (f_a4Aw (f_a4Ax (f_a4Ay (f_a4Az (f_a4AA (f_a4AB a))))))))) -> f_a4As (f_a4At (f_a4Au (f_a4Av (f_a4Aw (f_a4Ax (f_a4Ay (f_a4Az (f_a4AA (f_a4AB b)))))))))
+ Data.Functor.Infix: (<$$$$$$$$$$>) :: forall a b f_a7Hg f_a7Hh f_a7Hi f_a7Hj f_a7Hk f_a7Hl f_a7Hm f_a7Hn f_a7Ho f_a7Hp. (Functor f_a7Hg, Functor f_a7Hh, Functor f_a7Hi, Functor f_a7Hj, Functor f_a7Hk, Functor f_a7Hl, Functor f_a7Hm, Functor f_a7Hn, Functor f_a7Ho, Functor f_a7Hp) => (a -> b) -> f_a7Hg (f_a7Hh (f_a7Hi (f_a7Hj (f_a7Hk (f_a7Hl (f_a7Hm (f_a7Hn (f_a7Ho (f_a7Hp a))))))))) -> f_a7Hg (f_a7Hh (f_a7Hi (f_a7Hj (f_a7Hk (f_a7Hl (f_a7Hm (f_a7Hn (f_a7Ho (f_a7Hp b)))))))))
- Data.Functor.Infix: (<$$$$$$$$$>) :: (Functor f_a4Aj, Functor f_a4Ak, Functor f_a4Al, Functor f_a4Am, Functor f_a4An, Functor f_a4Ao, Functor f_a4Ap, Functor f_a4Aq, Functor f_a4Ar) => (a -> b) -> f_a4Aj (f_a4Ak (f_a4Al (f_a4Am (f_a4An (f_a4Ao (f_a4Ap (f_a4Aq (f_a4Ar a)))))))) -> f_a4Aj (f_a4Ak (f_a4Al (f_a4Am (f_a4An (f_a4Ao (f_a4Ap (f_a4Aq (f_a4Ar b))))))))
+ Data.Functor.Infix: (<$$$$$$$$$>) :: forall a b f_a7H7 f_a7H8 f_a7H9 f_a7Ha f_a7Hb f_a7Hc f_a7Hd f_a7He f_a7Hf. (Functor f_a7H7, Functor f_a7H8, Functor f_a7H9, Functor f_a7Ha, Functor f_a7Hb, Functor f_a7Hc, Functor f_a7Hd, Functor f_a7He, Functor f_a7Hf) => (a -> b) -> f_a7H7 (f_a7H8 (f_a7H9 (f_a7Ha (f_a7Hb (f_a7Hc (f_a7Hd (f_a7He (f_a7Hf a)))))))) -> f_a7H7 (f_a7H8 (f_a7H9 (f_a7Ha (f_a7Hb (f_a7Hc (f_a7Hd (f_a7He (f_a7Hf b))))))))
- Data.Functor.Infix: (<$$$$$$$$>) :: (Functor f_a4Ab, Functor f_a4Ac, Functor f_a4Ad, Functor f_a4Ae, Functor f_a4Af, Functor f_a4Ag, Functor f_a4Ah, Functor f_a4Ai) => (a -> b) -> f_a4Ab (f_a4Ac (f_a4Ad (f_a4Ae (f_a4Af (f_a4Ag (f_a4Ah (f_a4Ai a))))))) -> f_a4Ab (f_a4Ac (f_a4Ad (f_a4Ae (f_a4Af (f_a4Ag (f_a4Ah (f_a4Ai b)))))))
+ Data.Functor.Infix: (<$$$$$$$$>) :: forall a b f_a7GZ f_a7H0 f_a7H1 f_a7H2 f_a7H3 f_a7H4 f_a7H5 f_a7H6. (Functor f_a7GZ, Functor f_a7H0, Functor f_a7H1, Functor f_a7H2, Functor f_a7H3, Functor f_a7H4, Functor f_a7H5, Functor f_a7H6) => (a -> b) -> f_a7GZ (f_a7H0 (f_a7H1 (f_a7H2 (f_a7H3 (f_a7H4 (f_a7H5 (f_a7H6 a))))))) -> f_a7GZ (f_a7H0 (f_a7H1 (f_a7H2 (f_a7H3 (f_a7H4 (f_a7H5 (f_a7H6 b)))))))
- Data.Functor.Infix: (<$$$$$$$>) :: (Functor f_a4A4, Functor f_a4A5, Functor f_a4A6, Functor f_a4A7, Functor f_a4A8, Functor f_a4A9, Functor f_a4Aa) => (a -> b) -> f_a4A4 (f_a4A5 (f_a4A6 (f_a4A7 (f_a4A8 (f_a4A9 (f_a4Aa a)))))) -> f_a4A4 (f_a4A5 (f_a4A6 (f_a4A7 (f_a4A8 (f_a4A9 (f_a4Aa b))))))
+ Data.Functor.Infix: (<$$$$$$$>) :: forall a b f_a7GS f_a7GT f_a7GU f_a7GV f_a7GW f_a7GX f_a7GY. (Functor f_a7GS, Functor f_a7GT, Functor f_a7GU, Functor f_a7GV, Functor f_a7GW, Functor f_a7GX, Functor f_a7GY) => (a -> b) -> f_a7GS (f_a7GT (f_a7GU (f_a7GV (f_a7GW (f_a7GX (f_a7GY a)))))) -> f_a7GS (f_a7GT (f_a7GU (f_a7GV (f_a7GW (f_a7GX (f_a7GY b))))))
- Data.Functor.Infix: (<$$$$$$>) :: (Functor f_a4zY, Functor f_a4zZ, Functor f_a4A0, Functor f_a4A1, Functor f_a4A2, Functor f_a4A3) => (a -> b) -> f_a4zY (f_a4zZ (f_a4A0 (f_a4A1 (f_a4A2 (f_a4A3 a))))) -> f_a4zY (f_a4zZ (f_a4A0 (f_a4A1 (f_a4A2 (f_a4A3 b)))))
+ Data.Functor.Infix: (<$$$$$$>) :: forall a b f_a7GM f_a7GN f_a7GO f_a7GP f_a7GQ f_a7GR. (Functor f_a7GM, Functor f_a7GN, Functor f_a7GO, Functor f_a7GP, Functor f_a7GQ, Functor f_a7GR) => (a -> b) -> f_a7GM (f_a7GN (f_a7GO (f_a7GP (f_a7GQ (f_a7GR a))))) -> f_a7GM (f_a7GN (f_a7GO (f_a7GP (f_a7GQ (f_a7GR b)))))
- Data.Functor.Infix: (<$$$$$>) :: (Functor f_a4zT, Functor f_a4zU, Functor f_a4zV, Functor f_a4zW, Functor f_a4zX) => (a -> b) -> f_a4zT (f_a4zU (f_a4zV (f_a4zW (f_a4zX a)))) -> f_a4zT (f_a4zU (f_a4zV (f_a4zW (f_a4zX b))))
+ Data.Functor.Infix: (<$$$$$>) :: forall a b f_a7GH f_a7GI f_a7GJ f_a7GK f_a7GL. (Functor f_a7GH, Functor f_a7GI, Functor f_a7GJ, Functor f_a7GK, Functor f_a7GL) => (a -> b) -> f_a7GH (f_a7GI (f_a7GJ (f_a7GK (f_a7GL a)))) -> f_a7GH (f_a7GI (f_a7GJ (f_a7GK (f_a7GL b))))
- Data.Functor.Infix: (<$$$$>) :: (Functor f_a4zP, Functor f_a4zQ, Functor f_a4zR, Functor f_a4zS) => (a -> b) -> f_a4zP (f_a4zQ (f_a4zR (f_a4zS a))) -> f_a4zP (f_a4zQ (f_a4zR (f_a4zS b)))
+ Data.Functor.Infix: (<$$$$>) :: forall a b f_a7GD f_a7GE f_a7GF f_a7GG. (Functor f_a7GD, Functor f_a7GE, Functor f_a7GF, Functor f_a7GG) => (a -> b) -> f_a7GD (f_a7GE (f_a7GF (f_a7GG a))) -> f_a7GD (f_a7GE (f_a7GF (f_a7GG b)))
- Data.Functor.Infix: (<$$$>) :: (Functor f_a4zM, Functor f_a4zN, Functor f_a4zO) => (a -> b) -> f_a4zM (f_a4zN (f_a4zO a)) -> f_a4zM (f_a4zN (f_a4zO b))
+ Data.Functor.Infix: (<$$$>) :: forall a b f_a7GA f_a7GB f_a7GC. (Functor f_a7GA, Functor f_a7GB, Functor f_a7GC) => (a -> b) -> f_a7GA (f_a7GB (f_a7GC a)) -> f_a7GA (f_a7GB (f_a7GC b))
- Data.Functor.Infix: (<$$>) :: (Functor f_a4zK, Functor f_a4zL) => (a -> b) -> f_a4zK (f_a4zL a) -> f_a4zK (f_a4zL b)
+ Data.Functor.Infix: (<$$>) :: forall a b f_a7Gy f_a7Gz. (Functor f_a7Gy, Functor f_a7Gz) => (a -> b) -> f_a7Gy (f_a7Gz a) -> f_a7Gy (f_a7Gz b)
- Data.Functor.Infix: (<$>) :: Functor f_a4zJ => (a -> b) -> f_a4zJ a -> f_a4zJ b
+ Data.Functor.Infix: (<$>) :: forall a b f_a7Gx. Functor f_a7Gx => (a -> b) -> f_a7Gx a -> f_a7Gx b
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&&&>) :: (Functor f_a5T9, Functor f_a5Ta, Functor f_a5Tb, Functor f_a5Tc, Functor f_a5Td, Functor f_a5Te, Functor f_a5Tf, Functor f_a5Tg, Functor f_a5Th, Functor f_a5Ti, Functor f_a5Tj, Functor f_a5Tk, Functor f_a5Tl, Functor f_a5Tm, Functor f_a5Tn, Functor f_a5To, Functor f_a5Tp, Functor f_a5Tq, Functor f_a5Tr, Functor f_a5Ts) => f_a5T9 (f_a5Ta (f_a5Tb (f_a5Tc (f_a5Td (f_a5Te (f_a5Tf (f_a5Tg (f_a5Th (f_a5Ti (f_a5Tj (f_a5Tk (f_a5Tl (f_a5Tm (f_a5Tn (f_a5To (f_a5Tp (f_a5Tq (f_a5Tr (f_a5Ts a))))))))))))))))))) -> (a -> b) -> f_a5T9 (f_a5Ta (f_a5Tb (f_a5Tc (f_a5Td (f_a5Te (f_a5Tf (f_a5Tg (f_a5Th (f_a5Ti (f_a5Tj (f_a5Tk (f_a5Tl (f_a5Tm (f_a5Tn (f_a5To (f_a5Tp (f_a5Tq (f_a5Tr (f_a5Ts b)))))))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&&&>) :: forall a b f_a8Lm f_a8Ln f_a8Lo f_a8Lp f_a8Lq f_a8Lr f_a8Ls f_a8Lt f_a8Lu f_a8Lv f_a8Lw f_a8Lx f_a8Ly f_a8Lz f_a8LA f_a8LB f_a8LC f_a8LD f_a8LE f_a8LF. (Functor f_a8Lm, Functor f_a8Ln, Functor f_a8Lo, Functor f_a8Lp, Functor f_a8Lq, Functor f_a8Lr, Functor f_a8Ls, Functor f_a8Lt, Functor f_a8Lu, Functor f_a8Lv, Functor f_a8Lw, Functor f_a8Lx, Functor f_a8Ly, Functor f_a8Lz, Functor f_a8LA, Functor f_a8LB, Functor f_a8LC, Functor f_a8LD, Functor f_a8LE, Functor f_a8LF) => f_a8Lm (f_a8Ln (f_a8Lo (f_a8Lp (f_a8Lq (f_a8Lr (f_a8Ls (f_a8Lt (f_a8Lu (f_a8Lv (f_a8Lw (f_a8Lx (f_a8Ly (f_a8Lz (f_a8LA (f_a8LB (f_a8LC (f_a8LD (f_a8LE (f_a8LF a))))))))))))))))))) -> (a -> b) -> f_a8Lm (f_a8Ln (f_a8Lo (f_a8Lp (f_a8Lq (f_a8Lr (f_a8Ls (f_a8Lt (f_a8Lu (f_a8Lv (f_a8Lw (f_a8Lx (f_a8Ly (f_a8Lz (f_a8LA (f_a8LB (f_a8LC (f_a8LD (f_a8LE (f_a8LF b)))))))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&&>) :: (Functor f_a5SQ, Functor f_a5SR, Functor f_a5SS, Functor f_a5ST, Functor f_a5SU, Functor f_a5SV, Functor f_a5SW, Functor f_a5SX, Functor f_a5SY, Functor f_a5SZ, Functor f_a5T0, Functor f_a5T1, Functor f_a5T2, Functor f_a5T3, Functor f_a5T4, Functor f_a5T5, Functor f_a5T6, Functor f_a5T7, Functor f_a5T8) => f_a5SQ (f_a5SR (f_a5SS (f_a5ST (f_a5SU (f_a5SV (f_a5SW (f_a5SX (f_a5SY (f_a5SZ (f_a5T0 (f_a5T1 (f_a5T2 (f_a5T3 (f_a5T4 (f_a5T5 (f_a5T6 (f_a5T7 (f_a5T8 a)))))))))))))))))) -> (a -> b) -> f_a5SQ (f_a5SR (f_a5SS (f_a5ST (f_a5SU (f_a5SV (f_a5SW (f_a5SX (f_a5SY (f_a5SZ (f_a5T0 (f_a5T1 (f_a5T2 (f_a5T3 (f_a5T4 (f_a5T5 (f_a5T6 (f_a5T7 (f_a5T8 b))))))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&&>) :: forall a b f_a8L3 f_a8L4 f_a8L5 f_a8L6 f_a8L7 f_a8L8 f_a8L9 f_a8La f_a8Lb f_a8Lc f_a8Ld f_a8Le f_a8Lf f_a8Lg f_a8Lh f_a8Li f_a8Lj f_a8Lk f_a8Ll. (Functor f_a8L3, Functor f_a8L4, Functor f_a8L5, Functor f_a8L6, Functor f_a8L7, Functor f_a8L8, Functor f_a8L9, Functor f_a8La, Functor f_a8Lb, Functor f_a8Lc, Functor f_a8Ld, Functor f_a8Le, Functor f_a8Lf, Functor f_a8Lg, Functor f_a8Lh, Functor f_a8Li, Functor f_a8Lj, Functor f_a8Lk, Functor f_a8Ll) => f_a8L3 (f_a8L4 (f_a8L5 (f_a8L6 (f_a8L7 (f_a8L8 (f_a8L9 (f_a8La (f_a8Lb (f_a8Lc (f_a8Ld (f_a8Le (f_a8Lf (f_a8Lg (f_a8Lh (f_a8Li (f_a8Lj (f_a8Lk (f_a8Ll a)))))))))))))))))) -> (a -> b) -> f_a8L3 (f_a8L4 (f_a8L5 (f_a8L6 (f_a8L7 (f_a8L8 (f_a8L9 (f_a8La (f_a8Lb (f_a8Lc (f_a8Ld (f_a8Le (f_a8Lf (f_a8Lg (f_a8Lh (f_a8Li (f_a8Lj (f_a8Lk (f_a8Ll b))))))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&>) :: (Functor f_a5Sy, Functor f_a5Sz, Functor f_a5SA, Functor f_a5SB, Functor f_a5SC, Functor f_a5SD, Functor f_a5SE, Functor f_a5SF, Functor f_a5SG, Functor f_a5SH, Functor f_a5SI, Functor f_a5SJ, Functor f_a5SK, Functor f_a5SL, Functor f_a5SM, Functor f_a5SN, Functor f_a5SO, Functor f_a5SP) => f_a5Sy (f_a5Sz (f_a5SA (f_a5SB (f_a5SC (f_a5SD (f_a5SE (f_a5SF (f_a5SG (f_a5SH (f_a5SI (f_a5SJ (f_a5SK (f_a5SL (f_a5SM (f_a5SN (f_a5SO (f_a5SP a))))))))))))))))) -> (a -> b) -> f_a5Sy (f_a5Sz (f_a5SA (f_a5SB (f_a5SC (f_a5SD (f_a5SE (f_a5SF (f_a5SG (f_a5SH (f_a5SI (f_a5SJ (f_a5SK (f_a5SL (f_a5SM (f_a5SN (f_a5SO (f_a5SP b)))))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&&>) :: forall a b f_a8KL f_a8KM f_a8KN f_a8KO f_a8KP f_a8KQ f_a8KR f_a8KS f_a8KT f_a8KU f_a8KV f_a8KW f_a8KX f_a8KY f_a8KZ f_a8L0 f_a8L1 f_a8L2. (Functor f_a8KL, Functor f_a8KM, Functor f_a8KN, Functor f_a8KO, Functor f_a8KP, Functor f_a8KQ, Functor f_a8KR, Functor f_a8KS, Functor f_a8KT, Functor f_a8KU, Functor f_a8KV, Functor f_a8KW, Functor f_a8KX, Functor f_a8KY, Functor f_a8KZ, Functor f_a8L0, Functor f_a8L1, Functor f_a8L2) => f_a8KL (f_a8KM (f_a8KN (f_a8KO (f_a8KP (f_a8KQ (f_a8KR (f_a8KS (f_a8KT (f_a8KU (f_a8KV (f_a8KW (f_a8KX (f_a8KY (f_a8KZ (f_a8L0 (f_a8L1 (f_a8L2 a))))))))))))))))) -> (a -> b) -> f_a8KL (f_a8KM (f_a8KN (f_a8KO (f_a8KP (f_a8KQ (f_a8KR (f_a8KS (f_a8KT (f_a8KU (f_a8KV (f_a8KW (f_a8KX (f_a8KY (f_a8KZ (f_a8L0 (f_a8L1 (f_a8L2 b)))))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&>) :: (Functor f_a5Sh, Functor f_a5Si, Functor f_a5Sj, Functor f_a5Sk, Functor f_a5Sl, Functor f_a5Sm, Functor f_a5Sn, Functor f_a5So, Functor f_a5Sp, Functor f_a5Sq, Functor f_a5Sr, Functor f_a5Ss, Functor f_a5St, Functor f_a5Su, Functor f_a5Sv, Functor f_a5Sw, Functor f_a5Sx) => f_a5Sh (f_a5Si (f_a5Sj (f_a5Sk (f_a5Sl (f_a5Sm (f_a5Sn (f_a5So (f_a5Sp (f_a5Sq (f_a5Sr (f_a5Ss (f_a5St (f_a5Su (f_a5Sv (f_a5Sw (f_a5Sx a)))))))))))))))) -> (a -> b) -> f_a5Sh (f_a5Si (f_a5Sj (f_a5Sk (f_a5Sl (f_a5Sm (f_a5Sn (f_a5So (f_a5Sp (f_a5Sq (f_a5Sr (f_a5Ss (f_a5St (f_a5Su (f_a5Sv (f_a5Sw (f_a5Sx b))))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&&&>) :: forall a b f_a8Ku f_a8Kv f_a8Kw f_a8Kx f_a8Ky f_a8Kz f_a8KA f_a8KB f_a8KC f_a8KD f_a8KE f_a8KF f_a8KG f_a8KH f_a8KI f_a8KJ f_a8KK. (Functor f_a8Ku, Functor f_a8Kv, Functor f_a8Kw, Functor f_a8Kx, Functor f_a8Ky, Functor f_a8Kz, Functor f_a8KA, Functor f_a8KB, Functor f_a8KC, Functor f_a8KD, Functor f_a8KE, Functor f_a8KF, Functor f_a8KG, Functor f_a8KH, Functor f_a8KI, Functor f_a8KJ, Functor f_a8KK) => f_a8Ku (f_a8Kv (f_a8Kw (f_a8Kx (f_a8Ky (f_a8Kz (f_a8KA (f_a8KB (f_a8KC (f_a8KD (f_a8KE (f_a8KF (f_a8KG (f_a8KH (f_a8KI (f_a8KJ (f_a8KK a)))))))))))))))) -> (a -> b) -> f_a8Ku (f_a8Kv (f_a8Kw (f_a8Kx (f_a8Ky (f_a8Kz (f_a8KA (f_a8KB (f_a8KC (f_a8KD (f_a8KE (f_a8KF (f_a8KG (f_a8KH (f_a8KI (f_a8KJ (f_a8KK b))))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&&>) :: (Functor f_a5S1, Functor f_a5S2, Functor f_a5S3, Functor f_a5S4, Functor f_a5S5, Functor f_a5S6, Functor f_a5S7, Functor f_a5S8, Functor f_a5S9, Functor f_a5Sa, Functor f_a5Sb, Functor f_a5Sc, Functor f_a5Sd, Functor f_a5Se, Functor f_a5Sf, Functor f_a5Sg) => f_a5S1 (f_a5S2 (f_a5S3 (f_a5S4 (f_a5S5 (f_a5S6 (f_a5S7 (f_a5S8 (f_a5S9 (f_a5Sa (f_a5Sb (f_a5Sc (f_a5Sd (f_a5Se (f_a5Sf (f_a5Sg a))))))))))))))) -> (a -> b) -> f_a5S1 (f_a5S2 (f_a5S3 (f_a5S4 (f_a5S5 (f_a5S6 (f_a5S7 (f_a5S8 (f_a5S9 (f_a5Sa (f_a5Sb (f_a5Sc (f_a5Sd (f_a5Se (f_a5Sf (f_a5Sg b)))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&&>) :: forall a b f_a8Ke f_a8Kf f_a8Kg f_a8Kh f_a8Ki f_a8Kj f_a8Kk f_a8Kl f_a8Km f_a8Kn f_a8Ko f_a8Kp f_a8Kq f_a8Kr f_a8Ks f_a8Kt. (Functor f_a8Ke, Functor f_a8Kf, Functor f_a8Kg, Functor f_a8Kh, Functor f_a8Ki, Functor f_a8Kj, Functor f_a8Kk, Functor f_a8Kl, Functor f_a8Km, Functor f_a8Kn, Functor f_a8Ko, Functor f_a8Kp, Functor f_a8Kq, Functor f_a8Kr, Functor f_a8Ks, Functor f_a8Kt) => f_a8Ke (f_a8Kf (f_a8Kg (f_a8Kh (f_a8Ki (f_a8Kj (f_a8Kk (f_a8Kl (f_a8Km (f_a8Kn (f_a8Ko (f_a8Kp (f_a8Kq (f_a8Kr (f_a8Ks (f_a8Kt a))))))))))))))) -> (a -> b) -> f_a8Ke (f_a8Kf (f_a8Kg (f_a8Kh (f_a8Ki (f_a8Kj (f_a8Kk (f_a8Kl (f_a8Km (f_a8Kn (f_a8Ko (f_a8Kp (f_a8Kq (f_a8Kr (f_a8Ks (f_a8Kt b)))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&&>) :: (Functor f_a5RM, Functor f_a5RN, Functor f_a5RO, Functor f_a5RP, Functor f_a5RQ, Functor f_a5RR, Functor f_a5RS, Functor f_a5RT, Functor f_a5RU, Functor f_a5RV, Functor f_a5RW, Functor f_a5RX, Functor f_a5RY, Functor f_a5RZ, Functor f_a5S0) => f_a5RM (f_a5RN (f_a5RO (f_a5RP (f_a5RQ (f_a5RR (f_a5RS (f_a5RT (f_a5RU (f_a5RV (f_a5RW (f_a5RX (f_a5RY (f_a5RZ (f_a5S0 a)))))))))))))) -> (a -> b) -> f_a5RM (f_a5RN (f_a5RO (f_a5RP (f_a5RQ (f_a5RR (f_a5RS (f_a5RT (f_a5RU (f_a5RV (f_a5RW (f_a5RX (f_a5RY (f_a5RZ (f_a5S0 b))))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&&>) :: forall a b f_a8JZ f_a8K0 f_a8K1 f_a8K2 f_a8K3 f_a8K4 f_a8K5 f_a8K6 f_a8K7 f_a8K8 f_a8K9 f_a8Ka f_a8Kb f_a8Kc f_a8Kd. (Functor f_a8JZ, Functor f_a8K0, Functor f_a8K1, Functor f_a8K2, Functor f_a8K3, Functor f_a8K4, Functor f_a8K5, Functor f_a8K6, Functor f_a8K7, Functor f_a8K8, Functor f_a8K9, Functor f_a8Ka, Functor f_a8Kb, Functor f_a8Kc, Functor f_a8Kd) => f_a8JZ (f_a8K0 (f_a8K1 (f_a8K2 (f_a8K3 (f_a8K4 (f_a8K5 (f_a8K6 (f_a8K7 (f_a8K8 (f_a8K9 (f_a8Ka (f_a8Kb (f_a8Kc (f_a8Kd a)))))))))))))) -> (a -> b) -> f_a8JZ (f_a8K0 (f_a8K1 (f_a8K2 (f_a8K3 (f_a8K4 (f_a8K5 (f_a8K6 (f_a8K7 (f_a8K8 (f_a8K9 (f_a8Ka (f_a8Kb (f_a8Kc (f_a8Kd b))))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&&>) :: (Functor f_a5Ry, Functor f_a5Rz, Functor f_a5RA, Functor f_a5RB, Functor f_a5RC, Functor f_a5RD, Functor f_a5RE, Functor f_a5RF, Functor f_a5RG, Functor f_a5RH, Functor f_a5RI, Functor f_a5RJ, Functor f_a5RK, Functor f_a5RL) => f_a5Ry (f_a5Rz (f_a5RA (f_a5RB (f_a5RC (f_a5RD (f_a5RE (f_a5RF (f_a5RG (f_a5RH (f_a5RI (f_a5RJ (f_a5RK (f_a5RL a))))))))))))) -> (a -> b) -> f_a5Ry (f_a5Rz (f_a5RA (f_a5RB (f_a5RC (f_a5RD (f_a5RE (f_a5RF (f_a5RG (f_a5RH (f_a5RI (f_a5RJ (f_a5RK (f_a5RL b)))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&&>) :: forall a b f_a8JL f_a8JM f_a8JN f_a8JO f_a8JP f_a8JQ f_a8JR f_a8JS f_a8JT f_a8JU f_a8JV f_a8JW f_a8JX f_a8JY. (Functor f_a8JL, Functor f_a8JM, Functor f_a8JN, Functor f_a8JO, Functor f_a8JP, Functor f_a8JQ, Functor f_a8JR, Functor f_a8JS, Functor f_a8JT, Functor f_a8JU, Functor f_a8JV, Functor f_a8JW, Functor f_a8JX, Functor f_a8JY) => f_a8JL (f_a8JM (f_a8JN (f_a8JO (f_a8JP (f_a8JQ (f_a8JR (f_a8JS (f_a8JT (f_a8JU (f_a8JV (f_a8JW (f_a8JX (f_a8JY a))))))))))))) -> (a -> b) -> f_a8JL (f_a8JM (f_a8JN (f_a8JO (f_a8JP (f_a8JQ (f_a8JR (f_a8JS (f_a8JT (f_a8JU (f_a8JV (f_a8JW (f_a8JX (f_a8JY b)))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&&>) :: (Functor f_a5Rl, Functor f_a5Rm, Functor f_a5Rn, Functor f_a5Ro, Functor f_a5Rp, Functor f_a5Rq, Functor f_a5Rr, Functor f_a5Rs, Functor f_a5Rt, Functor f_a5Ru, Functor f_a5Rv, Functor f_a5Rw, Functor f_a5Rx) => f_a5Rl (f_a5Rm (f_a5Rn (f_a5Ro (f_a5Rp (f_a5Rq (f_a5Rr (f_a5Rs (f_a5Rt (f_a5Ru (f_a5Rv (f_a5Rw (f_a5Rx a)))))))))))) -> (a -> b) -> f_a5Rl (f_a5Rm (f_a5Rn (f_a5Ro (f_a5Rp (f_a5Rq (f_a5Rr (f_a5Rs (f_a5Rt (f_a5Ru (f_a5Rv (f_a5Rw (f_a5Rx b))))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&&>) :: forall a b f_a8Jy f_a8Jz f_a8JA f_a8JB f_a8JC f_a8JD f_a8JE f_a8JF f_a8JG f_a8JH f_a8JI f_a8JJ f_a8JK. (Functor f_a8Jy, Functor f_a8Jz, Functor f_a8JA, Functor f_a8JB, Functor f_a8JC, Functor f_a8JD, Functor f_a8JE, Functor f_a8JF, Functor f_a8JG, Functor f_a8JH, Functor f_a8JI, Functor f_a8JJ, Functor f_a8JK) => f_a8Jy (f_a8Jz (f_a8JA (f_a8JB (f_a8JC (f_a8JD (f_a8JE (f_a8JF (f_a8JG (f_a8JH (f_a8JI (f_a8JJ (f_a8JK a)))))))))))) -> (a -> b) -> f_a8Jy (f_a8Jz (f_a8JA (f_a8JB (f_a8JC (f_a8JD (f_a8JE (f_a8JF (f_a8JG (f_a8JH (f_a8JI (f_a8JJ (f_a8JK b))))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&&>) :: (Functor f_a5R9, Functor f_a5Ra, Functor f_a5Rb, Functor f_a5Rc, Functor f_a5Rd, Functor f_a5Re, Functor f_a5Rf, Functor f_a5Rg, Functor f_a5Rh, Functor f_a5Ri, Functor f_a5Rj, Functor f_a5Rk) => f_a5R9 (f_a5Ra (f_a5Rb (f_a5Rc (f_a5Rd (f_a5Re (f_a5Rf (f_a5Rg (f_a5Rh (f_a5Ri (f_a5Rj (f_a5Rk a))))))))))) -> (a -> b) -> f_a5R9 (f_a5Ra (f_a5Rb (f_a5Rc (f_a5Rd (f_a5Re (f_a5Rf (f_a5Rg (f_a5Rh (f_a5Ri (f_a5Rj (f_a5Rk b)))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&&>) :: forall a b f_a8Jm f_a8Jn f_a8Jo f_a8Jp f_a8Jq f_a8Jr f_a8Js f_a8Jt f_a8Ju f_a8Jv f_a8Jw f_a8Jx. (Functor f_a8Jm, Functor f_a8Jn, Functor f_a8Jo, Functor f_a8Jp, Functor f_a8Jq, Functor f_a8Jr, Functor f_a8Js, Functor f_a8Jt, Functor f_a8Ju, Functor f_a8Jv, Functor f_a8Jw, Functor f_a8Jx) => f_a8Jm (f_a8Jn (f_a8Jo (f_a8Jp (f_a8Jq (f_a8Jr (f_a8Js (f_a8Jt (f_a8Ju (f_a8Jv (f_a8Jw (f_a8Jx a))))))))))) -> (a -> b) -> f_a8Jm (f_a8Jn (f_a8Jo (f_a8Jp (f_a8Jq (f_a8Jr (f_a8Js (f_a8Jt (f_a8Ju (f_a8Jv (f_a8Jw (f_a8Jx b)))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&&>) :: (Functor f_a5QY, Functor f_a5QZ, Functor f_a5R0, Functor f_a5R1, Functor f_a5R2, Functor f_a5R3, Functor f_a5R4, Functor f_a5R5, Functor f_a5R6, Functor f_a5R7, Functor f_a5R8) => f_a5QY (f_a5QZ (f_a5R0 (f_a5R1 (f_a5R2 (f_a5R3 (f_a5R4 (f_a5R5 (f_a5R6 (f_a5R7 (f_a5R8 a)))))))))) -> (a -> b) -> f_a5QY (f_a5QZ (f_a5R0 (f_a5R1 (f_a5R2 (f_a5R3 (f_a5R4 (f_a5R5 (f_a5R6 (f_a5R7 (f_a5R8 b))))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&&>) :: forall a b f_a8Jb f_a8Jc f_a8Jd f_a8Je f_a8Jf f_a8Jg f_a8Jh f_a8Ji f_a8Jj f_a8Jk f_a8Jl. (Functor f_a8Jb, Functor f_a8Jc, Functor f_a8Jd, Functor f_a8Je, Functor f_a8Jf, Functor f_a8Jg, Functor f_a8Jh, Functor f_a8Ji, Functor f_a8Jj, Functor f_a8Jk, Functor f_a8Jl) => f_a8Jb (f_a8Jc (f_a8Jd (f_a8Je (f_a8Jf (f_a8Jg (f_a8Jh (f_a8Ji (f_a8Jj (f_a8Jk (f_a8Jl a)))))))))) -> (a -> b) -> f_a8Jb (f_a8Jc (f_a8Jd (f_a8Je (f_a8Jf (f_a8Jg (f_a8Jh (f_a8Ji (f_a8Jj (f_a8Jk (f_a8Jl b))))))))))
- Data.Functor.Infix: (<&&&&&&&&&&>) :: (Functor f_a5QO, Functor f_a5QP, Functor f_a5QQ, Functor f_a5QR, Functor f_a5QS, Functor f_a5QT, Functor f_a5QU, Functor f_a5QV, Functor f_a5QW, Functor f_a5QX) => f_a5QO (f_a5QP (f_a5QQ (f_a5QR (f_a5QS (f_a5QT (f_a5QU (f_a5QV (f_a5QW (f_a5QX a))))))))) -> (a -> b) -> f_a5QO (f_a5QP (f_a5QQ (f_a5QR (f_a5QS (f_a5QT (f_a5QU (f_a5QV (f_a5QW (f_a5QX b)))))))))
+ Data.Functor.Infix: (<&&&&&&&&&&>) :: forall a b f_a8J1 f_a8J2 f_a8J3 f_a8J4 f_a8J5 f_a8J6 f_a8J7 f_a8J8 f_a8J9 f_a8Ja. (Functor f_a8J1, Functor f_a8J2, Functor f_a8J3, Functor f_a8J4, Functor f_a8J5, Functor f_a8J6, Functor f_a8J7, Functor f_a8J8, Functor f_a8J9, Functor f_a8Ja) => f_a8J1 (f_a8J2 (f_a8J3 (f_a8J4 (f_a8J5 (f_a8J6 (f_a8J7 (f_a8J8 (f_a8J9 (f_a8Ja a))))))))) -> (a -> b) -> f_a8J1 (f_a8J2 (f_a8J3 (f_a8J4 (f_a8J5 (f_a8J6 (f_a8J7 (f_a8J8 (f_a8J9 (f_a8Ja b)))))))))
- Data.Functor.Infix: (<&&&&&&&&&>) :: (Functor f_a5QF, Functor f_a5QG, Functor f_a5QH, Functor f_a5QI, Functor f_a5QJ, Functor f_a5QK, Functor f_a5QL, Functor f_a5QM, Functor f_a5QN) => f_a5QF (f_a5QG (f_a5QH (f_a5QI (f_a5QJ (f_a5QK (f_a5QL (f_a5QM (f_a5QN a)))))))) -> (a -> b) -> f_a5QF (f_a5QG (f_a5QH (f_a5QI (f_a5QJ (f_a5QK (f_a5QL (f_a5QM (f_a5QN b))))))))
+ Data.Functor.Infix: (<&&&&&&&&&>) :: forall a b f_a8IS f_a8IT f_a8IU f_a8IV f_a8IW f_a8IX f_a8IY f_a8IZ f_a8J0. (Functor f_a8IS, Functor f_a8IT, Functor f_a8IU, Functor f_a8IV, Functor f_a8IW, Functor f_a8IX, Functor f_a8IY, Functor f_a8IZ, Functor f_a8J0) => f_a8IS (f_a8IT (f_a8IU (f_a8IV (f_a8IW (f_a8IX (f_a8IY (f_a8IZ (f_a8J0 a)))))))) -> (a -> b) -> f_a8IS (f_a8IT (f_a8IU (f_a8IV (f_a8IW (f_a8IX (f_a8IY (f_a8IZ (f_a8J0 b))))))))
- Data.Functor.Infix: (<&&&&&&&&>) :: (Functor f_a5Qx, Functor f_a5Qy, Functor f_a5Qz, Functor f_a5QA, Functor f_a5QB, Functor f_a5QC, Functor f_a5QD, Functor f_a5QE) => f_a5Qx (f_a5Qy (f_a5Qz (f_a5QA (f_a5QB (f_a5QC (f_a5QD (f_a5QE a))))))) -> (a -> b) -> f_a5Qx (f_a5Qy (f_a5Qz (f_a5QA (f_a5QB (f_a5QC (f_a5QD (f_a5QE b)))))))
+ Data.Functor.Infix: (<&&&&&&&&>) :: forall a b f_a8IK f_a8IL f_a8IM f_a8IN f_a8IO f_a8IP f_a8IQ f_a8IR. (Functor f_a8IK, Functor f_a8IL, Functor f_a8IM, Functor f_a8IN, Functor f_a8IO, Functor f_a8IP, Functor f_a8IQ, Functor f_a8IR) => f_a8IK (f_a8IL (f_a8IM (f_a8IN (f_a8IO (f_a8IP (f_a8IQ (f_a8IR a))))))) -> (a -> b) -> f_a8IK (f_a8IL (f_a8IM (f_a8IN (f_a8IO (f_a8IP (f_a8IQ (f_a8IR b)))))))
- Data.Functor.Infix: (<&&&&&&&>) :: (Functor f_a5Qq, Functor f_a5Qr, Functor f_a5Qs, Functor f_a5Qt, Functor f_a5Qu, Functor f_a5Qv, Functor f_a5Qw) => f_a5Qq (f_a5Qr (f_a5Qs (f_a5Qt (f_a5Qu (f_a5Qv (f_a5Qw a)))))) -> (a -> b) -> f_a5Qq (f_a5Qr (f_a5Qs (f_a5Qt (f_a5Qu (f_a5Qv (f_a5Qw b))))))
+ Data.Functor.Infix: (<&&&&&&&>) :: forall a b f_a8ID f_a8IE f_a8IF f_a8IG f_a8IH f_a8II f_a8IJ. (Functor f_a8ID, Functor f_a8IE, Functor f_a8IF, Functor f_a8IG, Functor f_a8IH, Functor f_a8II, Functor f_a8IJ) => f_a8ID (f_a8IE (f_a8IF (f_a8IG (f_a8IH (f_a8II (f_a8IJ a)))))) -> (a -> b) -> f_a8ID (f_a8IE (f_a8IF (f_a8IG (f_a8IH (f_a8II (f_a8IJ b))))))
- Data.Functor.Infix: (<&&&&&&>) :: (Functor f_a5Qk, Functor f_a5Ql, Functor f_a5Qm, Functor f_a5Qn, Functor f_a5Qo, Functor f_a5Qp) => f_a5Qk (f_a5Ql (f_a5Qm (f_a5Qn (f_a5Qo (f_a5Qp a))))) -> (a -> b) -> f_a5Qk (f_a5Ql (f_a5Qm (f_a5Qn (f_a5Qo (f_a5Qp b)))))
+ Data.Functor.Infix: (<&&&&&&>) :: forall a b f_a8Ix f_a8Iy f_a8Iz f_a8IA f_a8IB f_a8IC. (Functor f_a8Ix, Functor f_a8Iy, Functor f_a8Iz, Functor f_a8IA, Functor f_a8IB, Functor f_a8IC) => f_a8Ix (f_a8Iy (f_a8Iz (f_a8IA (f_a8IB (f_a8IC a))))) -> (a -> b) -> f_a8Ix (f_a8Iy (f_a8Iz (f_a8IA (f_a8IB (f_a8IC b)))))
- Data.Functor.Infix: (<&&&&&>) :: (Functor f_a5Qf, Functor f_a5Qg, Functor f_a5Qh, Functor f_a5Qi, Functor f_a5Qj) => f_a5Qf (f_a5Qg (f_a5Qh (f_a5Qi (f_a5Qj a)))) -> (a -> b) -> f_a5Qf (f_a5Qg (f_a5Qh (f_a5Qi (f_a5Qj b))))
+ Data.Functor.Infix: (<&&&&&>) :: forall a b f_a8Is f_a8It f_a8Iu f_a8Iv f_a8Iw. (Functor f_a8Is, Functor f_a8It, Functor f_a8Iu, Functor f_a8Iv, Functor f_a8Iw) => f_a8Is (f_a8It (f_a8Iu (f_a8Iv (f_a8Iw a)))) -> (a -> b) -> f_a8Is (f_a8It (f_a8Iu (f_a8Iv (f_a8Iw b))))
- Data.Functor.Infix: (<&&&&>) :: (Functor f_a5Qb, Functor f_a5Qc, Functor f_a5Qd, Functor f_a5Qe) => f_a5Qb (f_a5Qc (f_a5Qd (f_a5Qe a))) -> (a -> b) -> f_a5Qb (f_a5Qc (f_a5Qd (f_a5Qe b)))
+ Data.Functor.Infix: (<&&&&>) :: forall a b f_a8Io f_a8Ip f_a8Iq f_a8Ir. (Functor f_a8Io, Functor f_a8Ip, Functor f_a8Iq, Functor f_a8Ir) => f_a8Io (f_a8Ip (f_a8Iq (f_a8Ir a))) -> (a -> b) -> f_a8Io (f_a8Ip (f_a8Iq (f_a8Ir b)))
- Data.Functor.Infix: (<&&&>) :: (Functor f_a5Q8, Functor f_a5Q9, Functor f_a5Qa) => f_a5Q8 (f_a5Q9 (f_a5Qa a)) -> (a -> b) -> f_a5Q8 (f_a5Q9 (f_a5Qa b))
+ Data.Functor.Infix: (<&&&>) :: forall a b f_a8Il f_a8Im f_a8In. (Functor f_a8Il, Functor f_a8Im, Functor f_a8In) => f_a8Il (f_a8Im (f_a8In a)) -> (a -> b) -> f_a8Il (f_a8Im (f_a8In b))
- Data.Functor.Infix: (<&&>) :: (Functor f_a5Q6, Functor f_a5Q7) => f_a5Q6 (f_a5Q7 a) -> (a -> b) -> f_a5Q6 (f_a5Q7 b)
+ Data.Functor.Infix: (<&&>) :: forall a b f_a8Ij f_a8Ik. (Functor f_a8Ij, Functor f_a8Ik) => f_a8Ij (f_a8Ik a) -> (a -> b) -> f_a8Ij (f_a8Ik b)
- Data.Functor.Infix: (<&>) :: Functor f_a5Q5 => f_a5Q5 a -> (a -> b) -> f_a5Q5 b
+ Data.Functor.Infix: (<&>) :: forall a b f_a8Ii. Functor f_a8Ii => f_a8Ii a -> (a -> b) -> f_a8Ii b
Files
- functor-infix.cabal +3/−3
functor-infix.cabal view
@@ -1,7 +1,7 @@ name: functor-infix version:- 0.0.3+ 0.0.4 synopsis: Infix operators for mapping over compositions of functors. Lots of them. homepage:@@ -28,8 +28,8 @@ Data.Functor.Infix.Definitions, Data.Functor.Infix.TH build-depends:- base >= 4.7 && < 4.9,- template-haskell >= 2.8 && < 2.11+ base >= 4.7 && < 4.10,+ template-haskell >= 2.8 && < 2.12 hs-source-dirs: src default-language: