teststate
.
core
Transformer
Related Docs:
object Transformer
|
package core
case class
Transformer
[
F
[
_
]
,
R
,
O
,
S
,
E
,
F2
[
_
]
,
R2
,
O2
,
S2
,
E2
]
(
actions: (
CoreExports.Actions
[
F
,
R
,
O
,
S
,
E
]) ⇒
CoreExports.Actions
[
F2
,
R2
,
O2
,
S2
,
E2
]
,
invariants: (
CoreExports.Invariants
[
O
,
S
,
E
]) ⇒
CoreExports.Invariants
[
O2
,
S2
,
E2
]
,
points: (
CoreExports.Points
[
O
,
S
,
E
]) ⇒
CoreExports.Points
[
O2
,
S2
,
E2
]
,
arounds: (
CoreExports.Arounds
[
O
,
S
,
E
]) ⇒
CoreExports.Arounds
[
O2
,
S2
,
E2
]
)
(
implicit
f1:
ExecutionModel
[
F
]
,
f2:
ExecutionModel
[
F2
]
)
extends
Product
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Transformer
Serializable
Serializable
Product
Equals
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
Transformer
(
actions: (
CoreExports.Actions
[
F
,
R
,
O
,
S
,
E
]) ⇒
CoreExports.Actions
[
F2
,
R2
,
O2
,
S2
,
E2
]
,
invariants: (
CoreExports.Invariants
[
O
,
S
,
E
]) ⇒
CoreExports.Invariants
[
O2
,
S2
,
E2
]
,
points: (
CoreExports.Points
[
O
,
S
,
E
]) ⇒
CoreExports.Points
[
O2
,
S2
,
E2
]
,
arounds: (
CoreExports.Arounds
[
O
,
S
,
E
]) ⇒
CoreExports.Arounds
[
O2
,
S2
,
E2
]
)
(
implicit
f1:
ExecutionModel
[
F
]
,
f2:
ExecutionModel
[
F2
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
actions
: (
CoreExports.Actions
[
F
,
R
,
O
,
S
,
E
]) ⇒
CoreExports.Actions
[
F2
,
R2
,
O2
,
S2
,
E2
]
val
arounds
: (
CoreExports.Arounds
[
O
,
S
,
E
]) ⇒
CoreExports.Arounds
[
O2
,
S2
,
E2
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
cmapE
[
X
]
(
f: (
X
) ⇒
E
)
:
Transformer
[
F
,
R
,
O
,
S
,
X
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cmapF
[
X
[
_
]
]
(
f:
~~>
[
X
,
F
]
)
(
implicit
x:
ExecutionModel
[
X
]
)
:
Transformer
[
X
,
R
,
O
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cmapO
[
X
]
(
f: (
O
) ⇒
X
)
:
Transformer
[
F
,
R
,
X
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cmapOS
[
X
,
Y
]
(
f: (
O
) ⇒
X
,
g: (
S
) ⇒
Y
)
(
h: (
S
,
Y
) ⇒
S
)
:
Transformer
[
F
,
R
,
X
,
Y
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cmapR
[
X
]
(
f: (
R
) ⇒
X
)
:
Transformer
[
F
,
X
,
O
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cmapS
[
X
]
(
g: (
S
) ⇒
X
)
(
h: (
S
,
X
) ⇒
S
)
:
Transformer
[
F
,
R
,
O
,
X
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cpmapO
[
X
]
(
f: (
O
) ⇒
Or
[
E
,
X
]
)
:
Transformer
[
F
,
R
,
X
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
def
cpmapR
[
X
]
(
f: (
R
) ⇒
Or
[
E
,
X
]
)
:
Transformer
[
F
,
X
,
O
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
E2
]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
implicit
val
f1
:
ExecutionModel
[
F
]
implicit
val
f2
:
ExecutionModel
[
F2
]
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
val
invariants
: (
CoreExports.Invariants
[
O
,
S
,
E
]) ⇒
CoreExports.Invariants
[
O2
,
S2
,
E2
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
mapE
[
X
]
(
f: (
E2
) ⇒
X
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
R2
,
O2
,
S2
,
X
]
def
mapF
[
X
[
_
]
]
(
f:
~~>
[
F2
,
X
]
)
(
implicit
x:
ExecutionModel
[
X
]
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
X
,
R2
,
O2
,
S2
,
E2
]
def
mapO
[
X
]
(
f: (
X
) ⇒
O2
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
R2
,
X
,
S2
,
E2
]
def
mapOS
[
X
,
Y
]
(
f: (
X
) ⇒
O2
,
g: (
Y
) ⇒
S2
)
(
h: (
Y
,
S2
) ⇒
Y
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
R2
,
X
,
Y
,
E2
]
def
mapR
[
X
]
(
f: (
X
) ⇒
R2
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
X
,
O2
,
S2
,
E2
]
def
mapS
[
X
]
(
g: (
X
) ⇒
S2
)
(
h: (
X
,
S2
) ⇒
X
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
R2
,
O2
,
X
,
E2
]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
pmapO
[
X
]
(
f: (
X
) ⇒
Or
[
E2
,
O2
]
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
R2
,
X
,
S2
,
E2
]
def
pmapR
[
X
]
(
f: (
X
) ⇒
Or
[
E2
,
R2
]
)
:
Transformer
[
F
,
R
,
O
,
S
,
E
,
F2
,
X
,
O2
,
S2
,
E2
]
val
points
: (
CoreExports.Points
[
O
,
S
,
E
]) ⇒
CoreExports.Points
[
O2
,
S2
,
E2
]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
AnyRef
Inherited from
Any
Ungrouped