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[am5Q] a[am5R] Source

Constructors

ATuple20 a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R] a[am5R]

Instances

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

data ATuple19 s[am5O] a[am5P] Source

Constructors

ATuple19 a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P] a[am5P]

Instances

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

data ATuple18 s[am5M] a[am5N] Source

Constructors

ATuple18 a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N] a[am5N]

Instances

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

data ATuple17 s[am5K] a[am5L] Source

Constructors

ATuple17 a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L] a[am5L]

Instances

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

data ATuple16 s[am5I] a[am5J] Source

Constructors

ATuple16 a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J] a[am5J]

Instances

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

data ATuple15 s[am5G] a[am5H] Source

Constructors

ATuple15 a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H] a[am5H]

Instances

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

data ATuple14 s[am5E] a[am5F] Source

Constructors

ATuple14 a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F] a[am5F]

Instances

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

data ATuple13 s[am5C] a[am5D] Source

Constructors

ATuple13 a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D] a[am5D]

Instances

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

data ATuple12 s[am5A] a[am5B] Source

Constructors

ATuple12 a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B] a[am5B]

Instances

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

data ATuple11 s[am5y] a[am5z] Source

Constructors

ATuple11 a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z] a[am5z]

Instances

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

data ATuple10 s[am5w] a[am5x] Source

Constructors

ATuple10 a[am5x] a[am5x] a[am5x] a[am5x] a[am5x] a[am5x] a[am5x] a[am5x] a[am5x] a[am5x]

Instances

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

data ATuple9 s[am5u] a[am5v] Source

Constructors

ATuple9 a[am5v] a[am5v] a[am5v] a[am5v] a[am5v] a[am5v] a[am5v] a[am5v] a[am5v]

Instances

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

data ATuple8 s[am5s] a[am5t] Source

Constructors

ATuple8 a[am5t] a[am5t] a[am5t] a[am5t] a[am5t] a[am5t] a[am5t] a[am5t]

Instances

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

data ATuple7 s[am5q] a[am5r] Source

Constructors

ATuple7 a[am5r] a[am5r] a[am5r] a[am5r] a[am5r] a[am5r] a[am5r]

Instances

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

data ATuple6 s[am5o] a[am5p] Source

Constructors

ATuple6 a[am5p] a[am5p] a[am5p] a[am5p] a[am5p] a[am5p]

Instances

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

data ATuple5 s[am5m] a[am5n] Source

Constructors

ATuple5 a[am5n] a[am5n] a[am5n] a[am5n] a[am5n]

Instances

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

data ATuple4 s[am5k] a[am5l] Source

Constructors

ATuple4 a[am5l] a[am5l] a[am5l] a[am5l]

Instances

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

data ATuple3 s[am5i] a[am5j] Source

Constructors

ATuple3 a[am5j] a[am5j] a[am5j]

Instances

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

data ATuple2 s[am5g] a[am5h] Source

Constructors

ATuple2 a[am5h] a[am5h]

Instances

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

data ATuple1 s[am5e] a[am5f] Source

Constructors

ATuple1 a[am5f]

Instances

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

reifyTuple4 :: forall el[asCi] r[asCj]. Int -> [el[asCi]] -> (forall c[asCk] s[asCl]. (AdaptiveTuple c[asCk] s[asCl], Nat s[asCl]) => c[asCk] s[asCl] el[asCi] -> r[asCj]) -> r[asCj]Source

reifyTuple8 :: forall el[asFB] r[asFC]. Int -> [el[asFB]] -> (forall c[asFD] s[asFE]. (AdaptiveTuple c[asFD] s[asFE], Nat s[asFE]) => c[asFD] s[asFE] el[asFB] -> r[asFC]) -> r[asFC]Source

reifyTuple12 :: forall el[asKE] r[asKF]. Int -> [el[asKE]] -> (forall c[asKG] s[asKH]. (AdaptiveTuple c[asKG] s[asKH], Nat s[asKH]) => c[asKG] s[asKH] el[asKE] -> r[asKF]) -> r[asKF]Source

reifyTuple16 :: forall el[asRr] r[asRs]. Int -> [el[asRr]] -> (forall c[asRt] s[asRu]. (AdaptiveTuple c[asRt] s[asRu], Nat s[asRu]) => c[asRt] s[asRu] el[asRr] -> r[asRs]) -> r[asRs]Source

reifyTuple20 :: forall el[asZY] r[asZZ]. Int -> [el[asZY]] -> (forall c[at00] s[at01]. (AdaptiveTuple c[at00] s[at01], Nat s[at01]) => c[at00] s[at01] el[asZY] -> r[asZZ]) -> r[asZZ]Source