Data.AdaptiveTuple.Reps.Lazy

Adaptive tuples with non-strict elements. It is usually not necessary to import this module unless you need to construct custom reification functions.

Documentation

data ATuple20 s[aiNH] a[aiNI]

Constructors

ATuple20 a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI] a[aiNI]

Instances

Typeable2 ATuple20

AdaptiveTuple ATuple20 D20

Functor (ATuple20 D20)

Applicative (ATuple20 D20)

Eq a[aiNI] => Eq (ATuple20 s[aiNH] a[aiNI])

(Data s[aiNH], Data a[aiNI]) => Data (ATuple20 s[aiNH] a[aiNI])

Show a[aiNI] => Show (ATuple20 s[aiNH] a[aiNI])

data ATuple19 s[aiNF] a[aiNG]

Constructors

ATuple19 a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG] a[aiNG]

Instances

Typeable2 ATuple19

AdaptiveTuple ATuple19 D19

Functor (ATuple19 D19)

Applicative (ATuple19 D19)

Eq a[aiNG] => Eq (ATuple19 s[aiNF] a[aiNG])

(Data s[aiNF], Data a[aiNG]) => Data (ATuple19 s[aiNF] a[aiNG])

Show a[aiNG] => Show (ATuple19 s[aiNF] a[aiNG])

data ATuple18 s[aiND] a[aiNE]

Constructors

ATuple18 a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE] a[aiNE]

Instances

Typeable2 ATuple18

AdaptiveTuple ATuple18 D18

Functor (ATuple18 D18)

Applicative (ATuple18 D18)

Eq a[aiNE] => Eq (ATuple18 s[aiND] a[aiNE])

(Data s[aiND], Data a[aiNE]) => Data (ATuple18 s[aiND] a[aiNE])

Show a[aiNE] => Show (ATuple18 s[aiND] a[aiNE])

data ATuple17 s[aiNB] a[aiNC]

Constructors

ATuple17 a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC] a[aiNC]

Instances

Typeable2 ATuple17

AdaptiveTuple ATuple17 D17

Functor (ATuple17 D17)

Applicative (ATuple17 D17)

Eq a[aiNC] => Eq (ATuple17 s[aiNB] a[aiNC])

(Data s[aiNB], Data a[aiNC]) => Data (ATuple17 s[aiNB] a[aiNC])

Show a[aiNC] => Show (ATuple17 s[aiNB] a[aiNC])

data ATuple16 s[aiNz] a[aiNA]

Constructors

ATuple16 a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA] a[aiNA]

Instances

Typeable2 ATuple16

AdaptiveTuple ATuple16 D16

Functor (ATuple16 D16)

Applicative (ATuple16 D16)

Eq a[aiNA] => Eq (ATuple16 s[aiNz] a[aiNA])

(Data s[aiNz], Data a[aiNA]) => Data (ATuple16 s[aiNz] a[aiNA])

Show a[aiNA] => Show (ATuple16 s[aiNz] a[aiNA])

data ATuple15 s[aiNx] a[aiNy]

Constructors

ATuple15 a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy] a[aiNy]

Instances

Typeable2 ATuple15

AdaptiveTuple ATuple15 D15

Functor (ATuple15 D15)

Applicative (ATuple15 D15)

Eq a[aiNy] => Eq (ATuple15 s[aiNx] a[aiNy])

(Data s[aiNx], Data a[aiNy]) => Data (ATuple15 s[aiNx] a[aiNy])

Show a[aiNy] => Show (ATuple15 s[aiNx] a[aiNy])

data ATuple14 s[aiNv] a[aiNw]

Constructors

ATuple14 a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw] a[aiNw]

Instances

Typeable2 ATuple14

AdaptiveTuple ATuple14 D14

Functor (ATuple14 D14)

Applicative (ATuple14 D14)

Eq a[aiNw] => Eq (ATuple14 s[aiNv] a[aiNw])

(Data s[aiNv], Data a[aiNw]) => Data (ATuple14 s[aiNv] a[aiNw])

