core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/ValidateCreation

ValidateCreation

org.atnos.eff.ValidateCreation
See theValidateCreation companion object
trait ValidateCreation

Attributes

Companion:
object
Source:
ValidateEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ValidateCreation.type
object ValidateEffect.type
object all.type
object validate.type
object create.type

Members list

Concise view

Value members

Concrete methods

def correct[R, E, A](a: A)(implicit m: MemberIn[[_] =>> Validate[E, _$10], R]): Eff[R, A]

create a correct value

create a correct value

Attributes

Source:
ValidateEffect.scala
def validateCheck[R, E](condition: Boolean, e: => E)(implicit m: MemberIn[[_] =>> Validate[E, _$15], R]): Eff[R, Unit]

check a correct condition

check a correct condition

Attributes

Source:
ValidateEffect.scala
def validateEither[R, E, A](either: Either[E, A])(implicit m: MemberIn[[_] =>> Validate[E, _$3], R]): Eff[R, Unit]

create an Validate effect from a single Either value

create an Validate effect from a single Either value

Attributes

Source:
ValidateEffect.scala
def validateIor[R, E, A](ior: Ior[E, A])(implicit m: MemberIn[[_] =>> Validate[E, _$5], R]): Eff[R, Unit]

create an Validate effect from a single Ior value

create an Validate effect from a single Ior value

Attributes

Source:
ValidateEffect.scala
def validateOption[R, E, A](option: Option[A], e: => E)(implicit m: MemberIn[[_] =>> Validate[E, _$1], R]): Eff[R, Unit]

create an Validate effect from a single Option value

create an Validate effect from a single Option value

Attributes

Source:
ValidateEffect.scala
def validateValue[R, E, A](condition: Boolean, a: => A, e: => E)(implicit m: MemberIn[[_] =>> Validate[E, _$16], R]): Eff[R, A]

check a correct value

check a correct value

Attributes

Source:
ValidateEffect.scala
def warning[R, E](e: E)(implicit m: MemberIn[[_] =>> Validate[E, _$12], R]): Eff[R, Unit]

create a pure warning

create a pure warning

Attributes

Source:
ValidateEffect.scala
def warning[R, E, A](a: A, e: E)(implicit m: MemberIn[[_] =>> Validate[E, _$14], R]): Eff[R, A]

create a correct value with warning

create a correct value with warning

Attributes

Source:
ValidateEffect.scala
def wrong[R, E](e: E)(implicit m: MemberIn[[_] =>> Validate[E, _$8], R]): Eff[R, Unit]

create a failed value

create a failed value

Attributes

Source:
ValidateEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL