choam-docs
0.4.0-RC6
API
Generated with
choam-docs/dev.tauri.choam/dev.tauri.choam.laws/ReactiveLaws

ReactiveLaws

dev.tauri.choam.laws.ReactiveLaws
See theReactiveLaws companion object
sealed trait ReactiveLaws[F[_]]

Attributes

Companion
object
Source
reactiveLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def runLift[A, B](f: A => B, a: A): IsEq[F[B]]

Attributes

Source
reactiveLaws.scala
def runPure[A](a: A): IsEq[F[A]]

Attributes

Source
reactiveLaws.scala
def runToFunction[A, B](rxn: Rxn[A, B], a: A): IsEq[F[B]]

Attributes

Source
reactiveLaws.scala

Implicits

Implicits

implicit def monad: Monad[F]

Attributes

Source
reactiveLaws.scala
implicit def reactive: Reactive[F]

Attributes

Source
reactiveLaws.scala
Generated with