Extractor

libretto.lambda.Extractor
See theExtractor companion trait
object Extractor

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Extractor.type

Members list

Type members

Classlikes

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

Attributes

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

Value members

Concrete methods

def apply[->[_, _], <*>[_, _], T, P](partitioning: Partitioning[->, <*>, T], partition: partitioning.Partition[P]): Extractor[->, <*>, T, P]
def identity[->[_, _], <*>[_, _], T](using Category[->]): Extractor[->, <*>, T, T]