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

ValidateEffectOps

org.atnos.eff.syntax.validate.ValidateEffectOps
implicit class ValidateEffectOps[R, A](e: Eff[R, A])

Attributes

Source:
validate.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def catchAllWrongs[E](handle: NonEmptyList[E] => Eff[R, A])(implicit m: Member[[_] =>> Validate[E, _$10], R]): Eff[R, A]

Attributes

Source:
validate.scala
def catchFirstWrong[E](handle: E => Eff[R, A])(implicit m: Member[[_] =>> Validate[E, _$8], R]): Eff[R, A]

Attributes

Source:
validate.scala
def catchLastWrong[E](handle: E => Eff[R, A])(implicit m: Member[[_] =>> Validate[E, _$9], R]): Eff[R, A]

Attributes

Source:
validate.scala
def catchWrongs[E, S[_] : Applicative](handle: S[E] => Eff[R, A])(implicit evidence$3: Applicative[S], m: Member[[_] =>> Validate[E, _$7], R], semi: Semigroup[S[E]]): Eff[R, A]

Attributes

Source:
validate.scala
def runIorMap[E, L : Semigroup](map: E => L)(implicit evidence$2: Semigroup[L], m: Member[[_] =>> Validate[E, _$4], R]): Eff[Out, Ior[L, A]]

Attributes

Source:
validate.scala
def runIorNel[E](implicit m: Member[[_] =>> Validate[E, _$5], R]): Eff[Out, IorNel[E, A]]

Attributes

Source:
validate.scala
def runMap[E, L : Semigroup](map: E => L)(implicit evidence$1: Semigroup[L], m: Member[[_] =>> Validate[E, _$2], R]): Eff[Out, Either[L, A]]

Attributes

Source:
validate.scala
def runNel[E](implicit m: Member[[_] =>> Validate[E, _$1], R]): Eff[Out, Either[NonEmptyList[E], A]]

Attributes

Source:
validate.scala
def runValidatedNel[E](implicit m: Member[[_] =>> Validate[E, _$3], R]): Eff[Out, ValidatedNel[E, A]]

Attributes

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