libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Extractor/Via

Via

libretto.lambda.Extractor.Via
trait Via[->[_, _], <*>[_, _], T, P](val delegate: Extractor[->, <*>, T, P]) extends Extractor[->, <*>, T, P]

Attributes

Graph
Supertypes
trait Extractor[->, <*>, T, P]
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

def contramap[Fun[_, _], S](f: Fun[S, T])(using SubFun[->, Fun], SemigroupalCategory[->, <*>]): Extractor[->, <*>, S, P]

Attributes

Inherited from:
Extractor
def isTotal: Option[T -> P]

Attributes

Inherited from:
Extractor
def reinject: P -> T

Attributes

Inherited from:
Extractor
infix def sameAs[Q](that: Extractor[->, <*>, T, Q]): Option[Option[P =:= Q]]

Attributes

Inherited from:
Extractor
def show: String

Attributes

Inherited from:
Extractor

Concrete fields

val delegate: Extractor[->, <*>, T, P]
override val partition: partitioning.Partition[P]
override val partitioning: delegate.partitioning.type
Generated with