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

Partitioning

libretto.lambda.Partitioning
See thePartitioning companion object
trait Partitioning[->[_, _], <*>[_, _], T]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Partitioning[->, <*>, T]

Members list

Type members

Types

type Partition[P]

Value members

Abstract methods

def compileAt[F[_], G[_], R](pos: Focus[<*>, F], handle: [X] => Partition[X] => G[F[X] -> R])(using Applicative[G]): G[F[T] -> R]
def isTotal[P](p: Partition[P]): Option[T -> P]
def reinject[P](p: Partition[P]): P -> T
infix def sameAs(that: Partitioning[->, <*>, T]): Option[TypeEqK[Partition, Partition]]
def samePartition[P, Q](p: Partition[P], q: Partition[Q]): Option[P =:= Q]
def showPartition[P](p: Partition[P]): String

Concrete methods

def contramap[Fun[_, _], S](f: Fun[S, T])(using SubFun[->, Fun], SemigroupalCategory[->, <*>]): Partitioning[->, <*>, S] { type Partition = Partition; }
Generated with