From aad6ebad69685abd4b7711039d91d5c19dfbf61f Mon Sep 17 00:00:00 2001 From: Linnea Gräf Date: Sat, 16 Nov 2024 17:20:52 +0100 Subject: chore: create subproject for core --- src/main/java/moe/nea/pcj/json/AtField.java | 4 - src/main/java/moe/nea/pcj/json/AtIndex.java | 4 - src/main/java/moe/nea/pcj/json/BasicCodecs.java | 47 --- .../java/moe/nea/pcj/json/DuplicateJsonKey.java | 4 - .../java/moe/nea/pcj/json/DuringKeyExtraction.java | 4 - src/main/java/moe/nea/pcj/json/InSubType.java | 4 - src/main/java/moe/nea/pcj/json/JsonCodec.java | 84 ----- src/main/java/moe/nea/pcj/json/JsonLikeError.java | 4 - .../java/moe/nea/pcj/json/JsonLikeOperations.java | 32 -- src/main/java/moe/nea/pcj/json/ListBuilder.java | 9 - src/main/java/moe/nea/pcj/json/ListView.java | 14 - src/main/java/moe/nea/pcj/json/MapCodec.java | 64 ---- src/main/java/moe/nea/pcj/json/MissingKey.java | 4 - src/main/java/moe/nea/pcj/json/NamedObject.java | 4 - src/main/java/moe/nea/pcj/json/RecordBuilder.java | 12 - src/main/java/moe/nea/pcj/json/RecordCodec.java | 23 -- src/main/java/moe/nea/pcj/json/RecordJoiners.java | 338 --------------------- src/main/java/moe/nea/pcj/json/RecordView.java | 10 - .../moe/nea/pcj/json/UnexpectedJsonElement.java | 7 - src/main/java/moe/nea/pcj/json/UnknownSubtype.java | 10 - src/main/java/moe/nea/pcj/json/package-info.java | 4 - 21 files changed, 686 deletions(-) delete mode 100644 src/main/java/moe/nea/pcj/json/AtField.java delete mode 100644 src/main/java/moe/nea/pcj/json/AtIndex.java delete mode 100644 src/main/java/moe/nea/pcj/json/BasicCodecs.java delete mode 100644 src/main/java/moe/nea/pcj/json/DuplicateJsonKey.java delete mode 100644 src/main/java/moe/nea/pcj/json/DuringKeyExtraction.java delete mode 100644 src/main/java/moe/nea/pcj/json/InSubType.java delete mode 100644 src/main/java/moe/nea/pcj/json/JsonCodec.java delete mode 100644 src/main/java/moe/nea/pcj/json/JsonLikeError.java delete mode 100644 src/main/java/moe/nea/pcj/json/JsonLikeOperations.java delete mode 100644 src/main/java/moe/nea/pcj/json/ListBuilder.java delete mode 100644 src/main/java/moe/nea/pcj/json/ListView.java delete mode 100644 src/main/java/moe/nea/pcj/json/MapCodec.java delete mode 100644 src/main/java/moe/nea/pcj/json/MissingKey.java delete mode 100644 src/main/java/moe/nea/pcj/json/NamedObject.java delete mode 100644 src/main/java/moe/nea/pcj/json/RecordBuilder.java delete mode 100644 src/main/java/moe/nea/pcj/json/RecordCodec.java delete mode 100644 src/main/java/moe/nea/pcj/json/RecordJoiners.java delete mode 100644 src/main/java/moe/nea/pcj/json/RecordView.java delete mode 100644 src/main/java/moe/nea/pcj/json/UnexpectedJsonElement.java delete mode 100644 src/main/java/moe/nea/pcj/json/UnknownSubtype.java delete mode 100644 src/main/java/moe/nea/pcj/json/package-info.java (limited to 'src/main/java/moe/nea/pcj/json') diff --git a/src/main/java/moe/nea/pcj/json/AtField.java b/src/main/java/moe/nea/pcj/json/AtField.java deleted file mode 100644 index 3780e38..0000000 --- a/src/main/java/moe/nea/pcj/json/AtField.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record AtField(String field, JsonLikeError error) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/AtIndex.java b/src/main/java/moe/nea/pcj/json/AtIndex.java deleted file mode 100644 index ec01112..0000000 --- a/src/main/java/moe/nea/pcj/json/AtIndex.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record AtIndex(int index, JsonLikeError error) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/BasicCodecs.java b/src/main/java/moe/nea/pcj/json/BasicCodecs.java deleted file mode 100644 index 565711d..0000000 --- a/src/main/java/moe/nea/pcj/json/BasicCodecs.java +++ /dev/null @@ -1,47 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Result; - -public class BasicCodecs { - protected BasicCodecs() {} - - public static BasicCodecs create() { - return new BasicCodecs<>(); - } - - public final JsonCodec STRING = new JsonCodec<>() { - @Override - public Result decode(Format format, JsonLikeOperations ops) { - return ops.getString(format); - } - - @Override - public Result encode(String data, JsonLikeOperations ops) { - return Result.ok(ops.createString(data)); - } - }; - - public final JsonCodec FLOAT = new JsonCodec() { - @Override - public Result decode(Format format, JsonLikeOperations ops) { - return ops.getNumeric(format).map(Number::floatValue); - } - - @Override - public Result encode(Float data, JsonLikeOperations ops) { - return Result.ok(ops.createNumeric(data)); - } - }; - - public final JsonCodec INTEGER = new JsonCodec<>() { - @Override - public Result decode(Format format, JsonLikeOperations ops) { - return ops.getNumeric(format).map(Number::intValue); // TODO: filter for valid ints - } - - @Override - public Result encode(Integer data, JsonLikeOperations ops) { - return Result.ok(ops.createNumeric(data)); - } - }; -} \ No newline at end of file diff --git a/src/main/java/moe/nea/pcj/json/DuplicateJsonKey.java b/src/main/java/moe/nea/pcj/json/DuplicateJsonKey.java deleted file mode 100644 index 13d81db..0000000 --- a/src/main/java/moe/nea/pcj/json/DuplicateJsonKey.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record DuplicateJsonKey(String key) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/DuringKeyExtraction.java b/src/main/java/moe/nea/pcj/json/DuringKeyExtraction.java deleted file mode 100644 index 859f98f..0000000 --- a/src/main/java/moe/nea/pcj/json/DuringKeyExtraction.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record DuringKeyExtraction(JsonLikeError error) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/InSubType.java b/src/main/java/moe/nea/pcj/json/InSubType.java deleted file mode 100644 index ae62a73..0000000 --- a/src/main/java/moe/nea/pcj/json/InSubType.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record InSubType(T typeTag, JsonLikeError error) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/JsonCodec.java b/src/main/java/moe/nea/pcj/json/JsonCodec.java deleted file mode 100644 index c5c750b..0000000 --- a/src/main/java/moe/nea/pcj/json/JsonCodec.java +++ /dev/null @@ -1,84 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Codec; -import moe.nea.pcj.Result; - -import java.util.ArrayList; -import java.util.List; - -public interface JsonCodec extends Codec< - T, Format, JsonLikeOperations, - JsonLikeError, JsonLikeError> { - - default JsonCodec, Format> listOf() { - return new JsonCodec<>() { - @Override - public Result encode(List data, JsonLikeOperations ops) { - var list = ops.createList(); - var erros = new ArrayList(); - for (int i = 0; i < data.size(); i++) { - var datum = data.get(i); - final var index = i; - var result = JsonCodec.this.encode(datum, ops) - .mapError(it -> new AtIndex(index, it)); - erros.addAll(result.errors()); - result.valueOrPartial().ifPresent(list::add); - } - return Result.ok(list.complete()).appendErrors(erros); - } - - @Override - public Result, JsonLikeError> decode(Format format, JsonLikeOperations ops) { - var view = Result., JsonLikeError>cast(ops.getList(format)); - return view.flatMap(elements -> { - var acc = new ArrayList(elements.length()); - var errors = new ArrayList(); - for (int i = 0; i < elements.length(); i++) { - final var index = i; - var result = JsonCodec.this.decode(elements.getUnsafe(i), ops) - .mapError(it -> new AtIndex(index, it)); - errors.addAll(result.errors()); - result.valueOrPartial().ifPresent(acc::add); - } - return Result., JsonLikeError>ok(acc).appendErrors(errors); - }); - } - }; - } - - default JsonCodec named(String name) { - return new JsonCodec<>() { - @Override - public Result decode(Format format, JsonLikeOperations ops) { - return JsonCodec.this.decode(format, ops).mapError(it -> new NamedObject(name, it)); - } - - @Override - public Result encode(T data, JsonLikeOperations ops) { - return JsonCodec.this.encode(data, ops).mapError(it -> new NamedObject(name, it)); - } - }; - } - - default MapCodec fieldOf(String key) { - return new MapCodec<>() { - @Override - public Result decode(RecordView record, JsonLikeOperations ops) { - return record.get(key) - .map(element -> Result.cast( - JsonCodec.this.decode(element, ops) - .mapError(it -> new AtField(key, it)))) - .orElseGet(() -> Result.fail(new MissingKey(key))); - } - - @Override - public Result, JsonLikeError> encode(T value, JsonLikeOperations ops) { - var record = ops.createObject(); - return Result.cast(JsonCodec.this.encode(value, ops)) - .mapError(it -> new AtField(key, it)) - .flatMap(json -> Result.cast(record.add(key, json).map(unit -> record))); - } - - }; - } -} diff --git a/src/main/java/moe/nea/pcj/json/JsonLikeError.java b/src/main/java/moe/nea/pcj/json/JsonLikeError.java deleted file mode 100644 index 609bd84..0000000 --- a/src/main/java/moe/nea/pcj/json/JsonLikeError.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public interface JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/JsonLikeOperations.java b/src/main/java/moe/nea/pcj/json/JsonLikeOperations.java deleted file mode 100644 index ffefeda..0000000 --- a/src/main/java/moe/nea/pcj/json/JsonLikeOperations.java +++ /dev/null @@ -1,32 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Operation; -import moe.nea.pcj.Result; -import moe.nea.pcj.Unit; - -public interface JsonLikeOperations extends Operation { - - Format createNull(Unit value); - - Result getNull(Format element); - - Format createNumeric(Number value); - - Result getNumeric(Format element); - - Format createString(String value); - - Result getString(Format element); - - Format createBoolean(boolean value); - - Result getBoolean(Format format); - - RecordBuilder createObject(); - - Result, ? extends JsonLikeError> getObject(Format format); - - ListBuilder createList(); - - Result, ? extends JsonLikeError> getList(Format format); -} diff --git a/src/main/java/moe/nea/pcj/json/ListBuilder.java b/src/main/java/moe/nea/pcj/json/ListBuilder.java deleted file mode 100644 index fd2a407..0000000 --- a/src/main/java/moe/nea/pcj/json/ListBuilder.java +++ /dev/null @@ -1,9 +0,0 @@ -package moe.nea.pcj.json; - -public interface ListBuilder extends ListView { - ElementFormat complete(); - - void add(ElementFormat value); - - void set(int index, ElementFormat value); -} diff --git a/src/main/java/moe/nea/pcj/json/ListView.java b/src/main/java/moe/nea/pcj/json/ListView.java deleted file mode 100644 index dcc6e37..0000000 --- a/src/main/java/moe/nea/pcj/json/ListView.java +++ /dev/null @@ -1,14 +0,0 @@ -package moe.nea.pcj.json; - -import java.util.Optional; - -public interface ListView { - int length(); - - default Optional getSafe(int index) { - if (index < 0 || index >= length()) return Optional.empty(); - return Optional.of(getUnsafe(index)); - } - - Format getUnsafe(int index); -} diff --git a/src/main/java/moe/nea/pcj/json/MapCodec.java b/src/main/java/moe/nea/pcj/json/MapCodec.java deleted file mode 100644 index 9f343fd..0000000 --- a/src/main/java/moe/nea/pcj/json/MapCodec.java +++ /dev/null @@ -1,64 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Result; - -import java.util.function.Function; - -public interface MapCodec { - Result decode( - RecordView record, - JsonLikeOperations ops); - - Result, JsonLikeError> encode(T value, JsonLikeOperations ops); - - default MapCodec dispatch( - Function keyExtractor, - Function, ? extends JsonLikeError>> codecGenerator - ) { - // TODO: the codecGenerator function is not exactly typesafe. there should be some limit on keyExtractor and codecGenerator working in tandem - return new MapCodec<>() { - @Override - public Result decode(RecordView record, JsonLikeOperations ops) { // TODO: map errors - return MapCodec.this.decode(record, ops) - .flatMap(key -> codecGenerator - .apply(key) - .mapError(DuringKeyExtraction::new) - .flatMap(codec -> codec.decode(record, ops) - .mapError(it -> new InSubType<>(key, it)))); - } - - @Override - public Result, JsonLikeError> encode(O value, JsonLikeOperations ops) { - var key = keyExtractor.apply(value); - return Result., JsonLikeError>cast( - codecGenerator.apply(key) - .mapError(DuringKeyExtraction::new)) - .flatMap(codec -> MapCodec.this - .encode(key, ops) - .flatMap(keyEncoded -> ((MapCodec) codec) - .encode(value, ops) - .mapError(it -> new InSubType<>(key, it)) - .flatMap(keyEncoded::mergeWith))); - } - }; - } - - default JsonCodec codec() { - return new JsonCodec<>() { - @Override - public Result decode(Format format, JsonLikeOperations ops) { - return Result., JsonLikeError>cast(ops.getObject(format)) - .flatMap(record -> MapCodec.this.decode(record, ops)); - } - - @Override - public Result encode(T data, JsonLikeOperations ops) { - return Result.cast(MapCodec.this.encode(data, ops)).map(RecordBuilder::complete); - } - }; - } - - default RecordCodec withGetter(Function getter) { - return new RecordCodec<>(this, getter); - } -} diff --git a/src/main/java/moe/nea/pcj/json/MissingKey.java b/src/main/java/moe/nea/pcj/json/MissingKey.java deleted file mode 100644 index 3dad05c..0000000 --- a/src/main/java/moe/nea/pcj/json/MissingKey.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record MissingKey(String missingKey) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/NamedObject.java b/src/main/java/moe/nea/pcj/json/NamedObject.java deleted file mode 100644 index aedc87b..0000000 --- a/src/main/java/moe/nea/pcj/json/NamedObject.java +++ /dev/null @@ -1,4 +0,0 @@ -package moe.nea.pcj.json; - -public record NamedObject(String name, JsonLikeError error) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/RecordBuilder.java b/src/main/java/moe/nea/pcj/json/RecordBuilder.java deleted file mode 100644 index c610f27..0000000 --- a/src/main/java/moe/nea/pcj/json/RecordBuilder.java +++ /dev/null @@ -1,12 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Result; -import moe.nea.pcj.Unit; - -public interface RecordBuilder extends RecordView { - Result add(String key, ElementFormat value); - - Result, JsonLikeError> mergeWith(RecordBuilder other); - - ElementFormat complete(); -} diff --git a/src/main/java/moe/nea/pcj/json/RecordCodec.java b/src/main/java/moe/nea/pcj/json/RecordCodec.java deleted file mode 100644 index fa7aac7..0000000 --- a/src/main/java/moe/nea/pcj/json/RecordCodec.java +++ /dev/null @@ -1,23 +0,0 @@ -package moe.nea.pcj.json; - -import moe.nea.pcj.Result; - -import java.util.function.Function; - -public record RecordCodec( - MapCodec codec, - Function getter -) { - - Result, JsonLikeError> enc(O data, JsonLikeOperations ops) { - return codec().encode(getter().apply(data), ops); - } - - Result dec(RecordView data, JsonLikeOperations ops) { - return Result.cast(codec().decode(data, ops)); - } - - static Result, JsonLikeError> merge(Result, JsonLikeError> left, Result, JsonLikeError> right) { - return left.flatMap(l -> right.flatMap(l::mergeWith)); - } -} diff --git a/src/main/java/moe/nea/pcj/json/RecordJoiners.java b/src/main/java/moe/nea/pcj/json/RecordJoiners.java deleted file mode 100644 index 57bdd63..0000000 --- a/src/main/java/moe/nea/pcj/json/RecordJoiners.java +++ /dev/null @@ -1,338 +0,0 @@ -// @generated by genrecord.ts -package moe.nea.pcj.json; - -import moe.nea.pcj.*; -import java.util.stream.*; - -@SuppressWarnings("unused") -public class RecordJoiners { - public static MapCodec join( - RecordCodec arg0, - Tuple.Func1 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple1.collect(new Tuple.Tuple1<>(arg0.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - Tuple.Func2 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple2.collect(new Tuple.Tuple2<>(arg0.dec(format, ops), arg1.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - Tuple.Func3 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple3.collect(new Tuple.Tuple3<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - Tuple.Func4 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple4.collect(new Tuple.Tuple4<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - Tuple.Func5 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple5.collect(new Tuple.Tuple5<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - Tuple.Func6 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple6.collect(new Tuple.Tuple6<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - Tuple.Func7 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple7.collect(new Tuple.Tuple7<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - Tuple.Func8 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple8.collect(new Tuple.Tuple8<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - Tuple.Func9 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple9.collect(new Tuple.Tuple9<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - RecordCodec arg9, - Tuple.Func10 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops), arg9.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple10.collect(new Tuple.Tuple10<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops), arg9.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - RecordCodec arg9, - RecordCodec arg10, - Tuple.Func11 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops), arg9.enc(data, ops), arg10.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple11.collect(new Tuple.Tuple11<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops), arg9.dec(format, ops), arg10.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - RecordCodec arg9, - RecordCodec arg10, - RecordCodec arg11, - Tuple.Func12 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops), arg9.enc(data, ops), arg10.enc(data, ops), arg11.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple12.collect(new Tuple.Tuple12<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops), arg9.dec(format, ops), arg10.dec(format, ops), arg11.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - RecordCodec arg9, - RecordCodec arg10, - RecordCodec arg11, - RecordCodec arg12, - Tuple.Func13 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops), arg9.enc(data, ops), arg10.enc(data, ops), arg11.enc(data, ops), arg12.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple13.collect(new Tuple.Tuple13<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops), arg9.dec(format, ops), arg10.dec(format, ops), arg11.dec(format, ops), arg12.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } - public static MapCodec join( - RecordCodec arg0, - RecordCodec arg1, - RecordCodec arg2, - RecordCodec arg3, - RecordCodec arg4, - RecordCodec arg5, - RecordCodec arg6, - RecordCodec arg7, - RecordCodec arg8, - RecordCodec arg9, - RecordCodec arg10, - RecordCodec arg11, - RecordCodec arg12, - RecordCodec arg13, - Tuple.Func14 joiner - ) { - return new MapCodec<>() { - @Override - public Result, JsonLikeError> encode(O data, JsonLikeOperations ops) { - return Stream.of(arg0.enc(data, ops), arg1.enc(data, ops), arg2.enc(data, ops), arg3.enc(data, ops), arg4.enc(data, ops), arg5.enc(data, ops), arg6.enc(data, ops), arg7.enc(data, ops), arg8.enc(data, ops), arg9.enc(data, ops), arg10.enc(data, ops), arg11.enc(data, ops), arg12.enc(data, ops), arg13.enc(data, ops)) - .reduce(Result.ok(ops.createObject()), RecordCodec::merge); - } - @Override - public Result decode(RecordView format, JsonLikeOperations ops) { - return Tuple.Tuple14.collect(new Tuple.Tuple14<>(arg0.dec(format, ops), arg1.dec(format, ops), arg2.dec(format, ops), arg3.dec(format, ops), arg4.dec(format, ops), arg5.dec(format, ops), arg6.dec(format, ops), arg7.dec(format, ops), arg8.dec(format, ops), arg9.dec(format, ops), arg10.dec(format, ops), arg11.dec(format, ops), arg12.dec(format, ops), arg13.dec(format, ops))) - .map(it -> it.applyTo(joiner)); - } - }; - } -} diff --git a/src/main/java/moe/nea/pcj/json/RecordView.java b/src/main/java/moe/nea/pcj/json/RecordView.java deleted file mode 100644 index 968a936..0000000 --- a/src/main/java/moe/nea/pcj/json/RecordView.java +++ /dev/null @@ -1,10 +0,0 @@ -package moe.nea.pcj.json; - -import java.util.Collection; -import java.util.Optional; - -public interface RecordView { - Collection getKeys(); - - Optional get(String key); -} diff --git a/src/main/java/moe/nea/pcj/json/UnexpectedJsonElement.java b/src/main/java/moe/nea/pcj/json/UnexpectedJsonElement.java deleted file mode 100644 index 7bee7c1..0000000 --- a/src/main/java/moe/nea/pcj/json/UnexpectedJsonElement.java +++ /dev/null @@ -1,7 +0,0 @@ -package moe.nea.pcj.json; - -public record UnexpectedJsonElement( - String expectedType, - Object actualJsonObject -) implements JsonLikeError { -} diff --git a/src/main/java/moe/nea/pcj/json/UnknownSubtype.java b/src/main/java/moe/nea/pcj/json/UnknownSubtype.java deleted file mode 100644 index 942a7dc..0000000 --- a/src/main/java/moe/nea/pcj/json/UnknownSubtype.java +++ /dev/null @@ -1,10 +0,0 @@ -package moe.nea.pcj.json; - -import java.util.Set; - -public record UnknownSubtype(T actual, Set expectedTypes) implements JsonLikeError { - @SafeVarargs - public UnknownSubtype(T actual, T... expected) { - this(actual, Set.of(expected)); - } -} diff --git a/src/main/java/moe/nea/pcj/json/package-info.java b/src/main/java/moe/nea/pcj/json/package-info.java deleted file mode 100644 index a5aace0..0000000 --- a/src/main/java/moe/nea/pcj/json/package-info.java +++ /dev/null @@ -1,4 +0,0 @@ -@NullMarked -package moe.nea.pcj.json; - -import org.jspecify.annotations.NullMarked; \ No newline at end of file -- cgit