Module cuneiform_sem

Copyright © 2015-2018 Jörgen Brandt

Version: 0.1.4

Authors: Jörgen Brandt (joergen.brandt@onlinehome.de).

Function Index

find_context/1
gensym/1
in_hole/2
is_value/1
reduce/1
rename/3Consistently renames in E every occurrence of the name X1 to X2.
set_info/2
subst/3Substitutes in E1 every occurrence of the variable X with E2.
subst_fut/3

Function Details

find_context/1

find_context(E::e()) -> {ok, e(), ctx()} | no_ctx

gensym/1

gensym(X::atom()) -> atom()

in_hole/2

in_hole(E, Ctx) -> e() | ctx()

is_value/1

is_value(E::e()) -> boolean()

reduce/1

reduce(E::e()) -> e()

rename/3

rename(E, X1, X2) -> e()

Consistently renames in E every occurrence of the name X1 to X2.

set_info/2

set_info(E, Info) -> e()

subst/3

subst(E1, X, E2) -> e()

Substitutes in E1 every occurrence of the variable X with E2.

subst_fut/3

subst_fut(E, A, Delta) -> e()


Generated by EDoc