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

Types

type Image[A, B] = MappedMorphism[->>, F, A, B]

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