scalaz
scalaz
API
org.atnos.eff.addon.scalaz
EffScalaz
EffScalazApplicativeOps
EffScalazFlatSequenceOps
EffScalazOneEffectOps
EffScalazSequenceOps
all
either
either
eval
eval
safe
safe
validate
validate
org.atnos.eff.syntax.addon.scalaz
EitherEffectScalazOps
EvalEffectScalazOps
SafeEffectScalazOps
ValidateEffectScalazOps
all
eff
eff
effScalaz
either
either
eval
eval
safe
safe
validate
validate
scalaz
/
org.atnos.eff.addon.scalaz
/
validate
validate
org.atnos.eff.addon.scalaz.validate$
See the
validate
companion trait
object
validate
extends
validate
Attributes
Companion:
trait
Source:
validate.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
validate
class
Object
trait
Matchable
class
Any
Self type
validate
.type
Clear all
Members list
Concise view
Value members
Inherited methods
def
runMapDisjunction
[
R
,
U
,
E
,
L
:
Semigroup
,
A
](
r
:
Eff
[
R
,
A
])(
map
:
E
=>
L
)(
implicit
evidence$1
:
Semigroup
[
L
],
m
:
Aux
[[
_
]
=>>
Validate
[
E
,
_$5
],
R
,
U
]):
Eff
[
U
,
L
\/
A
]
Attributes
Inherited from:
validate
Source:
validate.scala
def
runNelDisjunction
[
R
,
U
,
E
,
A
](
r
:
Eff
[
R
,
A
])(
implicit
m
:
Aux
[[
_
]
=>>
Validate
[
E
,
_$3
],
R
,
U
]):
Eff
[
U
,
NonEmptyList
[
E
]
\/
A
]
Attributes
Inherited from:
validate
Source:
validate.scala
def
runValidationNel
[
R
,
U
,
E
,
A
](
r
:
Eff
[
R
,
A
])(
implicit
m
:
Aux
[[
_
]
=>>
Validate
[
E
,
_$1
],
R
,
U
]):
Eff
[
U
,
ValidationNel
[
E
,
A
]]
Attributes
Inherited from:
validate
Source:
validate.scala