Documentation

flatten0 :: () -> () Source

unflatten0 :: () -> () Source

flatten1 :: t -> t Source

unflatten1 :: t -> t Source

flatten2 :: (t, t1) -> (t, t1) Source

unflatten2 :: (t, t1) -> (t, t1) Source

flatten3 :: (t, (t1, t2)) -> (t, t1, t2) Source

unflatten3 :: (t, t1, t2) -> (t, (t1, t2)) Source

flatten4 :: (t, (t1, (t2, t3))) -> (t, t1, t2, t3) Source

unflatten4 :: (t, t1, t2, t3) -> (t, (t1, (t2, t3))) Source

flatten5 :: (t, (t1, (t2, (t3, t4)))) -> (t, t1, t2, t3, t4) Source

unflatten5 :: (t, t1, t2, t3, t4) -> (t, (t1, (t2, (t3, t4)))) Source

flatten6 :: (t, (t1, (t2, (t3, (t4, t5))))) -> (t, t1, t2, t3, t4, t5) Source

unflatten6 :: (t, t1, t2, t3, t4, t5) -> (t, (t1, (t2, (t3, (t4, t5))))) Source

flatten7 :: (t, (t1, (t2, (t3, (t4, (t5, t6)))))) -> (t, t1, t2, t3, t4, t5, t6) Source

unflatten7 :: (t, t1, t2, t3, t4, t5, t6) -> (t, (t1, (t2, (t3, (t4, (t5, t6)))))) Source

flatten8 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, t7))))))) -> (t, t1, t2, t3, t4, t5, t6, t7) Source

unflatten8 :: (t, t1, t2, t3, t4, t5, t6, t7) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, t7))))))) Source

flatten9 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, t8)))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8) Source

unflatten9 :: (t, t1, t2, t3, t4, t5, t6, t7, t8) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, t8)))))))) Source

flatten10 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, t9))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9) Source

unflatten10 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, t9))))))))) Source

flatten11 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, t10)))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) Source

unflatten11 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, t10)))))))))) Source

flatten12 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, t11))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) Source

unflatten12 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, t11))))))))))) Source

flatten13 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, t12)))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) Source

unflatten13 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, t12)))))))))))) Source

flatten14 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, t13))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) Source

unflatten14 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, t13))))))))))))) Source

flatten15 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, t14)))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) Source

unflatten15 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, t14)))))))))))))) Source

flatten16 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, t15))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) Source

unflatten16 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, t15))))))))))))))) Source

flatten17 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, t16)))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) Source

unflatten17 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, t16)))))))))))))))) Source

flatten18 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, t17))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) Source

unflatten18 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, t17))))))))))))))))) Source

flatten19 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, t18)))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) Source

unflatten19 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, t18)))))))))))))))))) Source

flatten20 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, t19))))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) Source

unflatten20 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, t19))))))))))))))))))) Source

flatten21 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, t20)))))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) Source

unflatten21 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, t20)))))))))))))))))))) Source

flatten22 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, t21))))))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) Source

unflatten22 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, t21))))))))))))))))))))) Source

flatten23 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, (t21, t22)))))))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) Source

unflatten23 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, (t21, t22)))))))))))))))))))))) Source

flatten24 :: (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, (t21, (t22, t23))))))))))))))))))))))) -> (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) Source

unflatten24 :: (t, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) -> (t, (t1, (t2, (t3, (t4, (t5, (t6, (t7, (t8, (t9, (t10, (t11, (t12, (t13, (t14, (t15, (t16, (t17, (t18, (t19, (t20, (t21, (t22, t23))))))))))))))))))))))) Source