Versions in this module Expand all Collapse all v1 v1.3.1 Nov 7, 2018 v1.3.0 Oct 26, 2018 Changes in this version + var MaxReductions = 10000 + func ConcAorReduce(term Term, out chan Term, done chan bool) + func ConcNorReduce(term Term, out chan Term, done chan bool) + type Abst [1]Term + func (la Abst) AlphaEquivalent(other Term) bool + func (la Abst) AorReduce() (Term, error) + func (la Abst) BetaReduce(sub Term) Term + func (la Abst) Copy() Term + func (la Abst) EtaReduce() Term + func (la Abst) NorReduce() (Term, error) + func (la Abst) Reduce() (Term, error) + func (la Abst) Serialize() string + func (la Abst) String() string + func (la Abst) WHNF() Abst + type Appl [2]Term + func (lx Appl) AlphaEquivalent(other Term) bool + func (lx Appl) AorReduce() (Term, error) + func (lx Appl) Copy() Term + func (lx Appl) EtaReduce() Term + func (lx Appl) NorReduce() (Term, error) + func (lx Appl) Reduce() (Term, error) + func (lx Appl) Serialize() string + func (lx Appl) String() string + func (lx Appl) WHNF() Abst + type Free string + func (lf Free) AlphaEquivalent(other Term) bool + func (lf Free) AorReduce() (Term, error) + func (lf Free) Copy() Term + func (lf Free) EtaReduce() Term + func (lf Free) NorReduce() (Term, error) + func (lf Free) Reduce() (Term, error) + func (lf Free) Serialize() string + func (lf Free) String() string + func (lf Free) WHNF() Abst + type Term interface + AlphaEquivalent func(Term) bool + AorReduce func() (Term, error) + Copy func() Term + EtaReduce func() Term + NorReduce func() (Term, error) + Reduce func() (Term, error) + Serialize func() string + String func() string + WHNF func() Abst + func Deserialize(inpt string) (Term, error) + func MustDeserialize(inpt string) Term + type Var uint + func (lv Var) AlphaEquivalent(other Term) bool + func (lv Var) AorReduce() (Term, error) + func (lv Var) Copy() Term + func (lv Var) EtaReduce() Term + func (lv Var) NorReduce() (Term, error) + func (lv Var) Reduce() (Term, error) + func (lv Var) Serialize() string + func (lv Var) String() string + func (lv Var) WHNF() Abst
Go to main page