matcher

Documentation

Index

• func ReplacePD(expr expreduceapi.Ex, es expreduceapi.EvalStateInterface, pm *PDManager) expreduceapi.Ex
• type MatchIter
  • func NewMatchIter(a expreduceapi.Ex, b expreduceapi.Ex, pm *PDManager, ...) (MatchIter, bool)
• type PDManager
  • func EmptyPD() *PDManager
  • func IsMatchQ(a expreduceapi.Ex, b expreduceapi.Ex, pm *PDManager, ...) (bool, *PDManager)
  • func (pm *PDManager) Define(name string, val expreduceapi.Ex)
  • func (pm *PDManager) Expression() expreduceapi.Ex

Functions

func ReplacePD

func ReplacePD(
	expr expreduceapi.Ex,
	es expreduceapi.EvalStateInterface,
	pm *PDManager,
) expreduceapi.Ex

ReplacePD takes an expression and replaces any defined symbols in the PDManager with the defined values. It is a form of subsitution common in function evaluation and replacement.

Types

type MatchIter

type MatchIter interface {
	// returns ismatch, pd, isdone
	Next() (bool, *PDManager, bool)
}

func NewMatchIter

func NewMatchIter(
	a expreduceapi.Ex,
	b expreduceapi.Ex,
	pm *PDManager,
	es expreduceapi.EvalStateInterface,
) (MatchIter, bool)

type PDManager

type PDManager struct {
	// contains filtered or unexported fields
}

func EmptyPD

func EmptyPD() *PDManager

func IsMatchQ

func IsMatchQ(
	a expreduceapi.Ex,
	b expreduceapi.Ex,
	pm *PDManager,
	es expreduceapi.EvalStateInterface,
) (bool, *PDManager)

IsMatchQ returns if an Ex `a` matches a pattern Ex `b`. If the expression matches the pattern and if the pattern has any named patterns, those matching values will be added to `pm`.

func (*PDManager) Define

func (pm *PDManager) Define(name string, val expreduceapi.Ex)

func (*PDManager) Expression

func (pm *PDManager) Expression() expreduceapi.Ex