-[a_taYe, b_taYf, c_taYg]
-[d.Ord_a12F, d.Ord_a12H, d.Ord_a12I, d.Eq_a12J]
-[([a_taYe, b_taYf, c_taYg], Print002.$dOrdFoo0{-r13E-}, d.Ord_aYb)]
- compare_a13q = compare_aZC
- compare_a13p = compare_aZC
- compare_a13o = compare_aZC
- compare_a13n = compare_aZC
- compare_a13m = compare_aZC
- compare_a13l = compare_aZC
- d.Ord_a12D = d.Ord_a12I
- d.Ord_a12C = d.Ord_a12H
- d.Ord_a12E = d.Ord_a12F
- d.Eq_a12G = d.Eq_a12J
- AbsBinds [] [] [([], min_aYd, min_a13X)]
- min_a13X a_rPs b_rPt
- = case compare_a13q a_rPs b_rPt of
- PrelBase.LT{-rbj-} -> a_rPs
- PrelBase.EQ{-r4K-} -> b_rPt
- PrelBase.GT{-rbk-} -> b_rPt
- AbsBinds [] [] [([], max_aYu, max_a13Y)]
- max_a13Y a_rPm b_rPn
- = case compare_a13p a_rPm b_rPn of
- PrelBase.LT{-rbj-} -> b_rPn
- PrelBase.EQ{-r4K-} -> a_rPm
- PrelBase.GT{-rbk-} -> a_rPm
- AbsBinds [] [] [([], >_aYI, >_a13Z)]
- >_a13Z a_rPg b_rPh
- = case compare_a13o a_rPg b_rPh of
- PrelBase.LT{-rbj-} -> PrelBase.False{-58-}
- PrelBase.EQ{-r4K-} -> PrelBase.False{-58-}
- PrelBase.GT{-rbk-} -> PrelBase.True{-5D-}
- AbsBinds [] [] [([], >=_aYW, >=_a140)]
- >=_a140 a_rPa b_rPb
- = case compare_a13n a_rPa b_rPb of
- PrelBase.LT{-rbj-} -> PrelBase.False{-58-}
- PrelBase.EQ{-r4K-} -> PrelBase.True{-5D-}
- PrelBase.GT{-rbk-} -> PrelBase.True{-5D-}
- AbsBinds [] [] [([], <=_aZa, <=_a141)]
- <=_a141 a_rP4 b_rP5
- = case compare_a13m a_rP4 b_rP5 of
- PrelBase.LT{-rbj-} -> PrelBase.True{-5D-}
- PrelBase.EQ{-r4K-} -> PrelBase.True{-5D-}
- PrelBase.GT{-rbk-} -> PrelBase.False{-58-}
- AbsBinds [] [] [([], <_aZo, <_a142)]
- <_a142 a_rOY b_rOZ
- = case compare_a13l a_rOY b_rOZ of
- PrelBase.LT{-rbj-} -> PrelBase.True{-5D-}
- PrelBase.EQ{-r4K-} -> PrelBase.False{-58-}
- PrelBase.GT{-rbk-} -> PrelBase.False{-58-}
- AbsBinds [] [] [([], compare_aZC, compare_a143)]
- compare_a143 a_rPy b_rPz
- = case con2tag_Foo#_rOp [c_taYg, a_taYe, b_taYf] a_rPy of
- a#_rQm
- -> case con2tag_Foo#_rOp [c_taYg, a_taYe, b_taYf] b_rPz of
- b#_rQo
- -> if a#_rQm PrelGHC.==#{-79-} b#_rQo then
- case cmp_eq_a144 a_rPy b_rPz of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- else
- if a#_rQm PrelGHC.<#{-7b-} b#_rQo then
- PrelBase.LT{-rbj-}
- else
- PrelBase.GT{-rbk-}
- where
- {- rec -}
- AbsBinds
- [a11D, a11G, a11H]
- [d.Ord_a125, d.Ord_a122, d.Ord_a11Z]
- [([a11D, a11G, a11H], cmp_eq_rPB, cmp_eq_a145)]
- compare_a13x = PrelBase.compare{-rh8-} a11H d.Ord_a125
- compare_a13y = compare_a13x
- compare_a13w = compare_a13x
- compare_a13v = PrelBase.compare{-rh8-} a11G d.Ord_a11Z
- compare_a13u = compare_a13v
- compare_a13s = PrelBase.compare{-rh8-} a11D d.Ord_a122
- compare_a13t = compare_a13s
- compare_a13r = compare_a13s
- cmp_eq_a145 (Print002.MkFoo1{-ro-} a1_rPD a2_rPE)
- (Print002.MkFoo1{-ro-} b1_rPF b2_rPG)
- = case compare_a13u a1_rPD b1_rPF of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-}
- -> case compare_a13v a2_rPE b2_rPG of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- cmp_eq_a145 (Print002.:##{-rn-} a1_rPO a2_rPP)
- (Print002.:##{-rn-} b1_rPQ b2_rPR)
- = case compare_a13x a1_rPO b1_rPQ of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-}
- -> case compare_a13s a2_rPP b2_rPR of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- cmp_eq_a145 (Print002.MkFoo3{-rq-} a1_rPZ a2_rQ0)
- (Print002.MkFoo3{-rq-} b1_rQ1 b2_rQ2)
- = case compare_a13w a1_rPZ b1_rQ1 of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-}
- -> case compare_a13y a2_rQ0 b2_rQ2 of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- cmp_eq_a145 (Print002.:***{-rs-} a1_rQa a2_rQb)
- (Print002.:***{-rs-} b1_rQc b2_rQd)
- = case compare_a13r a1_rQa b1_rQc of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-}
- -> case compare_a13t a2_rQb b2_rQd of
- PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
- PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
- cmp_eq_a145 _ _
- = PrelErr.error{-87-}
- PrelBase.Ordering{-3p-} "Urk! in TcGenDeriv"
- cmp_eq_a144 =
- cmp_eq_rPB [c_taYg, a_taYe, b_taYf]
- [d.Ord_a12C, d.Ord_a12D, d.Ord_a12E]
- d.Ord_aYb =
- PrelBase.:Ord{-r1o-} (Print002.Foo{-r52-} a_taYe b_taYf c_taYg)
- d.Eq_a12G
- min_aYd
- max_aYu
- >_aYI
- >=_aYW
- <=_aZa
- <_aZo
- compare_aZC
-Print002.Bar2_sc1{-a13D-} =
- _/\_ a_tr4y -> \ x1_B1 ->
- _coerce_ {Print002.Bar{-r4z-} a_tr4y} {Print002.Bar2{-r4Y-} a_tr4y}
- x1_B1
-AbsBinds [a_ta13z] [d.Bar2_a134] []
-Print002.meth2{-r4Z-} =
- _/\_ a_tr4B -> \ x1_B1 ->
- case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x2_B2;}
-Print002./////{-r4t-} =
- _/\_ a_tr4B -> \ x1_B1 ->
- case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x3_B3;}
-Print002.meth1{-r4m-} =
- _/\_ a_tr4B -> \ x1_B1 ->
- case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x4_B4;}
-AbsBinds [a_ta13A] [d.Bar_a138] []
+[a{-a1ai-}, b{-a1aj-}, c{-a1ak-}]
+[_dOrd{-a1g7-}, _dOrd{-a1g9-}, _dOrd{-a1ga-}, _dEq{-a1gb-}]
+[([a{-a1ai-}, b{-a1aj-}, c{-a1ak-}],
+ Print002._fOrdFoo{-r1a3,x-},
+ _dOrd{-a1ab-})]
+ compare{-a1gT-} = compare{-a1cc-}
+ compare{-a1gS-} = compare{-a1cc-}
+ compare{-a1gR-} = compare{-a1cc-}
+ compare{-a1gQ-} = compare{-a1cc-}
+ compare{-a1gP-} = compare{-a1cc-}
+ compare{-a1gO-} = compare{-a1cc-}
+ _dOrd{-a1g4-} = _dOrd{-a1ga-}
+ _dOrd{-a1g5-} = _dOrd{-a1g9-}
+ _dOrd{-a1g6-} = _dOrd{-a1g7-}
+ _dEq{-a1g8-} = _dEq{-a1gb-}
+ AbsBinds [] [] [([], min{-a1ad-}, min{-a1af-})]
+ min{-a1af-} a{-a1ar-} b{-a1as-}
+ = case compare{-a1gT-} a{-a1ar-} b{-a1as-} of
+ PrelBase.LT{-rJk,i-} -> a{-a1ar-}
+ PrelBase.EQ{-rsT,i-} -> b{-a1as-}
+ PrelBase.GT{-rJl,i-} -> b{-a1as-}
+ AbsBinds [] [] [([], max{-a1aA-}, max{-a1aC-})]
+ max{-a1aC-} a{-a1aM-} b{-a1aL-}
+ = case compare{-a1gS-} a{-a1aM-} b{-a1aL-} of
+ PrelBase.LT{-rJk,i-} -> b{-a1aL-}
+ PrelBase.EQ{-rsT,i-} -> a{-a1aM-}
+ PrelBase.GT{-rJl,i-} -> a{-a1aM-}
+ AbsBinds [] [] [([], >{-a1aU-}, >{-a1aW-})]
+ >{-a1aW-} a{-a1b5-} b{-a1bb-}
+ = case compare{-a1gR-} a{-a1b5-} b{-a1bb-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.False{-65,w-}
+ PrelBase.EQ{-rsT,i-} -> PrelBase.False{-65,w-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.True{-6y,w-}
+ AbsBinds [] [] [([], >={-a1be-}, >={-a1bg-})]
+ >={-a1bg-} a{-a1bp-} b{-a1bv-}
+ = case compare{-a1gQ-} a{-a1bp-} b{-a1bv-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.False{-65,w-}
+ PrelBase.EQ{-rsT,i-} -> PrelBase.True{-6y,w-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.True{-6y,w-}
+ AbsBinds [] [] [([], <={-a1by-}, <={-a1bA-})]
+ <={-a1bA-} a{-a1bJ-} b{-a1bP-}
+ = case compare{-a1gP-} a{-a1bJ-} b{-a1bP-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.True{-6y,w-}
+ PrelBase.EQ{-rsT,i-} -> PrelBase.True{-6y,w-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.False{-65,w-}
+ AbsBinds [] [] [([], <{-a1bS-}, <{-a1bU-})]
+ <{-a1bU-} a{-a1c3-} b{-a1c9-}
+ = case compare{-a1gO-} a{-a1c3-} b{-a1c9-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.True{-6y,w-}
+ PrelBase.EQ{-rsT,i-} -> PrelBase.False{-65,w-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.False{-65,w-}
+ AbsBinds [] [] [([], compare{-a1cc-}, compare{-a1ce-})]
+ compare{-a1ce-} a{-a1fm-} b{-a1fn-}
+ = case
+ con2tag_Foo#{-rXU-} [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}] a{-a1fm-}
+ of
+ a#{-a1fB-}
+ -> case
+ con2tag_Foo#{-rXU-}
+ [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}] b{-a1fn-}
+ of
+ b#{-a1fH-}
+ -> if a#{-a1fB-} PrelGHC.==#{-99,w-} b#{-a1fH-} then
+ cmp_eq{-a1h2-} a{-a1fm-} b{-a1fn-}
+ else
+ if a#{-a1fB-} PrelGHC.<#{-9b,w-} b#{-a1fH-} then
+ PrelBase.LT{-rJk,i-}
+ else
+ PrelBase.GT{-rJl,i-}
+ where
+ {- nonrec -}
+ AbsBinds
+ [a{-a1eO-}, b{-a1eQ-}, c{-a1eS-}]
+ [_dOrd{-a1fw-}, _dOrd{-a1ft-}, _dOrd{-a1fq-}]
+ [([a{-a1eO-}, b{-a1eQ-}, c{-a1eS-}],
+ cmp_eq{-rZE-},
+ cmp_eq{-a1fo-})]
+ compare{-a1h0-} =
+ PrelBase.compare{-rJt,i-} c{-a1eS-} _dOrd{-a1fw-}
+ compare{-a1h1-} = compare{-a1h0-}
+ compare{-a1gZ-} = compare{-a1h0-}
+ compare{-a1gX-} =
+ PrelBase.compare{-rJt,i-} b{-a1eQ-} _dOrd{-a1ft-}
+ compare{-a1gY-} = compare{-a1gX-}
+ compare{-a1gW-} = compare{-a1gX-}
+ compare{-a1gV-} =
+ PrelBase.compare{-rJt,i-} a{-a1eO-} _dOrd{-a1fq-}
+ compare{-a1gU-} = compare{-a1gV-}
+ cmp_eq{-a1fo-} (Print002.MkFoo1{-rz,x-} a1{-a1db-} a2{-a1d4-})
+ (Print002.MkFoo1{-rz,x-} b1{-a1dg-} b2{-a1da-})
+ = case compare{-a1gV-} a1{-a1db-} b1{-a1dg-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> case
+ compare{-a1gU-} a2{-a1d4-}
+ b2{-a1da-}
+ of
+ PrelBase.LT{-rJk,i-}
+ -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> PrelBase.EQ{-rsT,i-}
+ PrelBase.GT{-rJl,i-}
+ -> PrelBase.GT{-rJl,i-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
+ cmp_eq{-a1fo-} (Print002.:##{-rB,x-} a1{-a1dR-} a2{-a1dK-})
+ (Print002.:##{-rB,x-} b1{-a1dW-} b2{-a1dQ-})
+ = case compare{-a1gX-} a1{-a1dR-} b1{-a1dW-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> case
+ compare{-a1h0-} a2{-a1dK-}
+ b2{-a1dQ-}
+ of
+ PrelBase.LT{-rJk,i-}
+ -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> PrelBase.EQ{-rsT,i-}
+ PrelBase.GT{-rJl,i-}
+ -> PrelBase.GT{-rJl,i-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
+ cmp_eq{-a1fo-} (Print002.MkFoo3{-rD,x-} a1{-a1ex-} a2{-a1eq-})
+ (Print002.MkFoo3{-rD,x-} b1{-a1eC-} b2{-a1ew-})
+ = case compare{-a1gY-} a1{-a1ex-} b1{-a1eC-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> case
+ compare{-a1gW-} a2{-a1eq-}
+ b2{-a1ew-}
+ of
+ PrelBase.LT{-rJk,i-}
+ -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> PrelBase.EQ{-rsT,i-}
+ PrelBase.GT{-rJl,i-}
+ -> PrelBase.GT{-rJl,i-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
+ cmp_eq{-a1fo-} (Print002.:***{-rF,x-} a1{-a1fd-} a2{-a1f6-})
+ (Print002.:***{-rF,x-} b1{-a1fi-} b2{-a1fc-})
+ = case compare{-a1h1-} a1{-a1fd-} b1{-a1fi-} of
+ PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> case
+ compare{-a1gZ-} a2{-a1f6-}
+ b2{-a1fc-}
+ of
+ PrelBase.LT{-rJk,i-}
+ -> PrelBase.LT{-rJk,i-}
+ PrelBase.EQ{-rsT,i-}
+ -> PrelBase.EQ{-rsT,i-}
+ PrelBase.GT{-rJl,i-}
+ -> PrelBase.GT{-rJl,i-}
+ PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
+ cmp_eq{-a1fo-} _ _
+ = PrelErr.error{-05,w-}
+ PrelBase.Ordering{-3s,i-} "Urk! in TcGenDeriv"
+ {- rec -}
+ cmp_eq{-a1h2-} =
+ cmp_eq{-rZE-} [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}]
+ [_dOrd{-a1g4-}, _dOrd{-a1g5-}, _dOrd{-a1g6-}]
+ _dOrd{-a1ab-} =
+ PrelBase._DOrd{-rJw,i-}
+ (Print002.Foo{-rx,x-} a{-a1ai-} b{-a1aj-} c{-a1ak-}) _dEq{-a1g8-}
+ min{-a1ad-}
+ max{-a1aA-}
+ >{-a1aU-}
+ >={-a1be-}
+ <={-a1by-}
+ <{-a1bS-}
+ compare{-a1cc-}
+AbsBinds [a{-a1gw-}] [_dBar{-a1gv-}] []
+AbsBinds [a{-a1gA-}] [_dBar2{-a1gz-}] []