Data.AdaptiveTuple.Reps.Strict

Adaptive Tuples with strict fields and unboxed elements. The equivalent of data ATuple1 s n = ATuple1 !n compiled with -funbox-strict-fields. It is usually not necessary to import this module except to make custom reification functions.

Documentation

data ATuple20 s[a1bub] a[a1buc]

Constructors

ATuple20 !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc] !a[a1buc]

Instances

Typeable2 ATuple20

AdaptiveTuple ATuple20 D20

Functor (ATuple20 D20)

Applicative (ATuple20 D20)

Eq a[a1buc] => Eq (ATuple20 s[a1bub] a[a1buc])

(Data s[a1bub], Data a[a1buc]) => Data (ATuple20 s[a1bub] a[a1buc])

Show a[a1buc] => Show (ATuple20 s[a1bub] a[a1buc])

data ATuple19 s[a1bu9] a[a1bua]

Constructors

ATuple19 !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua] !a[a1bua]

Instances

Typeable2 ATuple19

AdaptiveTuple ATuple19 D19

Functor (ATuple19 D19)

Applicative (ATuple19 D19)

Eq a[a1bua] => Eq (ATuple19 s[a1bu9] a[a1bua])

(Data s[a1bu9], Data a[a1bua]) => Data (ATuple19 s[a1bu9] a[a1bua])

Show a[a1bua] => Show (ATuple19 s[a1bu9] a[a1bua])

data ATuple18 s[a1bu7] a[a1bu8]

Constructors

ATuple18 !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8] !a[a1bu8]

Instances

Typeable2 ATuple18

AdaptiveTuple ATuple18 D18

Functor (ATuple18 D18)

Applicative (ATuple18 D18)

Eq a[a1bu8] => Eq (ATuple18 s[a1bu7] a[a1bu8])

(Data s[a1bu7], Data a[a1bu8]) => Data (ATuple18 s[a1bu7] a[a1bu8])

Show a[a1bu8] => Show (ATuple18 s[a1bu7] a[a1bu8])

data ATuple17 s[a1bu5] a[a1bu6]

Constructors

ATuple17 !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6] !a[a1bu6]

Instances

Typeable2 ATuple17

AdaptiveTuple ATuple17 D17

Functor (ATuple17 D17)

Applicative (ATuple17 D17)

Eq a[a1bu6] => Eq (ATuple17 s[a1bu5] a[a1bu6])

(Data s[a1bu5], Data a[a1bu6]) => Data (ATuple17 s[a1bu5] a[a1bu6])

Show a[a1bu6] => Show (ATuple17 s[a1bu5] a[a1bu6])

data ATuple16 s[a1bu3] a[a1bu4]

Constructors

ATuple16 !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4] !a[a1bu4]

Instances

Typeable2 ATuple16

AdaptiveTuple ATuple16 D16

Functor (ATuple16 D16)

Applicative (ATuple16 D16)

Eq a[a1bu4] => Eq (ATuple16 s[a1bu3] a[a1bu4])

(Data s[a1bu3], Data a[a1bu4]) => Data (ATuple16 s[a1bu3] a[a1bu4])

Show a[a1bu4] => Show (ATuple16 s[a1bu3] a[a1bu4])

data ATuple15 s[a1bu1] a[a1bu2]

Constructors

ATuple15 !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2] !a[a1bu2]

Instances

Typeable2 ATuple15

AdaptiveTuple ATuple15 D15

Functor (ATuple15 D15)

Applicative (ATuple15 D15)

Eq a[a1bu2] => Eq (ATuple15 s[a1bu1] a[a1bu2])

(Data s[a1bu1], Data a[a1bu2]) => Data (ATuple15 s[a1bu1] a[a1bu2])

Show a[a1bu2] => Show (ATuple15 s[a1bu1] a[a1bu2])

data ATuple14 s[a1btZ] a[a1bu0]

Constructors

ATuple14 !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0] !a[a1bu0]

Instances

Typeable2 ATuple14

AdaptiveTuple ATuple14 D14

Functor (ATuple14 D14)

Applicative (ATuple14 D14)

Eq a[a1bu0] => Eq (ATuple14 s[a1btZ] a[a1bu0])

(Data s[a1btZ], Data a[a1bu0]) => Data (ATuple14 s[a1btZ] a[a1bu0])

Show a[a1bu0] => Show (ATuple14 s[a1btZ] a[a1bu0])

data ATuple13 s[a1btX] a[a1btY]

Constructors

ATuple13 !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY] !a[a1btY]

Instances

Typeable2 ATuple13

AdaptiveTuple ATuple13 D13

Functor (ATuple13 D13)

Applicative (ATuple13 D13)