Show a[aiNw] => Show (ATuple14 s[aiNv] a[aiNw])

data ATuple13 s[aiNt] a[aiNu]

Constructors

ATuple13 a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu] a[aiNu]

Instances

Typeable2 ATuple13

AdaptiveTuple ATuple13 D13

Functor (ATuple13 D13)

Applicative (ATuple13 D13)

Eq a[aiNu] => Eq (ATuple13 s[aiNt] a[aiNu])

(Data s[aiNt], Data a[aiNu]) => Data (ATuple13 s[aiNt] a[aiNu])

Show a[aiNu] => Show (ATuple13 s[aiNt] a[aiNu])

data ATuple12 s[aiNr] a[aiNs]

Constructors

ATuple12 a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs] a[aiNs]

Instances

Typeable2 ATuple12

AdaptiveTuple ATuple12 D12

Functor (ATuple12 D12)

Applicative (ATuple12 D12)

Eq a[aiNs] => Eq (ATuple12 s[aiNr] a[aiNs])

(Data s[aiNr], Data a[aiNs]) => Data (ATuple12 s[aiNr] a[aiNs])

Show a[aiNs] => Show (ATuple12 s[aiNr] a[aiNs])

data ATuple11 s[aiNp] a[aiNq]

Constructors

ATuple11 a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq] a[aiNq]

Instances

Typeable2 ATuple11

AdaptiveTuple ATuple11 D11

Functor (ATuple11 D11)

Applicative (ATuple11 D11)

Eq a[aiNq] => Eq (ATuple11 s[aiNp] a[aiNq])

(Data s[aiNp], Data a[aiNq]) => Data (ATuple11 s[aiNp] a[aiNq])

Show a[aiNq] => Show (ATuple11 s[aiNp] a[aiNq])

data ATuple10 s[aiNn] a[aiNo]

Constructors

ATuple10 a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo] a[aiNo]

Instances

Typeable2 ATuple10

AdaptiveTuple ATuple10 D10

Functor (ATuple10 D10)

Applicative (ATuple10 D10)

Eq a[aiNo] => Eq (ATuple10 s[aiNn] a[aiNo])

(Data s[aiNn], Data a[aiNo]) => Data (ATuple10 s[aiNn] a[aiNo])

Show a[aiNo] => Show (ATuple10 s[aiNn] a[aiNo])

data ATuple9 s[aiNl] a[aiNm]

Constructors

ATuple9 a[aiNm] a[aiNm] a[aiNm] a[aiNm] a[aiNm] a[aiNm] a[aiNm] a[aiNm] a[aiNm]

Instances

Typeable2 ATuple9

AdaptiveTuple ATuple9 D9

Functor (ATuple9 D9)

Applicative (ATuple9 D9)

Eq a[aiNm] => Eq (ATuple9 s[aiNl] a[aiNm])

(Data s[aiNl], Data a[aiNm]) => Data (ATuple9 s[aiNl] a[aiNm])

Show a[aiNm] => Show (ATuple9 s[aiNl] a[aiNm])

data ATuple8 s[aiNj] a[aiNk]

Constructors

ATuple8 a[aiNk] a[aiNk] a[aiNk] a[aiNk] a[aiNk] a[aiNk] a[aiNk] a[aiNk]

Instances

Typeable2 ATuple8

AdaptiveTuple ATuple8 D8

Functor (ATuple8 D8)

Applicative (ATuple8 D8)

Eq a[aiNk] => Eq (ATuple8 s[aiNj] a[aiNk])

(Data s[aiNj], Data a[aiNk]) => Data (ATuple8 s[aiNj] a[aiNk])

Show a[aiNk] => Show (ATuple8 s[aiNj] a[aiNk])

data ATuple7 s[aiNh] a[aiNi]

Constructors

ATuple7 a[aiNi] a[aiNi] a[aiNi] a[aiNi] a[aiNi] a[aiNi] a[aiNi]

Instances

Typeable2 ATuple7

