Codec

Variant of imap which allows the Decoder to fail with message string.

Variant of imap which allows the Decoder to fail with Throwable.

Convert a value to JSON.

Decode the given HCursor.

Create a new decoder that attempts to navigate to the specified field before decoding.

Create a new Encoder by applying a function to a value of type B before encoding as an A.

Decode the given Json value.

Choose the first succeeding decoder, wrapping the result in a disjunction.

Create a new decoder that performs some operation on the result if this one succeeds.

Create a new decoder that performs some operation on the result if this one succeeds.

Build a new instance that fails with one or more errors if the condition does not hold for the result.

If the result of the function applied to the decoded value is the empty list, the new decoder will succeed with that value.

Build a new instance that fails if the condition does not hold for the result.

Note that in the case of chained calls to this method, only the first failure will be returned.

Monadically bind a function over this Decoder.

Create a new instance that handles any of this instance's errors with the given function.

Note that in the case of accumulating decoding, only the first error will be used in recovery.

Convert to a Kleisli arrow.

Map a function over this Decoder.

Create a new Encoder by applying a function to the output of this one.

Choose the first succeeding decoder.

Create a new decoder that performs some operation on the incoming JSON before decoding.

Run two decoders and return their results as a pair.

Decode the given ACursor.

Note that if you override the default implementation, you should also be sure to override tryDecodeAccumulating in order for fail-fast and accumulating decoding to be consistent.

Build a new instance that fails if the condition does not hold for the input.

Build a new instance that fails if the condition does not hold for the input.

Build a new instance with the specified error message.