Lines Matching defs:liftToEncoding2
1222 liftToEncoding2 t _ _ _ (Const x) = t x function
1265 liftToEncoding2 toA _ _toB _ (Left a) = E.pairs $ E.pair "Left" $ toA a function
1267 liftToEncoding2 _toA _ toB _ (Right b) = E.pairs $ E.pair "Right" $ toB b function
2320 liftToEncoding2 toa toas tob tobs = liftToEncoding2 toa toas tob tobs . S.toLazy function
2335 liftToEncoding2 toa toas tob tobs = liftToEncoding2 toa toas tob tobs . S.toLazy function
2350 liftToEncoding2 toa toas tob tobs = liftToEncoding2 toa toas tob tobs . S.toLazy function
2390 liftToEncoding2 _ _ t _ (Tagged x) = t x function
2431 liftToEncoding2 toa _ _tob _ (This a) = E.pairs $ E.pair "This" (toa a) function
2432 liftToEncoding2 _toa _ tob _ (That b) = E.pairs $ E.pair "That" (tob b) function
2433 …liftToEncoding2 toa _ tob _ (These a b) = E.pairs $ E.pair "This" (toa a) <> E.pair "That" (tob … function
2489 liftToEncoding2 toA _ toB _ (a, b) = E.list id [toA a, toB b] function
2513 liftToEncoding2 toB _ toC _ (a, b, c) = E.list id function
2542 liftToEncoding2 toC _ toD _ (a, b, c, d) = E.list id function
2573 liftToEncoding2 toD _ toE _ (a, b, c, d, e) = E.list id function
2606 liftToEncoding2 toE _ toF _ (a, b, c, d, e, f) = E.list id function
2641 liftToEncoding2 toF _ toG _ (a, b, c, d, e, f, g) = E.list id function
2678 liftToEncoding2 toG _ toH _ (a, b, c, d, e, f, g, h) = E.list id function
2717 liftToEncoding2 toH _ toI _ (a, b, c, d, e, f, g, h, i) = E.list id function
2758 liftToEncoding2 toI _ toJ _ (a, b, c, d, e, f, g, h, i, j) = E.list id function
2801 liftToEncoding2 toJ _ toK _ (a, b, c, d, e, f, g, h, i, j, k) = E.list id function
2846 liftToEncoding2 toK _ toL _ (a, b, c, d, e, f, g, h, i, j, k, l) = E.list id function
2893 liftToEncoding2 toL _ toM _ (a, b, c, d, e, f, g, h, i, j, k, l, m) = E.list id function
2942 liftToEncoding2 toM _ toN _ (a, b, c, d, e, f, g, h, i, j, k, l, m, n) = E.list id function
2993 liftToEncoding2 toN _ toO _ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) = E.list id function