kantan.codecs
Members list
Packages
Provides a simple mechanism to insert derived type class instances in the implicit resolution mechanism.
Provides a simple mechanism to insert derived type class instances in the implicit resolution mechanism.
By default, when imported, such instances have the highest possible priority, which is typically problematic with shapeless instance derivation: bespoke instances for Option or Either, for example, find themselves shadowed by the generically derived ones.
If such instances are of type kantan.codecs.export.DerivedDecoder / kantan.codecs.export.DerivedEncoder rather than Decoder / Encoder, however, they'll find themselves with a lower precedence and only be used if no other, more specific instance is found.
Attributes
Defines codecs for encoding to and decoding from strings.
Defines codecs for encoding to and decoding from strings.
These codecs are not necessary meant to use directly, but more as part of larger ones. kantan.csv, for example, works with CSV files but delegates the act of encoding to or decoding from a CSV cell to string codecs.
Default instances can be found in kantan.codecs.strings.codecs.
Attributes
Type members
Classlikes
Combines a Decoder and an Encoder.
Codecs are only meant as a convenience, and should not be considered more powerful or desirable than encoders or decoders. Some types can be both encoded to and decoded from, and being able to define both instances in one call is convenient. It's however very poor practice to request a type to have a Codec instance - a much preferred alternative would be to require it to have a Decoder and an Encoder instance, which a Codec would fulfill.
Attributes
- Companion
- object
- Supertypes
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object StringCodec
Type class for types that can be decoded from other types.
Type class for types that can be decoded from other types.
Type parameters
- D
-
decoded type - what to decode to.
- E
-
encoded type - what to decode from.
- F
-
failure type - how to represent errors.
- T
-
tag type - used to specialise decoder instances, and usually where default implementations are declared.
Attributes
- Companion
- object
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
-
Provides methods commonly declared by companion objects for specialised decoder types.
Provides methods commonly declared by companion objects for specialised decoder types.
Most libraries that use kantan.codecs will declare type aliases for decoders - CellDecoder in kantan.csv, for example. DecoderCompanion lets such types have a useful companion object without a lot of code duplication.
Attributes
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
-
object StringDecoder
Type class for types that can be encoded into others.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object StringEncoder
Type class that represents data types that have an "empty" value.
Type class that represents data types that have an "empty" value.
The purpose of this type class is to allow automatic derivation of Decoder for decoded types that might not have a value - Option, List...
In theory, there should rarely be a need to interact directly with this type class, and one is usually better served by obtaining the Decoder instance for Option and mapping on it.
Attributes
- Companion
- object
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
Provides trait that result companion object can extend.
Provides trait that result companion object can extend.
The idea is that libraries that rely on kantan.codecs are likely to provide type-constrained versions of result, such as DecodeResult in kantan.csv. Users are likely to expect goodies such as fromTry or sequence on DecodeResult's companion object, which can be achieved by extending kantan.codecs.ResultCompanion.WithDefault.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ResultCompanion.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type