Ckini v0.1.0

Ckini.Subst (Ckini v0.1.0) View Source

A substitution is set of associations. An association is a {var, val} pair. See the type specs below for details.

Link to this section Summary

Types

assoc()

An association representing the fact that Var is associated with Term

t()

A substitution

Functions

anyvar?(sub, t)
assocs(t)
concat(s1, s2)
decompose(subst)
deep_walk(sub, var)
empty?(t)
insert(subs, var, val)

Equivalent to ext-s-nocheck

insert_unsafe(subs, var, val)

Equivalent to ext-s. It does circular reference check before inserting an association pair to a substitution.

is_empty(s)
new()
occurs?(subs, var, val)
reify(subst \\ new(), t)
reify_subst(subst \\ new(), sub)
reify_substs(subst, list)
singleton(var, val)
size(s)
to_list(sub)

Convert a substitution to a valid list term

to_pairs(sub)
unify(s, v, w)
verify_neq(base, subst, acc \\ new())

Verify an neq substitution against a base substitution.

walk(subst, var)

Link to this section Types

Link to this type

assoc()

View Source

Specs

assoc() :: {Ckini.Var.t(), Ckini.Term.t()}

An association representing the fact that Var is associated with Term

Link to this type

t()

View Source

Specs

t() :: map()

A substitution

Link to this section Functions

Link to this function

anyvar?(sub, t)

View Source

Specs

anyvar?(t(), Ckini.Term.t()) :: boolean()
Link to this function

assocs(t)

View Source

Specs

assocs(t()) :: [{Ckini.Var.t(), Ckini.Term.t()}]
Link to this function

concat(s1, s2)

View Source

Specs

concat(t(), t()) :: t() | nil
Link to this function

decompose(subst)

View Source

Specs

decompose(t()) :: nil | {{Ckini.Var.t(), Ckini.Term.t()}, t()}
Link to this function

deep_walk(sub, var)

View Source

Specs

deep_walk(t(), Ckini.Term.t() | tuple()) :: Ckini.Term.t() | tuple()
Link to this function

empty?(t)

View Source

Specs

empty?(t()) :: boolean()
Link to this function

insert(subs, var, val)

View Source

Specs

insert(t(), Ckini.Var.t(), Ckini.Term.t()) :: t() | nil

Equivalent to ext-s-nocheck

Link to this function

insert_unsafe(subs, var, val)

View Source

Specs

insert_unsafe(t(), Ckini.Var.t(), Ckini.Term.t()) :: t() | nil

Equivalent to ext-s. It does circular reference check before inserting an association pair to a substitution.

Link to this macro

is_empty(s)

View Source (macro)
Link to this function

new()

View Source

Specs

new() :: t()
Link to this function

occurs?(subs, var, val)

View Source
Link to this function

reify(subst \\ new(), t)

View Source

Specs

reify(t(), Ckini.Term.t()) :: t()
Link to this function

reify_subst(subst \\ new(), sub)

View Source
Link to this function

reify_substs(subst, list)

View Source
Link to this function

singleton(var, val)

View Source

Specs

singleton(Ckini.Var.t(), Ckini.Term.t()) :: t()
Link to this function

size(s)

View Source
Link to this function

to_list(sub)

View Source

Specs

to_list(t()) :: Ckini.Term.t()

Convert a substitution to a valid list term

Link to this function

to_pairs(sub)

View Source
Link to this function

unify(s, v, w)

View Source

Specs

unify(t() | nil, Ckini.Term.t(), Ckini.Term.t()) :: nil | t()
Link to this function

verify_neq(base, subst, acc \\ new())

View Source

Specs

verify_neq(t(), t(), t()) :: nil | t()

Verify an neq substitution against a base substitution.

Link to this function

walk(subst, var)

View Source

Specs

walk(t(), Ckini.Term.t() | tuple()) :: Ckini.Term.t() | tuple()