trait ValidateCreation
- Companion
- object
class Object
trait Matchable
class Any
object ValidateCreation
trait ValidateEffect
object ValidateEffect
object all
trait ValidateInterpretation
object ValidateInterpretation
object validate
object create
Value members
Concrete methods
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
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
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
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
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