Encoder<A> abstract mixin
Class for binary encoding: converts a value of type A into a BitVector or an Err.
Implementers
Constructors
Encoder()
Properties
hashCode no setter inherited
The hash code for this object.
A hash code is a single integer which represents the state of the object that affects operator == comparisons.
All objects have hash codes. The default hash code implemented by Object represents only the identity of the object, the same way as the default operator == implementation only considers objects equal if they are identical (see identityHashCode).
If operator == is overridden to use the object state instead, the hash code must also be changed to represent that state, otherwise the object cannot be used in hash based data structures like the default Set and Map implementations.
Hash codes must be the same for objects that are equal to each other according to operator ==. The hash code of an object should only change if the object changes in a way that affects equality. There are no further requirements for the hash codes. They need not be consistent between executions of the same program and there are no distribution guarantees.
Objects that are not equal are allowed to have the same hash code. It is even technically allowed that all instances have the same hash code, but if clashes happen too often, it may reduce the efficiency of hash-based data structures like HashSet or HashMap.
If a subclass overrides hashCode, it should override the operator == operator as well to maintain consistency.
Inherited from Object.
Implementation
external int get hashCode;runtimeType no setter inherited
A representation of the runtime type of the object.
Inherited from Object.
Implementation
external Type get runtimeType;Methods
contramap()
Adapts this encoder to accept values of B by first applying f.
Implementation
Encoder<B> contramap<B>(Function1<B, A> f) => Encoder.instance<B>((b) => encode(f(b)));encode()
Encodes a single value of A to a BitVector.
Implementation
Either<Err, BitVector> encode(A a);encodeAll()
Encodes all values in as and concatenates the resulting bits.
Implementation
Either<Err, BitVector> encodeAll(Iterable<A> as) => as.fold(
Either.right(BitVector.empty),
(acc, a) => encode(a).flatMap((res) => acc.map((acc) => acc.concat(res))),
);noSuchMethod() inherited
Invoked when a nonexistent method or property is accessed.
A dynamic member invocation can attempt to call a member which doesn't exist on the receiving object. Example:
dynamic object = 1;
object.add(42); // Statically allowed, run-time errorThis invalid code will invoke the noSuchMethod method of the integer 1 with an Invocation representing the .add(42) call and arguments (which then throws).
Classes can override noSuchMethod to provide custom behavior for such invalid dynamic invocations.
A class with a non-default noSuchMethod invocation can also omit implementations for members of its interface. Example:
class MockList<T> implements List<T> {
noSuchMethod(Invocation invocation) {
log(invocation);
super.noSuchMethod(invocation); // Will throw.
}
}
void main() {
MockList().add(42);
}This code has no compile-time warnings or errors even though the MockList class has no concrete implementation of any of the List interface methods. Calls to List methods are forwarded to noSuchMethod, so this code will log an invocation similar to Invocation.method(#add, [42]) and then throw.
If a value is returned from noSuchMethod, it becomes the result of the original invocation. If the value is not of a type that can be returned by the original invocation, a type error occurs at the invocation.
The default behavior is to throw a NoSuchMethodError.
Inherited from Object.
Implementation
@pragma("vm:entry-point")
@pragma("wasm:entry-point")
external dynamic noSuchMethod(Invocation invocation);toString() inherited
A string representation of this object.
Some classes have a default textual representation, often paired with a static parse function (like int.parse). These classes will provide the textual representation as their string representation.
Other classes have no meaningful textual representation that a program will care about. Such classes will typically override toString to provide useful information when inspecting the object, mainly for debugging or logging.
Inherited from Object.
Implementation
external String toString();Operators
operator ==() inherited
The equality operator.
The default behavior for all Objects is to return true if and only if this object and other are the same object.
Override this method to specify a different equality relation on a class. The overriding method must still be an equivalence relation. That is, it must be:
Total: It must return a boolean for all arguments. It should never throw.
Reflexive: For all objects
o,o == omust be true.Symmetric: For all objects
o1ando2,o1 == o2ando2 == o1must either both be true, or both be false.Transitive: For all objects
o1,o2, ando3, ifo1 == o2ando2 == o3are true, theno1 == o3must be true.
The method should also be consistent over time, so whether two objects are equal should only change if at least one of the objects was modified.
If a subclass overrides the equality operator, it should override the hashCode method as well to maintain consistency.
Inherited from Object.
Implementation
external bool operator ==(Object other);Static Methods
encodeBoth()
Encodes a with encodeA and b with encodeB, concatenating the results.
Implementation
static Either<Err, BitVector> encodeBoth<A, B>(
Encoder<A> encodeA,
A a,
Encoder<B> encodeB,
B b,
) => encodeA.encode(a).flatMap((bvA) => encodeB.encode(b).map((bvB) => bvA.concat(bvB)));instance()
Creates an Encoder from a raw EncodeF function.
Implementation
static Encoder<A> instance<A>(EncodeF<A> encode) => _EncoderF(encode);tuple10()
Encodes ten fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>
tuple10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
) => Encoder.instance(
(tuple) => tuple9(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
).encode(tuple.init).flatMap((bits) => encode9.encode(tuple.last).map(bits.concat)),
);tuple11()
Encodes eleven fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>
tuple11<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
) => Encoder.instance(
(tuple) => tuple10(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
).encode(tuple.init).flatMap((bits) => encode10.encode(tuple.last).map(bits.concat)),
);tuple12()
Encodes twelve fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)>
tuple12<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
) => Encoder.instance(
(tuple) => tuple11(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
).encode(tuple.init).flatMap((bits) => encode11.encode(tuple.last).map(bits.concat)),
);tuple13()
Encodes thirteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)>
tuple13<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
) => Encoder.instance(
(tuple) => tuple12(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
).encode(tuple.init).flatMap((bits) => encode12.encode(tuple.last).map(bits.concat)),
);tuple14()
Encodes fourteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)>
tuple14<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
) => Encoder.instance(
(tuple) => tuple13(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
).encode(tuple.init).flatMap((bits) => encode13.encode(tuple.last).map(bits.concat)),
);tuple15()
Encodes fifteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)>
tuple15<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
) => Encoder.instance(
(tuple) => tuple14(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
).encode(tuple.init).flatMap((bits) => encode14.encode(tuple.last).map(bits.concat)),
);tuple16()
Encodes sixteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)>
tuple16<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
) => Encoder.instance(
(tuple) => tuple15(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
).encode(tuple.init).flatMap((bits) => encode15.encode(tuple.last).map(bits.concat)),
);tuple17()
Encodes seventeen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)>
tuple17<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
) => Encoder.instance(
(tuple) => tuple16(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
).encode(tuple.init).flatMap((bits) => encode16.encode(tuple.last).map(bits.concat)),
);tuple18()
Encodes eighteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17)>
tuple18<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
Encoder<T17> encode17,
) => Encoder.instance(
(tuple) => tuple17(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
encode16,
).encode(tuple.init).flatMap((bits) => encode17.encode(tuple.last).map(bits.concat)),
);tuple19()
Encodes nineteen fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<
(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18)
>
tuple19<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
Encoder<T17> encode17,
Encoder<T18> encode18,
) => Encoder.instance(
(tuple) => tuple18(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
encode16,
encode17,
).encode(tuple.init).flatMap((bits) => encode18.encode(tuple.last).map(bits.concat)),
);tuple2()
Encodes two fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1)> tuple2<T0, T1>(
Encoder<T0> encode0,
Encoder<T1> encode1,
) => Encoder.instance(
(tuple) =>
encode0.encode(tuple.$1).flatMap((bits) => encode1.encode(tuple.last).map(bits.concat)),
);tuple20()
Encodes twenty fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<
(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19)
>
tuple20<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
Encoder<T17> encode17,
Encoder<T18> encode18,
Encoder<T19> encode19,
) => Encoder.instance(
(tuple) => tuple19(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
encode16,
encode17,
encode18,
).encode(tuple.init).flatMap((bits) => encode19.encode(tuple.last).map(bits.concat)),
);tuple21()
Encodes twenty-one fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<
(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20)
>
tuple21<
T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16,
T17,
T18,
T19,
T20
>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
Encoder<T17> encode17,
Encoder<T18> encode18,
Encoder<T19> encode19,
Encoder<T20> encode20,
) => Encoder.instance(
(tuple) => tuple20(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
encode16,
encode17,
encode18,
encode19,
).encode(tuple.init).flatMap((bits) => encode20.encode(tuple.last).map(bits.concat)),
);tuple22()
Encodes twenty-two fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<
(
T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16,
T17,
T18,
T19,
T20,
T21,
)
>
tuple22<
T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16,
T17,
T18,
T19,
T20,
T21
>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
Encoder<T9> encode9,
Encoder<T10> encode10,
Encoder<T11> encode11,
Encoder<T12> encode12,
Encoder<T13> encode13,
Encoder<T14> encode14,
Encoder<T15> encode15,
Encoder<T16> encode16,
Encoder<T17> encode17,
Encoder<T18> encode18,
Encoder<T19> encode19,
Encoder<T20> encode20,
Encoder<T21> encode21,
) => Encoder.instance(
(tuple) => tuple21(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
encode8,
encode9,
encode10,
encode11,
encode12,
encode13,
encode14,
encode15,
encode16,
encode17,
encode18,
encode19,
encode20,
).encode(tuple.init).flatMap((bits) => encode21.encode(tuple.last).map(bits.concat)),
);tuple3()
Encodes three fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2)> tuple3<T0, T1, T2>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
) => Encoder.instance(
(tuple) => tuple2(
encode0,
encode1,
).encode(tuple.init).flatMap((bits) => encode2.encode(tuple.last).map(bits.concat)),
);tuple4()
Encodes four fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3)> tuple4<T0, T1, T2, T3>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
) => Encoder.instance(
(tuple) => tuple3(
encode0,
encode1,
encode2,
).encode(tuple.init).flatMap((bits) => encode3.encode(tuple.last).map(bits.concat)),
);tuple5()
Encodes five fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4)> tuple5<T0, T1, T2, T3, T4>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
) => Encoder.instance(
(tuple) => tuple4(
encode0,
encode1,
encode2,
encode3,
).encode(tuple.init).flatMap((bits) => encode4.encode(tuple.last).map(bits.concat)),
);tuple6()
Encodes six fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5)> tuple6<T0, T1, T2, T3, T4, T5>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
) => Encoder.instance(
(tuple) => tuple5(
encode0,
encode1,
encode2,
encode3,
encode4,
).encode(tuple.init).flatMap((bits) => encode5.encode(tuple.last).map(bits.concat)),
);tuple7()
Encodes seven fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6)> tuple7<T0, T1, T2, T3, T4, T5, T6>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
) => Encoder.instance(
(tuple) => tuple6(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
).encode(tuple.init).flatMap((bits) => encode6.encode(tuple.last).map(bits.concat)),
);tuple8()
Encodes eight fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7)> tuple8<T0, T1, T2, T3, T4, T5, T6, T7>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
) => Encoder.instance(
(tuple) => tuple7(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
).encode(tuple.init).flatMap((bits) => encode7.encode(tuple.last).map(bits.concat)),
);tuple9()
Encodes nine fields sequentially, concatenating the resulting bits.
Implementation
static Encoder<(T0, T1, T2, T3, T4, T5, T6, T7, T8)> tuple9<T0, T1, T2, T3, T4, T5, T6, T7, T8>(
Encoder<T0> encode0,
Encoder<T1> encode1,
Encoder<T2> encode2,
Encoder<T3> encode3,
Encoder<T4> encode4,
Encoder<T5> encode5,
Encoder<T6> encode6,
Encoder<T7> encode7,
Encoder<T8> encode8,
) => Encoder.instance(
(tuple) => tuple8(
encode0,
encode1,
encode2,
encode3,
encode4,
encode5,
encode6,
encode7,
).encode(tuple.init).flatMap((bits) => encode8.encode(tuple.last).map(bits.concat)),
);