libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ArrowMap

ArrowMap

libretto.lambda.ArrowMap
trait ArrowMap[-->[_, _], ->>[_, _], F[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

object Image

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Image.type
sealed trait Image[A, B]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Abstract methods

def map[A, B](f: A --> B): Image[A, B]

Concrete methods

def map[A, B, S](fa: F[A, S], f: A --> B)(using F: Functional[F]): Exists[[T] =>> (S ->> T, F[B, T])]
Generated with