choam-laws
0.4-716431f
API
Generated with
choam-laws/dev.tauri.choam.laws/RxnLaws

RxnLaws

dev.tauri.choam.laws.RxnLaws
See theRxnLaws companion object
sealed trait RxnLaws

Attributes

Companion
object
Source
RxnLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def andAlsoIsAndThen[A, B, C, D](x: Rxn[A, B], y: Rxn[C, D]): IsEq[Rxn[(A, C), (B, D)]]

Attributes

Source
RxnLaws.scala
def asIsMap[A, B, C](rxn: Rxn[A, B], c: C): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def associativeAndAlso[A, B, C, D, E, F](x: Rxn[A, B], y: Rxn[C, D], z: Rxn[E, F]): IsEq[Rxn[((A, C), E), ((B, D), F)]]

Attributes

Source
RxnLaws.scala
def choiceRetryNeutralLeft[A, B](x: Rxn[A, B]): IsEq[Rxn[A, B]]

Attributes

Source
RxnLaws.scala
def choiceRetryNeutralRight[A, B](x: Rxn[A, B]): IsEq[Rxn[A, B]]

Attributes

Source
RxnLaws.scala
def contramapIsLiftAndThen[A, B, C](f: A => B, rxn: Rxn[B, C]): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def distributiveAndAlsoChoice1[A, B, C, D](x: Rxn[A, B], y: Rxn[C, D], z: Rxn[C, D]): IsEq[Rxn[(A, C), (B, D)]]

Attributes

Source
RxnLaws.scala
def distributiveAndAlsoChoice2[A, B, C, D](x: Rxn[A, B], y: Rxn[A, B], z: Rxn[C, D]): IsEq[Rxn[(A, C), (B, D)]]

Attributes

Source
RxnLaws.scala
def distributiveAndThenChoice1[A, B, C](x: Rxn[A, B], y: Rxn[B, C], z: Rxn[B, C]): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def distributiveAndThenChoice2[A, B, C](x: Rxn[A, B], y: Rxn[A, B], z: Rxn[B, C]): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def equalsItself[A, B](rxn: Rxn[A, B]): IsEq[Rxn[A, B]]

Attributes

Source
RxnLaws.scala
def flatMapFIsAndThenComputed[A, B, C](x: Rxn[A, B], f: B => Axn[C]): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def flatMapIsSecondAndThenComputed[A, B, C](x: Rxn[A, B], f: B => Rxn[A, C]): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def mapIsAndThenLift[A, B, C](rxn: Rxn[A, B], f: B => C): IsEq[Rxn[A, C]]

Attributes

Source
RxnLaws.scala
def provideIsContramap[A, B](a: A, rxn: Rxn[A, B]): IsEq[Axn[B]]

Attributes

Source
RxnLaws.scala
def pureIsRet[A](a: A): IsEq[Axn[A]]

Attributes

Source
RxnLaws.scala
def timesIsAndAlso[A, B, C](x: Rxn[A, B], y: Rxn[A, C]): IsEq[Rxn[A, (B, C)]]

Attributes

Source
RxnLaws.scala
def toFunctionIsProvide[A, B](rxn: Rxn[A, B], a: A): IsEq[Axn[B]]

Attributes

Source
RxnLaws.scala
def voidIsMap[A, B](rxn: Rxn[A, B]): IsEq[Rxn[A, Unit]]

Attributes

Source
RxnLaws.scala
Generated with