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

OneOfInject

libretto.scaletto.impl.Fun.OneOfInject
case class OneOfInject[Label, A, Cases](i: Member[||, ::, Label, A, Cases]) extends Leaf[A, OneOf[Cases]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[A, OneOf[Cases]]
trait Fun[Nothing, A, OneOf[Cases]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def foldMonoid[M](h: [X, Y] => Nothing => 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] => Nothing => G[->>[X, Y]])(using G: Applicative[G]): G[Fun[->>, A, OneOf[Cases]]]

Attributes

Inherited from:
Fun
Generated with