libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/Fun/Choice

Choice

libretto.scaletto.impl.Fun.Choice
case class Choice[->[_, _], A, B, C](f: A -> B, g: A -> C) extends Fun[->, A, B |&| C]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, A, B |&| C]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def foldMonoid[M](h: [X, Y] => (X -> Y) => M)(using M: Monoid[M]): M

Attributes

Inherited from:
Fun
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def translateA[->>[_, _], G[_]](h: [X, Y] => (X -> Y) => G[->>[X, Y]])(using G: Applicative[G]): G[Fun[->>, A, B |&| C]]

Attributes

Inherited from:
Fun
Generated with