choam-laws
choam-laws
API
dev.tauri.choam.laws
AsyncReactiveLaws
AsyncReactiveLaws
ReactiveLaws
ReactiveLaws
RefLaws
RxnLaws
TestInstances
dev.tauri.choam.laws.discipline
AsyncReactiveLawTests
AsyncReactiveLawTests
ReactiveLawTests
ReactiveLawTests
RefLawTests
RefLawTests
RxnLawTests
choam-laws
/
dev.tauri.choam.laws
/
ReactiveLaws
ReactiveLaws
dev.tauri.choam.laws.ReactiveLaws
See the
ReactiveLaws
companion object
trait
ReactiveLaws
[
F
[
_
]]
Attributes
Companion:
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
trait
AsyncReactiveLaws
[
F
]
Clear all
Members list
Concise view
Value members
Concrete methods
def
runLift
[
A
,
B
](
f
:
A
=>
B
,
a
:
A
):
IsEq
[
F
[
B
]]
def
runPure
[
A
](
a
:
A
):
IsEq
[
F
[
A
]]
def
runToFunction
[
A
,
B
](
rxn
:
Rxn
[
A
,
B
],
a
:
A
):
IsEq
[
F
[
B
]]
Implicits
Implicits
implicit
def
monad
:
Monad
[
F
]
implicit
def
reactive
:
Reactive
[
F
]