choam-laws
0.4.0-M2
choam-laws
API
dev.tauri.choam.laws
discipline
AsyncReactiveLawTests
AsyncReactiveLawTests
ReactiveLawTests
ReactiveLawTests
RefLawTests
RefLawTests
RxnLawTests
AsyncReactiveLaws
AsyncReactiveLaws
ReactiveLaws
ReactiveLaws
RefLaws
RxnLaws
TestInstances
choam-laws
/
dev.tauri.choam.laws
/
AsyncReactiveLaws
AsyncReactiveLaws
dev.tauri.choam.laws.AsyncReactiveLaws
See the
AsyncReactiveLaws
companion object
trait
AsyncReactiveLaws
[
F
[
_
]]
extends
ReactiveLaws
[
F
]
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
ReactiveLaws
[
F
]
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Concrete methods
def
promiseCompleteAndGet
[
A
](
a
:
A
):
IsEq
[
F
[(
Boolean
,
A
)]]
Inherited methods
def
runLift
[
A
,
B
](
f
:
A
=>
B
,
a
:
A
):
IsEq
[
F
[
B
]]
Attributes
Inherited from:
ReactiveLaws
def
runPure
[
A
](
a
:
A
):
IsEq
[
F
[
A
]]
Attributes
Inherited from:
ReactiveLaws
def
runToFunction
[
A
,
B
](
rxn
:
Rxn
[
A
,
B
],
a
:
A
):
IsEq
[
F
[
B
]]
Attributes
Inherited from:
ReactiveLaws
Implicits
Implicits
implicit override
def
monad
:
MonadCancel
[
F
,
_
]
Attributes
Definition Classes
ReactiveLaws
implicit override
def
reactive
:
AsyncReactive
[
F
]
Attributes
Definition Classes
ReactiveLaws
In this article
Attributes
Members list
Value members
Concrete methods
Inherited methods
Implicits
Implicits