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

Type members

Classlikes

object Image

Attributes

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

Attributes

Companion
object
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