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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
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] |
data ATuple7 s[am5q] a[am5r] Source
Constructors
ATuple7 a[am5r] a[am5r] a[am5r] a[am5r] a[am5r] a[am5r] a[am5r] |
data ATuple6 s[am5o] a[am5p] Source
Constructors
ATuple6 a[am5p] a[am5p] a[am5p] a[am5p] a[am5p] a[am5p] |
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