LinearFunctionOps

libretto.CoreLib.LinearFunctionOps
implicit class LinearFunctionOps[A, B](self: A -⚬ B)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def <: FocusedContra[-⚬, A]

Focuses on function's input.

Focuses on function's input.

Attributes

def >: FocusedCo[[x] =>> A -⚬ x, B]

Focuses on function's output.

Focuses on function's output.

Attributes

def as[C](using ev: A -⚬ B =:= C): C

No-op used for documentation purposes: explicitly states the full type of this linear function.

No-op used for documentation purposes: explicitly states the full type of this linear function.

Attributes

def from[Z](using ev: A =:= Z): Z -⚬ B

No-op used for documentation purposes: explicitly states the input type of this linear function.

No-op used for documentation purposes: explicitly states the input type of this linear function.

Attributes

def to[C](using ev: B =:= C): A -⚬ C

No-op used for documentation purposes: explicitly states the output type of this linear function.

No-op used for documentation purposes: explicitly states the output type of this linear function.

Attributes

def [Z](g: Z -⚬ A): Z -⚬ B