Eq a[a1btY] => Eq (ATuple13 s[a1btX] a[a1btY])

(Data s[a1btX], Data a[a1btY]) => Data (ATuple13 s[a1btX] a[a1btY])

Show a[a1btY] => Show (ATuple13 s[a1btX] a[a1btY])

data ATuple12 s[a1btV] a[a1btW]

Constructors

ATuple12 !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW] !a[a1btW]

Instances

Typeable2 ATuple12

AdaptiveTuple ATuple12 D12

Functor (ATuple12 D12)

Applicative (ATuple12 D12)

Eq a[a1btW] => Eq (ATuple12 s[a1btV] a[a1btW])

(Data s[a1btV], Data a[a1btW]) => Data (ATuple12 s[a1btV] a[a1btW])

Show a[a1btW] => Show (ATuple12 s[a1btV] a[a1btW])

data ATuple11 s[a1btT] a[a1btU]

Constructors

ATuple11 !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU] !a[a1btU]

Instances

Typeable2 ATuple11

AdaptiveTuple ATuple11 D11

Functor (ATuple11 D11)

Applicative (ATuple11 D11)

Eq a[a1btU] => Eq (ATuple11 s[a1btT] a[a1btU])

(Data s[a1btT], Data a[a1btU]) => Data (ATuple11 s[a1btT] a[a1btU])

Show a[a1btU] => Show (ATuple11 s[a1btT] a[a1btU])

data ATuple10 s[a1btR] a[a1btS]

Constructors

ATuple10 !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS] !a[a1btS]

Instances

Typeable2 ATuple10

AdaptiveTuple ATuple10 D10

Functor (ATuple10 D10)

Applicative (ATuple10 D10)

Eq a[a1btS] => Eq (ATuple10 s[a1btR] a[a1btS])

(Data s[a1btR], Data a[a1btS]) => Data (ATuple10 s[a1btR] a[a1btS])

Show a[a1btS] => Show (ATuple10 s[a1btR] a[a1btS])

data ATuple9 s[a1btP] a[a1btQ]

Constructors

ATuple9 !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ] !a[a1btQ]

Instances

Typeable2 ATuple9

AdaptiveTuple ATuple9 D9

Functor (ATuple9 D9)

Applicative (ATuple9 D9)

Eq a[a1btQ] => Eq (ATuple9 s[a1btP] a[a1btQ])

(Data s[a1btP], Data a[a1btQ]) => Data (ATuple9 s[a1btP] a[a1btQ])

Show a[a1btQ] => Show (ATuple9 s[a1btP] a[a1btQ])

data ATuple8 s[a1btN] a[a1btO]

Constructors

ATuple8 !a[a1btO] !a[a1btO] !a[a1btO] !a[a1btO] !a[a1btO] !a[a1btO] !a[a1btO] !a[a1btO]

Instances

Typeable2 ATuple8

AdaptiveTuple ATuple8 D8

Functor (ATuple8 D8)

Applicative (ATuple8 D8)

Eq a[a1btO] => Eq (ATuple8 s[a1btN] a[a1btO])

(Data s[a1btN], Data a[a1btO]) => Data (ATuple8 s[a1btN] a[a1btO])

Show a[a1btO] => Show (ATuple8 s[a1btN] a[a1btO])

data ATuple7 s[a1btL] a[a1btM]

Constructors

ATuple7 !a[a1btM] !a[a1btM] !a[a1btM] !a[a1btM] !a[a1btM] !a[a1btM] !a[a1btM]

Instances

Typeable2 ATuple7

AdaptiveTuple ATuple7 D7

Functor (ATuple7 D7)

Applicative (ATuple7 D7)

Eq a[a1btM] => Eq (ATuple7 s[a1btL] a[a1btM])

(Data s[a1btL], Data a[a1btM]) => Data (ATuple7 s[a1btL] a[a1btM])

Show a[a1btM] => Show (ATuple7 s[a1btL] a[a1btM])

data ATuple6 s[a1btJ] a[a1btK]

Constructors

ATuple6 !a[a1btK] !a[a1btK] !a[a1btK] !a[a1btK] !a[a1btK] !a[a1btK]

Instances

Typeable2 ATuple6

AdaptiveTuple ATuple6 D6

Functor (ATuple6 D6)

Applicative (ATuple6 D6)

Eq a[a1btK] => Eq (ATuple6 s[a1btJ] a[a1btK])

(Data s[a1btJ], Data a[a1btK]) => Data (ATuple6 s[a1btJ] a[a1btK])

Show a[a1btK] => Show (ATuple6 s[a1btJ] a[a1btK])

data ATuple5 s[a1btH] a[a1btI]

Constructors

ATuple5 !a[a1btI] !a[a1btI] !a[a1btI] !a[a1btI] !a[a1btI]

