Data.AdaptiveTuple.Reps.Strict

Adaptive Tuples with strict fields and unboxed elements. The equivalent of data ATuple1 s n = ATuple1 !n compiled with -funbox-strict-fields. It is usually not necessary to import this module except to make custom reification functions.

Documentation

data ATuple20 s[a12UD] a[a12UE]

Constructors

ATuple20 !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE] !a[a12UE]

Instances

Typeable2 ATuple20

AdaptiveTuple ATuple20 D20

Functor (ATuple20 D20)

Applicative (ATuple20 D20)

Eq a[a12UE] => Eq (ATuple20 s[a12UD] a[a12UE])

(Data s[a12UD], Data a[a12UE]) => Data (ATuple20 s[a12UD] a[a12UE])

Show a[a12UE] => Show (ATuple20 s[a12UD] a[a12UE])

data ATuple19 s[a12UB] a[a12UC]

Constructors

ATuple19 !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC] !a[a12UC]

Instances

Typeable2 ATuple19

AdaptiveTuple ATuple19 D19

Functor (ATuple19 D19)

Applicative (ATuple19 D19)

Eq a[a12UC] => Eq (ATuple19 s[a12UB] a[a12UC])

(Data s[a12UB], Data a[a12UC]) => Data (ATuple19 s[a12UB] a[a12UC])

Show a[a12UC] => Show (ATuple19 s[a12UB] a[a12UC])

data ATuple18 s[a12Uz] a[a12UA]

Constructors

ATuple18 !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA] !a[a12UA]

Instances

Typeable2 ATuple18

AdaptiveTuple ATuple18 D18

Functor (ATuple18 D18)

Applicative (ATuple18 D18)

Eq a[a12UA] => Eq (ATuple18 s[a12Uz] a[a12UA])

(Data s[a12Uz], Data a[a12UA]) => Data (ATuple18 s[a12Uz] a[a12UA])

Show a[a12UA] => Show (ATuple18 s[a12Uz] a[a12UA])

data ATuple17 s[a12Ux] a[a12Uy]

Constructors

ATuple17 !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy] !a[a12Uy]

Instances

Typeable2 ATuple17

AdaptiveTuple ATuple17 D17

Functor (ATuple17 D17)

Applicative (ATuple17 D17)

Eq a[a12Uy] => Eq (ATuple17 s[a12Ux] a[a12Uy])

(Data s[a12Ux], Data a[a12Uy]) => Data (ATuple17 s[a12Ux] a[a12Uy])

Show a[a12Uy] => Show (ATuple17 s[a12Ux] a[a12Uy])

data ATuple16 s[a12Uv] a[a12Uw]

Constructors

ATuple16 !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw] !a[a12Uw]

Instances

Typeable2 ATuple16

AdaptiveTuple ATuple16 D16

Functor (ATuple16 D16)

Applicative (ATuple16 D16)

Eq a[a12Uw] => Eq (ATuple16 s[a12Uv] a[a12Uw])

(Data s[a12Uv], Data a[a12Uw]) => Data (ATuple16 s[a12Uv] a[a12Uw])

Show a[a12Uw] => Show (ATuple16 s[a12Uv] a[a12Uw])

data ATuple15 s[a12Ut] a[a12Uu]

Constructors

ATuple15 !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu] !a[a12Uu]

Instances

Typeable2 ATuple15

AdaptiveTuple ATuple15 D15

Functor (ATuple15 D15)

Applicative (ATuple15 D15)

Eq a[a12Uu] => Eq (ATuple15 s[a12Ut] a[a12Uu])

(Data s[a12Ut], Data a[a12Uu]) => Data (ATuple15 s[a12Ut] a[a12Uu])

Show a[a12Uu] => Show (ATuple15 s[a12Ut] a[a12Uu])

data ATuple14 s[a12Ur] a[a12Us]

Constructors

ATuple14 !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us] !a[a12Us]

Instances

Typeable2 ATuple14

AdaptiveTuple ATuple14 D14

Functor (ATuple14 D14)

Applicative (ATuple14 D14)

Eq a[a12Us] => Eq (ATuple14 s[a12Ur] a[a12Us])

