Copyright © 2017-2020 Andreas Löscher and Kostis Sagonas
Version: May 19 2021 06:40:24
Authors: Andreas Löscher.
depth() = pos_integer()
matcher() = fun((term(), proper_types:raw_type(), temperature()) -> term())
nf() = fun((term(), nf_temp()) -> proper_types:type())
nf_temp() = temperature() | {depth(), temperature()} | null
temperature() = float()
cleanup/0 | |
from_proper_generator/1 | |
init/0 | |
match/3 | |
set_matcher/2 | |
set_user_nf/2 | |
update_caches/1 |
cleanup() -> ok
from_proper_generator(RawGenerator::proper_types:type()) -> proper_target:next_fun()
init() -> ok
match(Base::term(), Type::proper_types:raw_type(), Temp::temperature()) -> term()
set_matcher(Type::proper_types:type(), Matcher::matcher()) -> proper_types:type()
set_user_nf(Type::proper_types:type(), NF::nf()) -> proper_types:type()
update_caches(X1::accept | reject) -> ok
Generated by EDoc