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

RecFun

libretto.scaletto.impl.Fun.RecFun
case class RecFun[->[_, _], A, B](f: (Sub[A, B] |*| A) -> B) extends Fun[->, A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Fun[->, A, B]
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]]

Attributes

Inherited from:
Fun
Generated with