(Data s[a12Ur], Data a[a12Us]) => Data (ATuple14 s[a12Ur] a[a12Us])

Show a[a12Us] => Show (ATuple14 s[a12Ur] a[a12Us])

data ATuple13 s[a12Up] a[a12Uq]

Constructors

ATuple13 !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq] !a[a12Uq]

Instances

Typeable2 ATuple13

AdaptiveTuple ATuple13 D13

Functor (ATuple13 D13)

Applicative (ATuple13 D13)

Eq a[a12Uq] => Eq (ATuple13 s[a12Up] a[a12Uq])

(Data s[a12Up], Data a[a12Uq]) => Data (ATuple13 s[a12Up] a[a12Uq])

Show a[a12Uq] => Show (ATuple13 s[a12Up] a[a12Uq])

data ATuple12 s[a12Un] a[a12Uo]

Constructors

ATuple12 !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo] !a[a12Uo]

Instances

Typeable2 ATuple12

AdaptiveTuple ATuple12 D12

Functor (ATuple12 D12)

Applicative (ATuple12 D12)

Eq a[a12Uo] => Eq (ATuple12 s[a12Un] a[a12Uo])

(Data s[a12Un], Data a[a12Uo]) => Data (ATuple12 s[a12Un] a[a12Uo])

Show a[a12Uo] => Show (ATuple12 s[a12Un] a[a12Uo])

data ATuple11 s[a12Ul] a[a12Um]

Constructors

ATuple11 !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um] !a[a12Um]

Instances

Typeable2 ATuple11

AdaptiveTuple ATuple11 D11

Functor (ATuple11 D11)

Applicative (ATuple11 D11)

Eq a[a12Um] => Eq (ATuple11 s[a12Ul] a[a12Um])

(Data s[a12Ul], Data a[a12Um]) => Data (ATuple11 s[a12Ul] a[a12Um])

Show a[a12Um] => Show (ATuple11 s[a12Ul] a[a12Um])

data ATuple10 s[a12Uj] a[a12Uk]

Constructors

ATuple10 !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk] !a[a12Uk]

Instances

Typeable2 ATuple10

AdaptiveTuple ATuple10 D10

Functor (ATuple10 D10)

Applicative (ATuple10 D10)

Eq a[a12Uk] => Eq (ATuple10 s[a12Uj] a[a12Uk])

(Data s[a12Uj], Data a[a12Uk]) => Data (ATuple10 s[a12Uj] a[a12Uk])

Show a[a12Uk] => Show (ATuple10 s[a12Uj] a[a12Uk])

data ATuple9 s[a12Uh] a[a12Ui]

Constructors

ATuple9 !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui] !a[a12Ui]

Instances

Typeable2 ATuple9

AdaptiveTuple ATuple9 D9

Functor (ATuple9 D9)

Applicative (ATuple9 D9)

Eq a[a12Ui] => Eq (ATuple9 s[a12Uh] a[a12Ui])

(Data s[a12Uh], Data a[a12Ui]) => Data (ATuple9 s[a12Uh] a[a12Ui])

Show a[a12Ui] => Show (ATuple9 s[a12Uh] a[a12Ui])

data ATuple8 s[a12Uf] a[a12Ug]

Constructors

ATuple8 !a[a12Ug] !a[a12Ug] !a[a12Ug] !a[a12Ug] !a[a12Ug] !a[a12Ug] !a[a12Ug] !a[a12Ug]

Instances

Typeable2 ATuple8

AdaptiveTuple ATuple8 D8

Functor (ATuple8 D8)

Applicative (ATuple8 D8)

Eq a[a12Ug] => Eq (ATuple8 s[a12Uf] a[a12Ug])

(Data s[a12Uf], Data a[a12Ug]) => Data (ATuple8 s[a12Uf] a[a12Ug])

Show a[a12Ug] => Show (ATuple8 s[a12Uf] a[a12Ug])

data ATuple7 s[a12Ud] a[a12Ue]

Constructors

ATuple7 !a[a12Ue] !a[a12Ue] !a[a12Ue] !a[a12Ue] !a[a12Ue] !a[a12Ue] !a[a12Ue]

Instances

