Funcons.Core.Manual

Documentation

library :: FunconLibrary

library :: FunconLibrary

initialise_generating_ :: Funcons

stepInitialise_generating :: [Funcons] -> Rewrite Rewritten

library :: FunconLibrary

handle_thrown_ :: [Funcons] -> Funcons

stepHandle_thrown :: [Funcons] -> Rewrite Rewritten

stepHandle_return :: [Funcons] -> Rewrite Rewritten

stepElse :: [Funcons] -> Rewrite Rewritten

sets_ :: [Funcons] -> Funcons

set_elements_ :: [Funcons] -> Funcons

set_size_ :: [Funcons] -> Funcons

set_intersect_ :: [Funcons] -> Funcons

set_difference_ :: [Funcons] -> Funcons

some_element_ :: [Funcons] -> Funcons

is_subset_ :: [Funcons] -> Funcons

set_ :: [Funcons] -> Funcons

is_in_set_ :: [Funcons] -> Funcons

set_unite_ :: [Funcons] -> Funcons

set_insert_ :: [Funcons] -> Funcons

element_not_in_ :: [Funcons] -> Funcons

set_empty_ :: [Funcons] -> Funcons

multisets_ :: [Funcons] -> Funcons

multiset_ :: [Funcons] -> Funcons

multiset_elements_ :: [Funcons] -> Funcons

multiset_occurrences_ :: [Funcons] -> Funcons

multiset_insert_ :: [Funcons] -> Funcons

multiset_delete_ :: [Funcons] -> Funcons

is_submultiset_ :: [Funcons] -> Funcons

map_ :: [Funcons] -> Funcons

maps_ :: [Funcons] -> Funcons

map_empty_ :: [Funcons] -> Funcons

is_map_empty_ :: [Funcons] -> Funcons

is_in_domain_ :: [Funcons] -> Funcons

map_insert_ :: [Funcons] -> Funcons

map_delete_ :: [Funcons] -> Funcons

map_unite_ :: [Funcons] -> Funcons

Computes the union over a sequence of maps. If the maps do not have disjoint domains a failure signal is raised.

lookup_ :: [Funcons] -> Funcons

map_lookup_ :: [Funcons] -> Funcons

map_override_ :: [Funcons] -> Funcons

domain_ :: [Funcons] -> Funcons

dom_ :: [Funcons] -> Funcons

map_domain_ :: [Funcons] -> Funcons

map_elements_ :: [Funcons] -> Funcons

is_cyclic_ :: [Funcons] -> Funcons

topological_sort_ :: [Funcons] -> Funcons

datatype_value_ :: [Funcons] -> Funcons

adt_val_ :: [Funcons] -> Funcons

evalADT :: [Funcons] -> Rewrite Rewritten

lazy_adt_val_ :: [Funcons] -> Funcons

evalLazyADT :: [Funcons] -> Rewrite Rewritten

adt_construct_ :: [Funcons] -> Funcons

adtConstruct :: [Values Funcons] -> Rewrite Rewritten

adt_type_construct_ :: [Funcons] -> Funcons

adtTypeConstruct :: [Values Funcons] -> Rewrite Rewritten

adt_constructor_ :: [Funcons] -> Funcons

adtConstructor :: [Values Funcons] -> Rewrite Rewritten

adt_fields_ :: [Funcons] -> Funcons

adtFields :: [Values Funcons] -> Rewrite Rewritten

to_string_ :: [Funcons] -> Funcons

bit_vector_not_ :: [Funcons] -> Funcons

bit_vector_and_ :: [Funcons] -> Funcons

bit_vector_or_ :: [Funcons] -> Funcons

bit_vector_xor_ :: [Funcons] -> Funcons

bit_vector_shift_left_ :: [Funcons] -> Funcons

bit_vector_logical_shift_right_ :: [Funcons] -> Funcons

bit_vector_arithmetical_shift_right_ :: [Funcons] -> Funcons

integer_to_bit_vector_ :: [Funcons] -> Funcons

bit_vector_to_integer_ :: [Funcons] -> Funcons

bit_vector_to_natural_ :: [Funcons] -> Funcons

