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

RInvertPingPong

libretto.scaletto.impl.Fun.RInvertPingPong
case class RInvertPingPong() extends Leaf[Ping |*| Pong, One]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Leaf[Ping |*| Pong, One]
trait Fun[Nothing, Ping |*| Pong, One]
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[->>, Ping |*| Pong, One]]

Attributes

Inherited from:
Fun
Generated with