Instances

Typeable2 ATuple5

AdaptiveTuple ATuple5 D5

Functor (ATuple5 D5)

Applicative (ATuple5 D5)

Eq a[a1btI] => Eq (ATuple5 s[a1btH] a[a1btI])

(Data s[a1btH], Data a[a1btI]) => Data (ATuple5 s[a1btH] a[a1btI])

Show a[a1btI] => Show (ATuple5 s[a1btH] a[a1btI])

data ATuple4 s[a1btF] a[a1btG]

Constructors

ATuple4 !a[a1btG] !a[a1btG] !a[a1btG] !a[a1btG]

Instances

Typeable2 ATuple4

AdaptiveTuple ATuple4 D4

Functor (ATuple4 D4)

Applicative (ATuple4 D4)

Eq a[a1btG] => Eq (ATuple4 s[a1btF] a[a1btG])

(Data s[a1btF], Data a[a1btG]) => Data (ATuple4 s[a1btF] a[a1btG])

Show a[a1btG] => Show (ATuple4 s[a1btF] a[a1btG])

data ATuple3 s[a1btD] a[a1btE]

Constructors

ATuple3 !a[a1btE] !a[a1btE] !a[a1btE]

Instances

Typeable2 ATuple3

AdaptiveTuple ATuple3 D3

Functor (ATuple3 D3)

Applicative (ATuple3 D3)

Eq a[a1btE] => Eq (ATuple3 s[a1btD] a[a1btE])

(Data s[a1btD], Data a[a1btE]) => Data (ATuple3 s[a1btD] a[a1btE])

Show a[a1btE] => Show (ATuple3 s[a1btD] a[a1btE])

data ATuple2 s[a1btB] a[a1btC]

Constructors

ATuple2 !a[a1btC] !a[a1btC]

Instances

Typeable2 ATuple2

AdaptiveTuple ATuple2 D2

Functor (ATuple2 D2)

Applicative (ATuple2 D2)

Eq a[a1btC] => Eq (ATuple2 s[a1btB] a[a1btC])

(Data s[a1btB], Data a[a1btC]) => Data (ATuple2 s[a1btB] a[a1btC])

Show a[a1btC] => Show (ATuple2 s[a1btB] a[a1btC])

data ATuple1 s[a1btz] a[a1btA]

Constructors

ATuple1 !a[a1btA]

Instances

Typeable2 ATuple1

AdaptiveTuple ATuple1 D1

Functor (ATuple1 D1)

Applicative (ATuple1 D1)

Eq a[a1btA] => Eq (ATuple1 s[a1btz] a[a1btA])

(Data s[a1btz], Data a[a1btA]) => Data (ATuple1 s[a1btz] a[a1btA])

Show a[a1btA] => Show (ATuple1 s[a1btz] a[a1btA])

reifyTuple4 :: forall el[a1i0D] r[a1i0E]. Int -> [el[a1i0D]] -> (forall c[a1i0F] s[a1i0G]. (AdaptiveTuple c[a1i0F] s[a1i0G], Nat s[a1i0G]) => c[a1i0F] s[a1i0G] el[a1i0D] -> r[a1i0E]) -> r[a1i0E]

reifyTuple8 :: forall el[a1i3W] r[a1i3X]. Int -> [el[a1i3W]] -> (forall c[a1i3Y] s[a1i3Z]. (AdaptiveTuple c[a1i3Y] s[a1i3Z], Nat s[a1i3Z]) => c[a1i3Y] s[a1i3Z] el[a1i3W] -> r[a1i3X]) -> r[a1i3X]

reifyTuple12 :: forall el[a1i8Z] r[a1i90]. Int -> [el[a1i8Z]] -> (forall c[a1i91] s[a1i92]. (AdaptiveTuple c[a1i91] s[a1i92], Nat s[a1i92]) => c[a1i91] s[a1i92] el[a1i8Z] -> r[a1i90]) -> r[a1i90]

reifyTuple16 :: forall el[a1ifM] r[a1ifN]. Int -> [el[a1ifM]] -> (forall c[a1ifO] s[a1ifP]. (AdaptiveTuple c[a1ifO] s[a1ifP], Nat s[a1ifP]) => c[a1ifO] s[a1ifP] el[a1ifM] -> r[a1ifN]) -> r[a1ifN]

reifyTuple20 :: forall el[a1ioj] r[a1iok]. Int -> [el[a1ioj]] -> (forall c[a1iol] s[a1iom]. (AdaptiveTuple c[a1iol] s[a1iom], Nat s[a1iom]) => c[a1iol] s[a1iom] el[a1ioj] -> r[a1iok]) -> r[a1iok]