AdaptiveTuple ATuple7 D7

Functor (ATuple7 D7)

Applicative (ATuple7 D7)

Eq a[aiNi] => Eq (ATuple7 s[aiNh] a[aiNi])

(Data s[aiNh], Data a[aiNi]) => Data (ATuple7 s[aiNh] a[aiNi])

Show a[aiNi] => Show (ATuple7 s[aiNh] a[aiNi])

data ATuple6 s[aiNf] a[aiNg]

Constructors

ATuple6 a[aiNg] a[aiNg] a[aiNg] a[aiNg] a[aiNg] a[aiNg]

Instances

Typeable2 ATuple6

AdaptiveTuple ATuple6 D6

Functor (ATuple6 D6)

Applicative (ATuple6 D6)

Eq a[aiNg] => Eq (ATuple6 s[aiNf] a[aiNg])

(Data s[aiNf], Data a[aiNg]) => Data (ATuple6 s[aiNf] a[aiNg])

Show a[aiNg] => Show (ATuple6 s[aiNf] a[aiNg])

data ATuple5 s[aiNd] a[aiNe]

Constructors

ATuple5 a[aiNe] a[aiNe] a[aiNe] a[aiNe] a[aiNe]

Instances

Typeable2 ATuple5

AdaptiveTuple ATuple5 D5

Functor (ATuple5 D5)

Applicative (ATuple5 D5)

Eq a[aiNe] => Eq (ATuple5 s[aiNd] a[aiNe])

(Data s[aiNd], Data a[aiNe]) => Data (ATuple5 s[aiNd] a[aiNe])

Show a[aiNe] => Show (ATuple5 s[aiNd] a[aiNe])

data ATuple4 s[aiNb] a[aiNc]

Constructors

ATuple4 a[aiNc] a[aiNc] a[aiNc] a[aiNc]

Instances

Typeable2 ATuple4

AdaptiveTuple ATuple4 D4

Functor (ATuple4 D4)

Applicative (ATuple4 D4)

Eq a[aiNc] => Eq (ATuple4 s[aiNb] a[aiNc])

(Data s[aiNb], Data a[aiNc]) => Data (ATuple4 s[aiNb] a[aiNc])

Show a[aiNc] => Show (ATuple4 s[aiNb] a[aiNc])

data ATuple3 s[aiN9] a[aiNa]

Constructors

ATuple3 a[aiNa] a[aiNa] a[aiNa]

Instances

Typeable2 ATuple3

AdaptiveTuple ATuple3 D3

Functor (ATuple3 D3)

Applicative (ATuple3 D3)

Eq a[aiNa] => Eq (ATuple3 s[aiN9] a[aiNa])

(Data s[aiN9], Data a[aiNa]) => Data (ATuple3 s[aiN9] a[aiNa])

Show a[aiNa] => Show (ATuple3 s[aiN9] a[aiNa])

data ATuple2 s[aiN7] a[aiN8]

Constructors

ATuple2 a[aiN8] a[aiN8]

Instances

Typeable2 ATuple2

AdaptiveTuple ATuple2 D2

Functor (ATuple2 D2)

Applicative (ATuple2 D2)

Eq a[aiN8] => Eq (ATuple2 s[aiN7] a[aiN8])

(Data s[aiN7], Data a[aiN8]) => Data (ATuple2 s[aiN7] a[aiN8])

Show a[aiN8] => Show (ATuple2 s[aiN7] a[aiN8])

data ATuple1 s[aiN5] a[aiN6]

Constructors

ATuple1 a[aiN6]

Instances

Typeable2 ATuple1

AdaptiveTuple ATuple1 D1

Functor (ATuple1 D1)

Applicative (ATuple1 D1)

Eq a[aiN6] => Eq (ATuple1 s[aiN5] a[aiN6])

(Data s[aiN5], Data a[aiN6]) => Data (ATuple1 s[aiN5] a[aiN6])

Show a[aiN6] => Show (ATuple1 s[aiN5] a[aiN6])