scalaz
scalaz
API
org.atnos.eff
addon.scalaz
EffScalaz
EffScalazApplicativeOps
EffScalazFlatSequenceOps
EffScalazOneEffectOps
EffScalazSequenceOps
all
either
either
eval
eval
safe
safe
validate
validate
syntax.addon.scalaz
EitherEffectScalazOps
EvalEffectScalazOps
SafeEffectScalazOps
ValidateEffectScalazOps
all
eff
eff
effScalaz
either
either
eval
eval
safe
safe
validate
validate
scalaz
/
org.atnos.eff
/
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
Members list
Clear all
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
In this article
Attributes
Members list
Value members
Inherited methods