adaptive-tuple-0.1.1: 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[ajat] a[ajau] Source

Constructors

ATuple20 a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] 

Instances

Typeable2 ATuple20 
AdaptiveTuple ATuple20 D20 
Functor (ATuple20 D20) 
Applicative (ATuple20 D20) 
Eq a[ajau] => Eq (ATuple20 s[ajat] a[ajau]) 
(Data s[ajat], Data a[ajau]) => Data (ATuple20 s[ajat] a[ajau]) 
Show a[ajau] => Show (ATuple20 s[ajat] a[ajau]) 

data ATuple19 s[ajar] a[ajas] Source

Constructors

ATuple19 a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] 

Instances

Typeable2 ATuple19 
AdaptiveTuple ATuple19 D19 
Functor (ATuple19 D19) 
Applicative (ATuple19 D19) 
Eq a[ajas] => Eq (ATuple19 s[ajar] a[ajas]) 
(Data s[ajar], Data a[ajas]) => Data (ATuple19 s[ajar] a[ajas]) 
Show a[ajas] => Show (ATuple19 s[ajar] a[ajas]) 

data ATuple18 s[ajap] a[ajaq] Source

Constructors

ATuple18 a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] 

Instances

Typeable2 ATuple18 
AdaptiveTuple ATuple18 D18 
Functor (ATuple18 D18) 
Applicative (ATuple18 D18) 
Eq a[ajaq] => Eq (ATuple18 s[ajap] a[ajaq]) 
(Data s[ajap], Data a[ajaq]) => Data (ATuple18 s[ajap] a[ajaq]) 
Show a[ajaq] => Show (ATuple18 s[ajap] a[ajaq]) 

data ATuple17 s[ajan] a[ajao] Source

Constructors

ATuple17 a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] 

Instances

Typeable2 ATuple17 
AdaptiveTuple ATuple17 D17 
Functor (ATuple17 D17) 
Applicative (ATuple17 D17) 
Eq a[ajao] => Eq (ATuple17 s[ajan] a[ajao]) 
(Data s[ajan], Data a[ajao]) => Data (ATuple17 s[ajan] a[ajao]) 
Show a[ajao] => Show (ATuple17 s[ajan] a[ajao]) 

data ATuple16 s[ajal] a[ajam] Source

Constructors

ATuple16 a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] 

Instances

Typeable2 ATuple16 
AdaptiveTuple ATuple16 D16 
Functor (ATuple16 D16) 
Applicative (ATuple16 D16) 
Eq a[ajam] => Eq (ATuple16 s[ajal] a[ajam]) 
(Data s[ajal], Data a[ajam]) => Data (ATuple16 s[ajal] a[ajam]) 
Show a[ajam] => Show (ATuple16 s[ajal] a[ajam]) 

data ATuple15 s[ajaj] a[ajak] Source

Constructors

ATuple15 a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] 

Instances

Typeable2 ATuple15 
AdaptiveTuple ATuple15 D15 
Functor (ATuple15 D15) 
Applicative (ATuple15 D15) 
Eq a[ajak] => Eq (ATuple15 s[ajaj] a[ajak]) 
(Data s[ajaj], Data a[ajak]) => Data (ATuple15 s[ajaj] a[ajak]) 
Show a[ajak] => Show (ATuple15 s[ajaj] a[ajak]) 

data ATuple14 s[ajah] a[ajai] Source

Constructors

ATuple14 a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] 

Instances

Typeable2 ATuple14 
AdaptiveTuple ATuple14 D14 
Functor (ATuple14 D14) 
Applicative (ATuple14 D14) 
Eq a[ajai] => Eq (ATuple14 s[ajah] a[ajai]) 
(Data s[ajah], Data a[ajai]) => Data (ATuple14 s[ajah] a[ajai]) 
Show a[ajai] => Show (ATuple14 s[ajah] a[ajai]) 

data ATuple13 s[ajaf] a[ajag] Source

Constructors

ATuple13 a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] 

Instances

Typeable2 ATuple13 
AdaptiveTuple ATuple13 D13 
Functor (ATuple13 D13) 
Applicative (ATuple13 D13) 
Eq a[ajag] => Eq (ATuple13 s[ajaf] a[ajag]) 
(Data s[ajaf], Data a[ajag]) => Data (ATuple13 s[ajaf] a[ajag]) 
Show a[ajag] => Show (ATuple13 s[ajaf] a[ajag]) 

data ATuple12 s[ajad] a[ajae] Source

Constructors

ATuple12 a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] 

Instances

Typeable2 ATuple12 
AdaptiveTuple ATuple12 D12 
Functor (ATuple12 D12) 
Applicative (ATuple12 D12) 
Eq a[ajae] => Eq (ATuple12 s[ajad] a[ajae]) 
(Data s[ajad], Data a[ajae]) => Data (ATuple12 s[ajad] a[ajae]) 
Show a[ajae] => Show (ATuple12 s[ajad] a[ajae]) 

data ATuple11 s[ajab] a[ajac] Source

Constructors

ATuple11 a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] 

Instances

Typeable2 ATuple11 
AdaptiveTuple ATuple11 D11 
Functor (ATuple11 D11) 
Applicative (ATuple11 D11) 
Eq a[ajac] => Eq (ATuple11 s[ajab] a[ajac]) 
(Data s[ajab], Data a[ajac]) => Data (ATuple11 s[ajab] a[ajac]) 
Show a[ajac] => Show (ATuple11 s[ajab] a[ajac]) 

data ATuple10 s[aja9] a[ajaa] Source

Constructors

ATuple10 a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] 

Instances

