{-# OPTIONS_GHC -fplugin=TypeLet #-} module Test.Size.Ap.Let.Let070 where import TypeLet import Test.Infra import Test.Size.Ap.Index.Ix070 applyF :: forall f r. Applicative f => F r -> f r applyF f = -- 69 .. 60 case letT (Proxy @(T "i69" -> r)) of { LetT (_ :: Proxy l69) -> case letT (Proxy @(T "i68" -> l69)) of { LetT (_ :: Proxy l68) -> case letT (Proxy @(T "i67" -> l68)) of { LetT (_ :: Proxy l67) -> case letT (Proxy @(T "i66" -> l67)) of { LetT (_ :: Proxy l66) -> case letT (Proxy @(T "i65" -> l66)) of { LetT (_ :: Proxy l65) -> case letT (Proxy @(T "i64" -> l65)) of { LetT (_ :: Proxy l64) -> case letT (Proxy @(T "i63" -> l64)) of { LetT (_ :: Proxy l63) -> case letT (Proxy @(T "i62" -> l63)) of { LetT (_ :: Proxy l62) -> case letT (Proxy @(T "i61" -> l62)) of { LetT (_ :: Proxy l61) -> case letT (Proxy @(T "i60" -> l61)) of { LetT (_ :: Proxy l60) -> -- 59 .. 50 case letT (Proxy @(T "i59" -> l60)) of { LetT (_ :: Proxy l59) -> case letT (Proxy @(T "i58" -> l59)) of { LetT (_ :: Proxy l58) -> case letT (Proxy @(T "i57" -> l58)) of { LetT (_ :: Proxy l57) -> case letT (Proxy @(T "i56" -> l57)) of { LetT (_ :: Proxy l56) -> case letT (Proxy @(T "i55" -> l56)) of { LetT (_ :: Proxy l55) -> case letT (Proxy @(T "i54" -> l55)) of { LetT (_ :: Proxy l54) -> case letT (Proxy @(T "i53" -> l54)) of { LetT (_ :: Proxy l53) -> case letT (Proxy @(T "i52" -> l53)) of { LetT (_ :: Proxy l52) -> case letT (Proxy @(T "i51" -> l52)) of { LetT (_ :: Proxy l51) -> case letT (Proxy @(T "i50" -> l51)) of { LetT (_ :: Proxy l50) -> -- 49 .. 40 case letT (Proxy @(T "i49" -> l50)) of { LetT (_ :: Proxy l49) -> case letT (Proxy @(T "i48" -> l49)) of { LetT (_ :: Proxy l48) -> case letT (Proxy @(T "i47" -> l48)) of { LetT (_ :: Proxy l47) -> case letT (Proxy @(T "i46" -> l47)) of { LetT (_ :: Proxy l46) -> case letT (Proxy @(T "i45" -> l46)) of { LetT (_ :: Proxy l45) -> case letT (Proxy @(T "i44" -> l45)) of { LetT (_ :: Proxy l44) -> case letT (Proxy @(T "i43" -> l44)) of { LetT (_ :: Proxy l43) -> case letT (Proxy @(T "i42" -> l43)) of { LetT (_ :: Proxy l42) -> case letT (Proxy @(T "i41" -> l42)) of { LetT (_ :: Proxy l41) -> case letT (Proxy @(T "i40" -> l41)) of { LetT (_ :: Proxy l40) -> -- 39 .. 30 case letT (Proxy @(T "i39" -> l40)) of { LetT (_ :: Proxy l39) -> case letT (Proxy @(T "i38" -> l39)) of { LetT (_ :: Proxy l38) -> case letT (Proxy @(T "i37" -> l38)) of { LetT (_ :: Proxy l37) -> case letT (Proxy @(T "i36" -> l37)) of { LetT (_ :: Proxy l36) -> case letT (Proxy @(T "i35" -> l36)) of { LetT (_ :: Proxy l35) -> case letT (Proxy @(T "i34" -> l35)) of { LetT (_ :: Proxy l34) -> case letT (Proxy @(T "i33" -> l34)) of { LetT (_ :: Proxy l33) -> case letT (Proxy @(T "i32" -> l33)) of { LetT (_ :: Proxy l32) -> case letT (Proxy @(T "i31" -> l32)) of { LetT (_ :: Proxy l31) -> case letT (Proxy @(T "i30" -> l31)) of { LetT (_ :: Proxy l30) -> -- 29 .. 20 case letT (Proxy @(T "i29" -> l30)) of { LetT (_ :: Proxy l29) -> case letT (Proxy @(T "i28" -> l29)) of { LetT (_ :: Proxy l28) -> case letT (Proxy @(T "i27" -> l28)) of { LetT (_ :: Proxy l27) -> case letT (Proxy @(T "i26" -> l27)) of { LetT (_ :: Proxy l26) -> case letT (Proxy @(T "i25" -> l26)) of { LetT (_ :: Proxy l25) -> case letT (Proxy @(T "i24" -> l25)) of { LetT (_ :: Proxy l24) -> case letT (Proxy @(T "i23" -> l24)) of { LetT (_ :: Proxy l23) -> case letT (Proxy @(T "i22" -> l23)) of { LetT (_ :: Proxy l22) -> case letT (Proxy @(T "i21" -> l22)) of { LetT (_ :: Proxy l21) -> case letT (Proxy @(T "i20" -> l21)) of { LetT (_ :: Proxy l20) -> -- 19 .. 10 case letT (Proxy @(T "i19" -> l20)) of { LetT (_ :: Proxy l19) -> case letT (Proxy @(T "i18" -> l19)) of { LetT (_ :: Proxy l18) -> case letT (Proxy @(T "i17" -> l18)) of { LetT (_ :: Proxy l17) -> case letT (Proxy @(T "i16" -> l17)) of { LetT (_ :: Proxy l16) -> case letT (Proxy @(T "i15" -> l16)) of { LetT (_ :: Proxy l15) -> case letT (Proxy @(T "i14" -> l15)) of { LetT (_ :: Proxy l14) -> case letT (Proxy @(T "i13" -> l14)) of { LetT (_ :: Proxy l13) -> case letT (Proxy @(T "i12" -> l13)) of { LetT (_ :: Proxy l12) -> case letT (Proxy @(T "i11" -> l12)) of { LetT (_ :: Proxy l11) -> case letT (Proxy @(T "i10" -> l11)) of { LetT (_ :: Proxy l10) -> -- 09 .. 00 case letT (Proxy @(T "i09" -> l10)) of { LetT (_ :: Proxy l09) -> case letT (Proxy @(T "i08" -> l09)) of { LetT (_ :: Proxy l08) -> case letT (Proxy @(T "i07" -> l08)) of { LetT (_ :: Proxy l07) -> case letT (Proxy @(T "i06" -> l07)) of { LetT (_ :: Proxy l06) -> case letT (Proxy @(T "i05" -> l06)) of { LetT (_ :: Proxy l05) -> case letT (Proxy @(T "i04" -> l05)) of { LetT (_ :: Proxy l04) -> case letT (Proxy @(T "i03" -> l04)) of { LetT (_ :: Proxy l03) -> case letT (Proxy @(T "i02" -> l03)) of { LetT (_ :: Proxy l02) -> case letT (Proxy @(T "i01" -> l02)) of { LetT (_ :: Proxy l01) -> case letT (Proxy @(T "i00" -> l01)) of { LetT (_ :: Proxy l00) -> let -- 00 .. 09 f00 :: f l00 f01 :: f l01 f02 :: f l02 f03 :: f l03 f04 :: f l04 f05 :: f l05 f06 :: f l06 f07 :: f l07 f08 :: f l08 f09 :: f l09 -- 10 .. 19 f10 :: f l10 f11 :: f l11 f12 :: f l12 f13 :: f l13 f14 :: f l14 f15 :: f l15 f16 :: f l16 f17 :: f l17 f18 :: f l18 f19 :: f l19 -- 20 .. 29 f20 :: f l20 f21 :: f l21 f22 :: f l22 f23 :: f l23 f24 :: f l24 f25 :: f l25 f26 :: f l26 f27 :: f l27 f28 :: f l28 f29 :: f l29 -- 30 .. 39 f30 :: f l30 f31 :: f l31 f32 :: f l32 f33 :: f l33 f34 :: f l34 f35 :: f l35 f36 :: f l36 f37 :: f l37 f38 :: f l38 f39 :: f l39 -- 40 .. 49 f40 :: f l40 f41 :: f l41 f42 :: f l42 f43 :: f l43 f44 :: f l44 f45 :: f l45 f46 :: f l46 f47 :: f l47 f48 :: f l48 f49 :: f l49 -- 50 .. 59 f50 :: f l50 f51 :: f l51 f52 :: f l52 f53 :: f l53 f54 :: f l54 f55 :: f l55 f56 :: f l56 f57 :: f l57 f58 :: f l58 f59 :: f l59 -- 60 .. 69 f60 :: f l60 f61 :: f l61 f62 :: f l62 f63 :: f l63 f64 :: f l64 f65 :: f l65 f66 :: f l66 f67 :: f l67 f68 :: f l68 f69 :: f l69 res :: f r -- 00 .. 09 f00 = pure (castEqual f) f01 = castEqual f00 <*> pure (MkT @"i00") f02 = castEqual f01 <*> pure (MkT @"i01") f03 = castEqual f02 <*> pure (MkT @"i02") f04 = castEqual f03 <*> pure (MkT @"i03") f05 = castEqual f04 <*> pure (MkT @"i04") f06 = castEqual f05 <*> pure (MkT @"i05") f07 = castEqual f06 <*> pure (MkT @"i06") f08 = castEqual f07 <*> pure (MkT @"i07") f09 = castEqual f08 <*> pure (MkT @"i08") -- 10 .. 19 f10 = castEqual f09 <*> pure (MkT @"i09") f11 = castEqual f10 <*> pure (MkT @"i10") f12 = castEqual f11 <*> pure (MkT @"i11") f13 = castEqual f12 <*> pure (MkT @"i12") f14 = castEqual f13 <*> pure (MkT @"i13") f15 = castEqual f14 <*> pure (MkT @"i14") f16 = castEqual f15 <*> pure (MkT @"i15") f17 = castEqual f16 <*> pure (MkT @"i16") f18 = castEqual f17 <*> pure (MkT @"i17") f19 = castEqual f18 <*> pure (MkT @"i18") -- 20 .. 29 f20 = castEqual f19 <*> pure (MkT @"i19") f21 = castEqual f20 <*> pure (MkT @"i20") f22 = castEqual f21 <*> pure (MkT @"i21") f23 = castEqual f22 <*> pure (MkT @"i22") f24 = castEqual f23 <*> pure (MkT @"i23") f25 = castEqual f24 <*> pure (MkT @"i24") f26 = castEqual f25 <*> pure (MkT @"i25") f27 = castEqual f26 <*> pure (MkT @"i26") f28 = castEqual f27 <*> pure (MkT @"i27") f29 = castEqual f28 <*> pure (MkT @"i28") -- 30 .. 39 f30 = castEqual f29 <*> pure (MkT @"i29") f31 = castEqual f30 <*> pure (MkT @"i30") f32 = castEqual f31 <*> pure (MkT @"i31") f33 = castEqual f32 <*> pure (MkT @"i32") f34 = castEqual f33 <*> pure (MkT @"i33") f35 = castEqual f34 <*> pure (MkT @"i34") f36 = castEqual f35 <*> pure (MkT @"i35") f37 = castEqual f36 <*> pure (MkT @"i36") f38 = castEqual f37 <*> pure (MkT @"i37") f39 = castEqual f38 <*> pure (MkT @"i38") -- 40 .. 49 f40 = castEqual f39 <*> pure (MkT @"i39") f41 = castEqual f40 <*> pure (MkT @"i40") f42 = castEqual f41 <*> pure (MkT @"i41") f43 = castEqual f42 <*> pure (MkT @"i42") f44 = castEqual f43 <*> pure (MkT @"i43") f45 = castEqual f44 <*> pure (MkT @"i44") f46 = castEqual f45 <*> pure (MkT @"i45") f47 = castEqual f46 <*> pure (MkT @"i46") f48 = castEqual f47 <*> pure (MkT @"i47") f49 = castEqual f48 <*> pure (MkT @"i48") -- 50 .. 59 f50 = castEqual f49 <*> pure (MkT @"i49") f51 = castEqual f50 <*> pure (MkT @"i50") f52 = castEqual f51 <*> pure (MkT @"i51") f53 = castEqual f52 <*> pure (MkT @"i52") f54 = castEqual f53 <*> pure (MkT @"i53") f55 = castEqual f54 <*> pure (MkT @"i54") f56 = castEqual f55 <*> pure (MkT @"i55") f57 = castEqual f56 <*> pure (MkT @"i56") f58 = castEqual f57 <*> pure (MkT @"i57") f59 = castEqual f58 <*> pure (MkT @"i58") -- 60 .. 69 f60 = castEqual f59 <*> pure (MkT @"i59") f61 = castEqual f60 <*> pure (MkT @"i60") f62 = castEqual f61 <*> pure (MkT @"i61") f63 = castEqual f62 <*> pure (MkT @"i62") f64 = castEqual f63 <*> pure (MkT @"i63") f65 = castEqual f64 <*> pure (MkT @"i64") f66 = castEqual f65 <*> pure (MkT @"i65") f67 = castEqual f66 <*> pure (MkT @"i66") f68 = castEqual f67 <*> pure (MkT @"i67") f69 = castEqual f68 <*> pure (MkT @"i68") res = castEqual f69 <*> pure (MkT @"i69") in res }}}}}}}}}} }}}}}}}}}} }}}}}}}}}} }}}}}}}}}} }}}}}}}}}} }}}}}}}}}} }}}}}}}}}}