Safe Haskell	None
Language	Haskell2010

Sums.Prisms

Description

Prisms to extract and manipulate values from a sum type.

Documentation

_S1_1 :: Prism (S1 t1) (S1 t1') t1 t1' Source #

_S2_1 :: Prism (S2 t1 t2) (S2 t1' t2) t1 t1' Source #

_S2_2 :: Prism (S2 t1 t2) (S2 t1 t2') t2 t2' Source #

_S3_1 :: Prism (S3 t1 t2 t3) (S3 t1' t2 t3) t1 t1' Source #

_S3_2 :: Prism (S3 t1 t2 t3) (S3 t1 t2' t3) t2 t2' Source #

_S3_3 :: Prism (S3 t1 t2 t3) (S3 t1 t2 t3') t3 t3' Source #

_S4_1 :: Prism (S4 t1 t2 t3 t4) (S4 t1' t2 t3 t4) t1 t1' Source #

_S4_2 :: Prism (S4 t1 t2 t3 t4) (S4 t1 t2' t3 t4) t2 t2' Source #

_S4_3 :: Prism (S4 t1 t2 t3 t4) (S4 t1 t2 t3' t4) t3 t3' Source #

_S4_4 :: Prism (S4 t1 t2 t3 t4) (S4 t1 t2 t3 t4') t4 t4' Source #

_S5_1 :: Prism (S5 t1 t2 t3 t4 t5) (S5 t1' t2 t3 t4 t5) t1 t1' Source #

_S5_2 :: Prism (S5 t1 t2 t3 t4 t5) (S5 t1 t2' t3 t4 t5) t2 t2' Source #

_S5_3 :: Prism (S5 t1 t2 t3 t4 t5) (S5 t1 t2 t3' t4 t5) t3 t3' Source #

_S5_4 :: Prism (S5 t1 t2 t3 t4 t5) (S5 t1 t2 t3 t4' t5) t4 t4' Source #

_S5_5 :: Prism (S5 t1 t2 t3 t4 t5) (S5 t1 t2 t3 t4 t5') t5 t5' Source #

_S6_1 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1' t2 t3 t4 t5 t6) t1 t1' Source #

_S6_2 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1 t2' t3 t4 t5 t6) t2 t2' Source #

_S6_3 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1 t2 t3' t4 t5 t6) t3 t3' Source #

_S6_4 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1 t2 t3 t4' t5 t6) t4 t4' Source #

_S6_5 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1 t2 t3 t4 t5' t6) t5 t5' Source #

_S6_6 :: Prism (S6 t1 t2 t3 t4 t5 t6) (S6 t1 t2 t3 t4 t5 t6') t6 t6' Source #

_S7_1 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1' t2 t3 t4 t5 t6 t7) t1 t1' Source #

_S7_2 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2' t3 t4 t5 t6 t7) t2 t2' Source #

_S7_3 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2 t3' t4 t5 t6 t7) t3 t3' Source #

_S7_4 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2 t3 t4' t5 t6 t7) t4 t4' Source #

_S7_5 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2 t3 t4 t5' t6 t7) t5 t5' Source #

_S7_6 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2 t3 t4 t5 t6' t7) t6 t6' Source #

_S7_7 :: Prism (S7 t1 t2 t3 t4 t5 t6 t7) (S7 t1 t2 t3 t4 t5 t6 t7') t7 t7' Source #

_S8_1 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1' t2 t3 t4 t5 t6 t7 t8) t1 t1' Source #

_S8_2 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2' t3 t4 t5 t6 t7 t8) t2 t2' Source #

_S8_3 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3' t4 t5 t6 t7 t8) t3 t3' Source #

_S8_4 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3 t4' t5 t6 t7 t8) t4 t4' Source #

_S8_5 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3 t4 t5' t6 t7 t8) t5 t5' Source #

_S8_6 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3 t4 t5 t6' t7 t8) t6 t6' Source #

_S8_7 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3 t4 t5 t6 t7' t8) t7 t7' Source #

_S8_8 :: Prism (S8 t1 t2 t3 t4 t5 t6 t7 t8) (S8 t1 t2 t3 t4 t5 t6 t7 t8') t8 t8' Source #

_S9_1 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1' t2 t3 t4 t5 t6 t7 t8 t9) t1 t1' Source #

_S9_2 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2' t3 t4 t5 t6 t7 t8 t9) t2 t2' Source #

_S9_3 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3' t4 t5 t6 t7 t8 t9) t3 t3' Source #

_S9_4 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4' t5 t6 t7 t8 t9) t4 t4' Source #

_S9_5 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4 t5' t6 t7 t8 t9) t5 t5' Source #

_S9_6 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4 t5 t6' t7 t8 t9) t6 t6' Source #

_S9_7 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4 t5 t6 t7' t8 t9) t7 t7' Source #

_S9_8 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4 t5 t6 t7 t8' t9) t8 t8' Source #

_S9_9 :: Prism (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9) (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9') t9 t9' Source #

_S10_1 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10) t1 t1' Source #

_S10_2 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10) t2 t2' Source #

_S10_3 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10) t3 t3' Source #

_S10_4 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10) t4 t4' Source #

_S10_5 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10) t5 t5' Source #

_S10_6 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10) t6 t6' Source #

_S10_7 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10) t7 t7' Source #

_S10_8 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10) t8 t8' Source #

_S10_9 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10) t9 t9' Source #

_S10_10 :: Prism (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10) (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10') t10 t10' Source #

_S11_1 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) t1 t1' Source #

_S11_2 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10 t11) t2 t2' Source #

_S11_3 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10 t11) t3 t3' Source #

_S11_4 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10 t11) t4 t4' Source #

_S11_5 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10 t11) t5 t5' Source #

_S11_6 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10 t11) t6 t6' Source #

_S11_7 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10 t11) t7 t7' Source #

_S11_8 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10 t11) t8 t8' Source #

_S11_9 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10 t11) t9 t9' Source #

_S11_10 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10' t11) t10 t10' Source #

_S11_11 :: Prism (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11) (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11') t11 t11' Source #

_S12_1 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) t1 t1' Source #

_S12_2 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) t2 t2' Source #

_S12_3 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10 t11 t12) t3 t3' Source #

