Image

libretto.lambda.ArrowMap.Image
See theImage companion object
sealed trait Image[A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type A1
type B1

Value members

Abstract fields

val f: A1 ->> B1
val srcMap: F[A, A1]
val tgtMap: F[B, B1]