org
.
atnos
.
eff
.
syntax
.
addon
.
scalaz
ValidateEffectScalazOps
Related Doc:
package scalaz
final
class
ValidateEffectScalazOps
[
R
,
A
]
extends
AnyVal
Linear Supertypes
AnyVal
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
ValidateEffectScalazOps
AnyVal
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
ValidateEffectScalazOps
(
e:
Eff
[
R
,
A
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
e
:
Eff
[
R
,
A
]
def
getClass
()
:
Class
[_ <:
AnyVal
]
Definition Classes
AnyVal → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
runMapDisjunction
[
U
,
E
,
L
]
(
map: (
E
) ⇒
L
)
(
implicit
arg0:
Semigroup
[
L
]
,
m:
Aux
[[β$2$]
Validate
[
E
,
β$2$
],
R
,
U
]
)
:
Eff
[
U
,
\/
[
L
,
A
]]
def
runNelDisjunction
[
U
,
E
]
(
r:
Eff
[
R
,
A
]
)
(
implicit
m:
Aux
[[β$1$]
Validate
[
E
,
β$1$
],
R
,
U
]
)
:
Eff
[
U
,
\/
[
NonEmptyList
[
E
],
A
]]
def
runValidationNel
[
U
,
E
]
(
r:
Eff
[
R
,
A
]
)
(
implicit
m:
Aux
[[β$0$]
Validate
[
E
,
β$0$
],
R
,
U
]
)
:
Eff
[
U
,
ValidationNel
[
E
,
A
]]
def
toString
()
:
String
Definition Classes
Any
Inherited from
AnyVal
Inherited from
Any
Ungrouped