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

PatternMatching

libretto.lambda.PatternMatching
See thePatternMatching companion object
class PatternMatching[->[_, _], **[_, _]](using x$1: SymmetricSemigroupalCategory[->, **], x$2: BiInjective[**])

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

class ForLambdas[->>[_, _], V, C, LAMBDAS <: Lambdas[->>, **, V, C], E >: LinearityViolation[V, C] | UnusedInBranch[V, C] | PatternMatchError](val lambdas: LAMBDAS)(isExtractor: [X, Y] => (X ->> Y) => Option[Extractor[X, Y]], lower: [X, Y] => (X ->> Y) => Validated[E, X -> Y], lift: [X, Y] => (X -> Y) => X ->> Y)

Attributes

Supertypes
class Object
trait Matchable
class Any
enum PatternMatchError

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

type Extractor[A, B] = Extractor[->, **, A, B]
type Pattern[A, B] = AForest[Extractor, **, A, B]

Value members

Concrete methods

def compilePatternMatch[A, R](cases: NonEmptyList[Exists[[Y] =>> (Pattern[A, Y], Y -> R)]]): Validated[PatternMatchError, A -> R]
def detectPatternsAndCompile[->>[_, _], Expr[_], A, R, E >: PatternMatchError](using sh: ShuffledModule[->>, **])(cases: CapturingFun[[a, b] =>> NonEmptyList[sh.Shuffled[a, b]], **, Expr, A, R])(isExtractor: [X, Y] => ->>[X, Y] => Option[Extractor[X, Y]], compile: [X, Y] => ->>[X, Y] => Validated[E, X -> Y]): Validated[E, CapturingFun[->, **, Expr, A, R]]

For functions represented as Shuffled of some arrows ->>, this method itself detects the pattern part of each function (as the initial tree of Extractors) and subsequently compiles them as a pattern matching. This may be more convenient than compilePatternMatch, where the separation between pattern and handler is provided by the caller.

For functions represented as Shuffled of some arrows ->>, this method itself detects the pattern part of each function (as the initial tree of Extractors) and subsequently compiles them as a pattern matching. This may be more convenient than compilePatternMatch, where the separation between pattern and handler is provided by the caller.

Attributes

def forLambdas[->>[_, _], V, C, E >: LinearityViolation[V, C] | UnusedInBranch[V, C] | PatternMatchError](lambdas: Lambdas[->>, **, V, C])(isExtractor: [X, Y] => ->>[X, Y] => Option[Extractor[X, Y]], lower: [X, Y] => ->>[X, Y] => Validated[E, X -> Y], lift: [X, Y] => (X -> Y) => ->>[X, Y]): ForLambdas[->>, V, C, lambdas.type, E]
Generated with