Typeable2 ATuple7

AdaptiveTuple ATuple7 D7

Functor (ATuple7 D7)

Applicative (ATuple7 D7)

Eq a[a12Ue] => Eq (ATuple7 s[a12Ud] a[a12Ue])

(Data s[a12Ud], Data a[a12Ue]) => Data (ATuple7 s[a12Ud] a[a12Ue])

Show a[a12Ue] => Show (ATuple7 s[a12Ud] a[a12Ue])

data ATuple6 s[a12Ub] a[a12Uc]

Constructors

ATuple6 !a[a12Uc] !a[a12Uc] !a[a12Uc] !a[a12Uc] !a[a12Uc] !a[a12Uc]

Instances

Typeable2 ATuple6

AdaptiveTuple ATuple6 D6

Functor (ATuple6 D6)

Applicative (ATuple6 D6)

Eq a[a12Uc] => Eq (ATuple6 s[a12Ub] a[a12Uc])

(Data s[a12Ub], Data a[a12Uc]) => Data (ATuple6 s[a12Ub] a[a12Uc])

Show a[a12Uc] => Show (ATuple6 s[a12Ub] a[a12Uc])

data ATuple5 s[a12U9] a[a12Ua]

Constructors

ATuple5 !a[a12Ua] !a[a12Ua] !a[a12Ua] !a[a12Ua] !a[a12Ua]

Instances

Typeable2 ATuple5

AdaptiveTuple ATuple5 D5

Functor (ATuple5 D5)

Applicative (ATuple5 D5)

Eq a[a12Ua] => Eq (ATuple5 s[a12U9] a[a12Ua])

(Data s[a12U9], Data a[a12Ua]) => Data (ATuple5 s[a12U9] a[a12Ua])

Show a[a12Ua] => Show (ATuple5 s[a12U9] a[a12Ua])

data ATuple4 s[a12U7] a[a12U8]

Constructors

ATuple4 !a[a12U8] !a[a12U8] !a[a12U8] !a[a12U8]

Instances

Typeable2 ATuple4

AdaptiveTuple ATuple4 D4

Functor (ATuple4 D4)

Applicative (ATuple4 D4)

Eq a[a12U8] => Eq (ATuple4 s[a12U7] a[a12U8])

(Data s[a12U7], Data a[a12U8]) => Data (ATuple4 s[a12U7] a[a12U8])

Show a[a12U8] => Show (ATuple4 s[a12U7] a[a12U8])

data ATuple3 s[a12U5] a[a12U6]

Constructors

ATuple3 !a[a12U6] !a[a12U6] !a[a12U6]

Instances

Typeable2 ATuple3

AdaptiveTuple ATuple3 D3

Functor (ATuple3 D3)

Applicative (ATuple3 D3)

Eq a[a12U6] => Eq (ATuple3 s[a12U5] a[a12U6])

(Data s[a12U5], Data a[a12U6]) => Data (ATuple3 s[a12U5] a[a12U6])

Show a[a12U6] => Show (ATuple3 s[a12U5] a[a12U6])

data ATuple2 s[a12U3] a[a12U4]

Constructors

ATuple2 !a[a12U4] !a[a12U4]

Instances

Typeable2 ATuple2

AdaptiveTuple ATuple2 D2

Functor (ATuple2 D2)

Applicative (ATuple2 D2)

Eq a[a12U4] => Eq (ATuple2 s[a12U3] a[a12U4])

(Data s[a12U3], Data a[a12U4]) => Data (ATuple2 s[a12U3] a[a12U4])

Show a[a12U4] => Show (ATuple2 s[a12U3] a[a12U4])

data ATuple1 s[a12U1] a[a12U2]

Constructors

ATuple1 !a[a12U2]

Instances

Typeable2 ATuple1

AdaptiveTuple ATuple1 D1

Functor (ATuple1 D1)

Applicative (ATuple1 D1)

Eq a[a12U2] => Eq (ATuple1 s[a12U1] a[a12U2])

(Data s[a12U1], Data a[a12U2]) => Data (ATuple1 s[a12U1] a[a12U2])

Show a[a12U2] => Show (ATuple1 s[a12U1] a[a12U2])