ints_ :: [Funcons] -> Funcons

integers_ :: [Funcons] -> Funcons

integers_from_ :: [Funcons] -> Funcons

from_ :: [Funcons] -> Funcons

integers_up_to_ :: [Funcons] -> Funcons

up_to_ :: [Funcons] -> Funcons

natural_predecessor_ :: [Funcons] -> Funcons

nat_pred_ :: [Funcons] -> Funcons

natural_successor_ :: [Funcons] -> Funcons

nat_succ_ :: [Funcons] -> Funcons

int_add_ :: [Funcons] -> Funcons

integer_add_ :: [Funcons] -> Funcons

integer_multiply_ :: [Funcons] -> Funcons

integer_divide_ :: [Funcons] -> Funcons

integer_subtract_ :: [Funcons] -> Funcons

integer_power_ :: [Funcons] -> Funcons

integer_power_op :: [Values] -> Rewrite a

integer_list_ :: [Funcons] -> Funcons

integer_modulo_ :: [Funcons] -> Funcons

int_mod_ :: [Funcons] -> Funcons

integer_mod_ :: [Funcons] -> Funcons

integer_absolute_value_ :: [Funcons] -> Funcons

decimal_natural_ :: [Funcons] -> Funcons

decimal_ :: [Funcons] -> Funcons

octal_natural_ :: [Funcons] -> Funcons

octal_ :: [Funcons] -> Funcons

binary_natural_ :: [Funcons] -> Funcons

binary_ :: [Funcons] -> Funcons

hexadecimal_natural_ :: [Funcons] -> Funcons

hexadecimal_ :: [Funcons] -> Funcons

is_less_ :: [Funcons] -> Funcons

integer_is_less_ :: [Funcons] -> Funcons

is_less_or_equal_ :: [Funcons] -> Funcons

integer_is_less_or_equal_ :: [Funcons] -> Funcons

is_greater_ :: [Funcons] -> Funcons

integer_is_greater_ :: [Funcons] -> Funcons

is_greater_or_equal_ :: [Funcons] -> Funcons

integer_is_greater_or_equal_ :: [Funcons] -> Funcons

ieee_float_truncate :: [Funcons] -> Funcons

stepIEEE_Float_Truncate :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Add :: [Values] -> Rewrite Rewritten

stepIEEE_Float_Multiply :: [Values] -> Rewrite Rewritten

stepIEEE_Float_Subtract :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Negate :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Divide :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Power :: [Values Funcons] -> Rewrite Rewritten

signed_bits_maximum :: [Funcons] -> Funcons

stepSigned_Bits_Maximum :: [Values Funcons] -> Rewrite Rewritten

signed_bits_minimum :: [Funcons] -> Funcons

stepSigned_Bits_Minimum :: [Values Funcons] -> Rewrite Rewritten

ieee_float_acos :: [Funcons] -> Funcons

stepIEEE_Float_Acos :: [Values] -> Rewrite Rewritten

ieee_float_asin :: [Funcons] -> Funcons

stepIEEE_Float_Asin :: [Values] -> Rewrite Rewritten

ieee_float_atan :: [Funcons] -> Funcons

stepIEEE_Float_Atan :: [Values] -> Rewrite Rewritten

ieee_float_atan2 :: [Funcons] -> Funcons

stepIEEE_Float_Atan2 :: [Values] -> Rewrite Rewritten

ieee_float_cos :: [Funcons] -> Funcons

stepIEEE_Float_Cos :: [Values] -> Rewrite Rewritten

ieee_float_cosh :: [Funcons] -> Funcons

stepIEEE_Float_Cosh :: [Values] -> Rewrite Rewritten

ieee_float_exp :: [Funcons] -> Funcons

stepIEEE_Float_Exp :: [Values] -> Rewrite Rewritten

ieee_float_log :: [Funcons] -> Funcons

stepIEEE_Float_Log :: [Values] -> Rewrite Rewritten

ieee_float_log10 :: [Funcons] -> Funcons

stepIEEE_Float_Log10 :: [Values] -> Rewrite Rewritten

ieee_float_sin :: [Funcons] -> Funcons

