adaptive-tuple-0.1.0: Self-optimizing tuple types

Data.AdaptiveTuple.Reps.Lazy

Description

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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] Source

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])