codecs-core/kantan.codecs/kantan.codecs.strings/PlatformSpecificInstances

PlatformSpecificInstances

kantan.codecs.strings.PlatformSpecificInstances

trait PlatformSpecificInstances

JVM-specific codec instances.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object codecs

Members list

Implicits

Defines a StringCodec instance for java.io.File.

Attributes

Example

// Decoding example
scala> import java.io.File
scala> StringDecoder[File].decode("/home/nrinaudo")
res1: StringResult[File] = Right(/home/nrinaudo)
// Encoding example
scala> StringEncoder[File].encode(new File("/home/nrinaudo"))
res2: String = /home/nrinaudo

Defines a StringCodec instance for java.nio.file.Path.

Attributes

Example

// Decoding example
scala> import java.nio.file.{Path, Paths}
scala> StringDecoder[Path].decode("/home/nrinaudo")
res1: StringResult[Path] = Right(/home/nrinaudo)
// Encoding example
scala> StringEncoder[Path].encode(Paths.get("/home/nrinaudo"))
res2: String = /home/nrinaudo

Defines a StringCodec instance for java.net.URI.

Attributes

Example

// Decoding example
scala> import java.net.URI
scala> StringDecoder[URI].decode("http://localhost:8080")
res1: StringResult[URI] = Right(http://localhost:8080)
// Encoding example
scala> StringEncoder[URI].encode(new URI("http://localhost:8080"))
res2: String = http://localhost:8080

Defines a StringCodec instance for java.net.URL.

Attributes

Example

// Decoding example
scala> import java.net.URL
scala> import java.net.URI
scala> StringDecoder[URL].decode("http://localhost:8080")
res1: StringResult[URL] = Right(http://localhost:8080)
// Encoding example
scala> StringEncoder[URL].encode(new URI("http://localhost:8080").toURL)
res2: String = http://localhost:8080

In this article

Generated with