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

Extractor

libretto.lambda.Extractor
See theExtractor companion object
trait Extractor[->[_, _], <*>[_, _], T, P]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Via[->, <*>, T, P]

Members list

Value members

Concrete methods

def contramap[Fun[_, _], S](f: Fun[S, T])(using SubFun[->, Fun], SemigroupalCategory[->, <*>]): Extractor[->, <*>, S, P]
def isTotal: Option[T -> P]
def reinject: P -> T
infix def sameAs[Q](that: Extractor[->, <*>, T, Q]): Option[Option[P =:= Q]]
def show: String

Abstract fields

val partition: partitioning.Partition[P]
val partitioning: Partitioning[->, <*>, T]
Generated with