_S12_4 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10 t11 t12) t4 t4' Source #

_S12_5 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10 t11 t12) t5 t5' Source #

_S12_6 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10 t11 t12) t6 t6' Source #

_S12_7 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10 t11 t12) t7 t7' Source #

_S12_8 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10 t11 t12) t8 t8' Source #

_S12_9 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10 t11 t12) t9 t9' Source #

_S12_10 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10' t11 t12) t10 t10' Source #

_S12_11 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11' t12) t11 t11' Source #

_S12_12 :: Prism (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12) (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12') t12 t12' Source #

_S13_1 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) t1 t1' Source #

_S13_2 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) t2 t2' Source #

_S13_3 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) t3 t3' Source #

_S13_4 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10 t11 t12 t13) t4 t4' Source #

_S13_5 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10 t11 t12 t13) t5 t5' Source #

_S13_6 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10 t11 t12 t13) t6 t6' Source #

_S13_7 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10 t11 t12 t13) t7 t7' Source #

_S13_8 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10 t11 t12 t13) t8 t8' Source #

_S13_9 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10 t11 t12 t13) t9 t9' Source #

_S13_10 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10' t11 t12 t13) t10 t10' Source #

_S13_11 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11' t12 t13) t11 t11' Source #

_S13_12 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12' t13) t12 t12' Source #

_S13_13 :: Prism (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13) (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13') t13 t13' Source #

_S14_1 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) t1 t1' Source #

_S14_2 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) t2 t2' Source #

_S14_3 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) t3 t3' Source #

_S14_4 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) t4 t4' Source #

_S14_5 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10 t11 t12 t13 t14) t5 t5' Source #

_S14_6 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10 t11 t12 t13 t14) t6 t6' Source #

_S14_7 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10 t11 t12 t13 t14) t7 t7' Source #

_S14_8 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10 t11 t12 t13 t14) t8 t8' Source #

_S14_9 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10 t11 t12 t13 t14) t9 t9' Source #

_S14_10 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10' t11 t12 t13 t14) t10 t10' Source #

_S14_11 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11' t12 t13 t14) t11 t11' Source #

_S14_12 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12' t13 t14) t12 t12' Source #

_S14_13 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13' t14) t13 t13' Source #

_S14_14 :: Prism (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14) (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14') t14 t14' Source #

_S15_1 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1' t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) t1 t1' Source #

_S15_2 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2' t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) t2 t2' Source #

_S15_3 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3' t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) t3 t3' Source #

_S15_4 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4' t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) t4 t4' Source #

_S15_5 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5' t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) t5 t5' Source #

_S15_6 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6' t7 t8 t9 t10 t11 t12 t13 t14 t15) t6 t6' Source #

_S15_7 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7' t8 t9 t10 t11 t12 t13 t14 t15) t7 t7' Source #

_S15_8 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8' t9 t10 t11 t12 t13 t14 t15) t8 t8' Source #

_S15_9 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9' t10 t11 t12 t13 t14 t15) t9 t9' Source #

_S15_10 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10' t11 t12 t13 t14 t15) t10 t10' Source #

_S15_11 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11' t12 t13 t14 t15) t11 t11' Source #

_S15_12 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12' t13 t14 t15) t12 t12' Source #

_S15_13 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13' t14 t15) t13 t13' Source #

_S15_14 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14' t15) t14 t14' Source #

_S15_15 :: Prism (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15) (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15') t15 t15' Source #