libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/~⚬/ProjectProperRes

ProjectProperRes

libretto.lambda.Shuffle.~⚬.ProjectProperRes
See theProjectProperRes companion object
sealed trait ProjectProperRes[A, C]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Projected[A0, A, C]

Members list

Type members

Types

type X

Value members

Concrete methods

def project[D](p2: Projection[|*|, C, D]): ProjectProperRes[A, D]
def to[D](using ev: C =:= D): ProjectProperRes[A, D]
def unproper: ProjectRes[A, C]

Abstract fields

val f: X ~⚬ C
val p: Proper[|*|, A, X]
Generated with