teststate
.
core
.
Action
.
Group
Cond
Related Docs:
object Cond
|
package Group
final
case class
Cond
[
-R
,
-O
,
-S
,
+E
]
(
permit: (
ROS
[
R
,
O
,
S
]) ⇒
Or
[
E
,
Boolean
]
)
extends
AnyVal
with
Product
with
Serializable
Self Type
Cond
[
R
,
O
,
S
,
E
]
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
AnyVal
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Cond
Serializable
Serializable
Product
Equals
AnyVal
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
Cond
(
permit: (
ROS
[
R
,
O
,
S
]) ⇒
Or
[
E
,
Boolean
]
)
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
def
getClass
()
:
Class
[_ <:
AnyVal
]
Definition Classes
AnyVal → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
mapE
[
A
]
(
f: (
E
) ⇒
A
)
:
Cond
[
R
,
O
,
S
,
A
]
def
mapOS
[
A
,
B
]
(
f: (
A
) ⇒
O
,
g: (
B
) ⇒
S
)
:
Cond
[
R
,
A
,
B
,
E
]
def
mapR
[
A
]
(
f: (
A
) ⇒
R
)
:
Cond
[
A
,
O
,
S
,
E
]
def
modS
[
OO <:
O
,
SS <:
S
,
EE >:
E
]
(
m: (
OO
) ⇒ (
SS
) ⇒
Or
[
EE
,
SS
]
)
:
Cond
[
R
,
OO
,
SS
,
EE
]
val
permit
: (
ROS
[
R
,
O
,
S
]) ⇒
Or
[
E
,
Boolean
]
def
pmapO
[
A
,
EE >:
E
]
(
f: (
A
) ⇒
Or
[
EE
,
O
]
)
:
Cond
[
R
,
A
,
S
,
EE
]
def
pmapR
[
A
,
EE >:
E
]
(
f: (
A
) ⇒
Or
[
EE
,
R
]
)
:
Cond
[
A
,
O
,
S
,
EE
]
def
skip
(
ros:
ROS
[
R
,
O
,
S
]
)
:
Or
[
E
,
Boolean
]
def
|+|
[
RR <:
R
,
OO <:
O
,
SS <:
S
,
EE >:
E
]
(
next:
Cond
[
RR
,
OO
,
SS
,
EE
]
)
:
Cond
[
RR
,
OO
,
SS
,
EE
]
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
AnyVal
Inherited from
Any
Ungrouped