Typeable2 ATuple10 
AdaptiveTuple ATuple10 D10 
Functor (ATuple10 D10) 
Applicative (ATuple10 D10) 
Eq a[ajaa] => Eq (ATuple10 s[aja9] a[ajaa]) 
(Data s[aja9], Data a[ajaa]) => Data (ATuple10 s[aja9] a[ajaa]) 
Show a[ajaa] => Show (ATuple10 s[aja9] a[ajaa]) 

data ATuple9 s[aja7] a[aja8] Source

Constructors

ATuple9 a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] 

Instances

Typeable2 ATuple9 
AdaptiveTuple ATuple9 D9 
Functor (ATuple9 D9) 
Applicative (ATuple9 D9) 
Eq a[aja8] => Eq (ATuple9 s[aja7] a[aja8]) 
(Data s[aja7], Data a[aja8]) => Data (ATuple9 s[aja7] a[aja8]) 
Show a[aja8] => Show (ATuple9 s[aja7] a[aja8]) 

data ATuple8 s[aja5] a[aja6] Source

Constructors

ATuple8 a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] 

Instances

Typeable2 ATuple8 
AdaptiveTuple ATuple8 D8 
Functor (ATuple8 D8) 
Applicative (ATuple8 D8) 
Eq a[aja6] => Eq (ATuple8 s[aja5] a[aja6]) 
(Data s[aja5], Data a[aja6]) => Data (ATuple8 s[aja5] a[aja6]) 
Show a[aja6] => Show (ATuple8 s[aja5] a[aja6]) 

data ATuple7 s[aja3] a[aja4] Source

Constructors

ATuple7 a[aja4] a[aja4] a[aja4] a[aja4] a[aja4] a[aja4] a[aja4] 

Instances

Typeable2 ATuple7 
AdaptiveTuple ATuple7 D7 
Functor (ATuple7 D7) 
Applicative (ATuple7 D7) 
Eq a[aja4] => Eq (ATuple7 s[aja3] a[aja4]) 
(Data s[aja3], Data a[aja4]) => Data (ATuple7 s[aja3] a[aja4]) 
Show a[aja4] => Show (ATuple7 s[aja3] a[aja4]) 

data ATuple6 s[aja1] a[aja2] Source

Constructors

ATuple6 a[aja2] a[aja2] a[aja2] a[aja2] a[aja2] a[aja2] 

Instances

Typeable2 ATuple6 
AdaptiveTuple ATuple6 D6 
Functor (ATuple6 D6) 
Applicative (ATuple6 D6) 
Eq a[aja2] => Eq (ATuple6 s[aja1] a[aja2]) 
(Data s[aja1], Data a[aja2]) => Data (ATuple6 s[aja1] a[aja2]) 
Show a[aja2] => Show (ATuple6 s[aja1] a[aja2]) 

data ATuple5 s[aj9Z] a[aja0] Source

Constructors

ATuple5 a[aja0] a[aja0] a[aja0] a[aja0] a[aja0] 

Instances

Typeable2 ATuple5 
AdaptiveTuple ATuple5 D5 
Functor (ATuple5 D5) 
Applicative (ATuple5 D5) 
Eq a[aja0] => Eq (ATuple5 s[aj9Z] a[aja0]) 
(Data s[aj9Z], Data a[aja0]) => Data (ATuple5 s[aj9Z] a[aja0]) 
Show a[aja0] => Show (ATuple5 s[aj9Z] a[aja0]) 

data ATuple4 s[aj9X] a[aj9Y] Source

Constructors

ATuple4 a[aj9Y] a[aj9Y] a[aj9Y] a[aj9Y] 

Instances

Typeable2 ATuple4 
AdaptiveTuple ATuple4 D4 
Functor (ATuple4 D4) 
Applicative (ATuple4 D4) 
Eq a[aj9Y] => Eq (ATuple4 s[aj9X] a[aj9Y]) 
(Data s[aj9X], Data a[aj9Y]) => Data (ATuple4 s[aj9X] a[aj9Y]) 
Show a[aj9Y] => Show (ATuple4 s[aj9X] a[aj9Y]) 

data ATuple3 s[aj9V] a[aj9W] Source

Constructors

ATuple3 a[aj9W] a[aj9W] a[aj9W] 

Instances

Typeable2 ATuple3 
AdaptiveTuple ATuple3 D3 
Functor (ATuple3 D3) 
Applicative (ATuple3 D3) 
Eq a[aj9W] => Eq (ATuple3 s[aj9V] a[aj9W]) 
(Data s[aj9V], Data a[aj9W]) => Data (ATuple3 s[aj9V] a[aj9W]) 
Show a[aj9W] => Show (ATuple3 s[aj9V] a[aj9W]) 

data ATuple2 s[aj9T] a[aj9U] Source

Constructors

ATuple2 a[aj9U] a[aj9U] 

Instances

Typeable2 ATuple2 
AdaptiveTuple ATuple2 D2 
Functor (ATuple2 D2) 
Applicative (ATuple2 D2) 
Eq a[aj9U] => Eq (ATuple2 s[aj9T] a[aj9U]) 
(Data s[aj9T], Data a[aj9U]) => Data (ATuple2 s[aj9T] a[aj9U]) 
Show a[aj9U] => Show (ATuple2 s[aj9T] a[aj9U]) 

data ATuple1 s[aj9R] a[aj9S] Source

Constructors

ATuple1 a[aj9S] 

Instances

Typeable2 ATuple1 
AdaptiveTuple ATuple1 D1 
Functor (ATuple1 D1) 
Applicative (ATuple1 D1) 
Eq a[aj9S] => Eq (ATuple1 s[aj9R] a[aj9S]) 
(Data s[aj9R], Data a[aj9S]) => Data (ATuple1 s[aj9R] a[aj9S]) 
Show a[aj9S] => Show (ATuple1 s[aj9R] a[aj9S])