stepIEEE_Float_Sin :: [Values] -> Rewrite Rewritten

ieee_float_sinh :: [Funcons] -> Funcons

stepIEEE_Float_Sinh :: [Values] -> Rewrite Rewritten

ieee_float_sqrt :: [Funcons] -> Funcons

stepIEEE_Float_Sqrt :: [Values] -> Rewrite Rewritten

ieee_float_tan :: [Funcons] -> Funcons

stepIEEE_Float_Tan :: [Values] -> Rewrite Rewritten

ieee_float_tanh :: [Funcons] -> Funcons

stepIEEE_Float_Tanh :: [Values] -> Rewrite Rewritten

ieee_float_ceiling :: [Funcons] -> Funcons

stepIEEE_Float_Ceiling :: [Values] -> Rewrite Rewritten

ieee_float_floor :: [Funcons] -> Funcons

stepIEEE_Float_Floor :: [Values] -> Rewrite Rewritten

ieee_float_absolute_value :: [Funcons] -> Funcons

stepIEEE_Float_Absolute_Value :: [Values] -> Rewrite Rewritten

stepIEEE_Float_Remainder :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Is_Less :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Is_Greater :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Is_Less_Or_Equal :: [Values Funcons] -> Rewrite Rewritten

stepIEEE_Float_Is_Greater_Or_Equal :: [Values Funcons] -> Rewrite Rewritten

ieee_float_op :: String -> ([Funcons] -> Funcons) -> (Double -> Double -> Double) -> Double -> Values -> [Values] -> Rewrite Rewritten

ieee_float_add :: [Funcons] -> Funcons

ieee_float_add_op :: [Values] -> Rewrite Rewritten

ieee_float_multiply_ :: [Funcons] -> Funcons

ieee_float_multiply :: [Funcons] -> Funcons

ieee_float_multiply_op :: [Values] -> Rewrite Rewritten

ieee_float_divide :: [Funcons] -> Funcons

ieee_float_divide_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_remainder :: [Funcons] -> Funcons

ieee_float_remainder_op :: Values Funcons -> Values Funcons -> Values -> Rewrite Rewritten

ieee_float_negate :: [Funcons] -> Funcons

ieee_float_negate_op :: Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_subtract :: [Funcons] -> Funcons

ieee_float_subtract_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_float_power :: [Funcons] -> Funcons

ieee_float_power_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_is_less :: [Funcons] -> Funcons

ieee_float_is_less_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_is_greater :: [Funcons] -> Funcons

ieee_float_is_greater_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_is_less_or_equal :: [Funcons] -> Funcons

ieee_float_is_less_or_equal_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

ieee_float_is_greater_or_equal :: [Funcons] -> Funcons

ieee_float_is_greater_or_equal_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten

atoms_ :: [Funcons] -> Funcons

atom_ :: [Funcons] -> Funcons

bool_ :: Bool -> Funcons

ascii_characters_ :: [Funcons] -> Funcons

ascii_chars_ :: [Funcons] -> Funcons

unicode_characters_ :: [Funcons] -> Funcons

iso_latin_1_characters_ :: [Funcons] -> Funcons

latin_1_chars_ :: [Funcons] -> Funcons

basic_multilingual_plane_characters_ :: [Funcons] -> Funcons

bmp_chars_ :: [Funcons] -> Funcons

unicode_points_ :: [Funcons] -> Funcons

basic_multilingual_plane_points_ :: [Funcons] -> Funcons

ascii_character_ :: [Funcons] -> Funcons

unicode_character_ :: [Funcons] -> Funcons

unicode_char_ :: [Funcons] -> Funcons

characters_ :: [Funcons] -> Funcons

chars_ :: [Funcons] -> Funcons

datatype_values_ :: [Funcons] -> Funcons

ground_values_ :: [Funcons] -> Funcons

ground_vals_ :: [Funcons] -> Funcons

types_ :: [Funcons] -> Funcons

value_types_ :: [Funcons] -> Funcons

empty_type_ :: [Funcons] -> Funcons

computation_types_ :: [Funcons] -> Funcons

stepComputation_Types :: Rewrite Rewritten