Refinery/refinery/ValidatedC

ValidatedC

object ValidatedC
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Invalid[+C, +E](errors: Errors[C, E]) extends ValidatedC[C, E, Nothing]
final case class Valid[+C, +A](context: Chain[C], value: A) extends ValidatedC[C, Nothing, A]

Types

type Errors[+C, +E] = Type[Error[C, E]]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Implicits

Implicits

implicit def applicative[C, E]: Applicative[[_] =>> ValidatedC[C, E, _$1]]