Defines a StringCodec instance for java.io.File.
Defines a StringCodec instance for java.io.File.
// Decoding example scala> import java.io.File scala> StringDecoder[File].decode("/home/nrinaudo") res1: Either[DecodeError, 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.
Defines a StringCodec instance for java.nio.file.Path.
// Decoding example scala> import java.nio.file.{Path, Paths} scala> StringDecoder[Path].decode("/home/nrinaudo") res1: Either[DecodeError, 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.
Defines a StringCodec instance for java.net.URI.
// Decoding example scala> import java.net.URI scala> StringDecoder[URI].decode("http://localhost:8080") res1: Either[DecodeError, 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.
Defines a StringCodec instance for java.net.URL.
// Decoding example scala> import java.net.URL scala> StringDecoder[URL].decode("http://localhost:8080") res1: Either[DecodeError, URL] = Right(http://localhost:8080) // Encoding example scala> StringEncoder[URL].encode(new URL("http://localhost:8080")) res2: String = http://localhost:8080
JVM-specific codec instances.