dupin-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
dupin-core/dupin.core

dupin.core

package dupin.core

Members list

Concise view

Type members

Classlikes

case class Context[+A](path: Path, value: A)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class FieldPart(value: String) extends PathPart

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait PathPart
class Object
trait Matchable
class Any
case class IndexPart(index: String) extends PathPart

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait PathPart
class Object
trait Matchable
class Any
final class Parser[F[_], E, A, B] extends ParserBinCompat[F, E, A, B]

A type class that defines how to parse an instance of A to an instance of B. Can be thought of as a A => F[IorNec[E, B]] function.

A type class that defines how to parse an instance of A to an instance of B. Can be thought of as a A => F[IorNec[E, B]] function.

Attributes

Companion:
object
Graph
Supertypes
trait ParserBinCompat[F, E, A, B]
class Object
trait Matchable
class Any
object Parser extends ParserInstances

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Parser.type
trait ParserBinCompat[F[_], E, A, B]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Parser[F, E, A, B]
Self type
Parser[F, E, A, B]
trait ParserInstance0

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Parser.type
trait ParserInstances extends ParserInstance0

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Parser.type
trait PartiallyAppliedValidatorConstructorBinCompat[F[_], E]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class Path(chain: Chain[PathPart])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Path

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Path.type
sealed trait PathPart

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FieldPart
class IndexPart
final class Validator[F[_], E, A] extends ValidatorBinCompat[F, E, A]

A type class that defines how to validate an instance of A. Can be thought of as a A => F[ValidatedNec[E, Unit]] function.

A type class that defines how to validate an instance of A. Can be thought of as a A => F[ValidatedNec[E, Unit]] function.

Attributes

Companion:
object
Graph
Supertypes
trait ValidatorBinCompat[F, E, A]
class Object
trait Matchable
class Any
object Validator extends ValidatorInstances

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ValidatorBinCompat[F[_], E, A]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Validator[F, E, A]
Self type
Validator[F, E, A]
trait ValidatorInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validator.type
object ValidatorMacro

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL