libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.scaletto/ScalettoLib/ValMatcher

ValMatcher

libretto.scaletto.ScalettoLib.ValMatcher
See theValMatcher companion object
sealed trait ValMatcher[-U >: V, V, A, R]

Utility to construct a Libretto program that branches based on a Scala value inside a Val.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ValMatcher[U, V, A, R]

Members list

Concise view

Value members

Abstract methods

def get: Val[V] |*| A -⚬ R
def typeTest: TypeTest[U, V]

Concrete methods

def &[W >: V <: U, V2 <: W, B](that: ValMatcher[W, V2, B, R]): ValMatcher[W, V | V2, A |&| B, R]
def contramap[Z](f: Z -⚬ A): ValMatcher[U, V, Z, R]
def contramapVal[W](f: W => V): ValMatcher[W, W, A, R]
def map[S](f: R -⚬ S): ValMatcher[U, V, A, S]
def otherwise[W >: V <: U](f: Val[W] |*| A -⚬ R): ValMatcher[W, W, A, R]
def |[W >: V <: U, V2 <: W](that: ValMatcher[W, V2, A, R]): ValMatcher[W, V | V2, A, R]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL