Safe Haskell	None
Language	Haskell2010

Funcons.Core.Manual

Synopsis

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
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

Documentation

library :: FunconLibrary Source #

initialise_generating_ :: Funcons Source #

stepInitialise_generating :: [Funcons] -> Rewrite Rewritten Source #

library :: FunconLibrary Source #

handle_thrown_ :: [Funcons] -> Funcons Source #

stepHandle_thrown :: [Funcons] -> Rewrite Rewritten Source #

stepHandle_return :: [Funcons] -> Rewrite Rewritten Source #

stepElse :: [Funcons] -> Rewrite Rewritten Source #

sets_ :: [Funcons] -> Funcons Source #

set_elements_ :: [Funcons] -> Funcons Source #

set_size_ :: [Funcons] -> Funcons Source #

set_intersect_ :: [Funcons] -> Funcons Source #

set_difference_ :: [Funcons] -> Funcons Source #

some_element_ :: [Funcons] -> Funcons Source #

is_subset_ :: [Funcons] -> Funcons Source #

set_ :: [Funcons] -> Funcons Source #

is_in_set_ :: [Funcons] -> Funcons Source #

set_unite_ :: [Funcons] -> Funcons Source #

set_insert_ :: [Funcons] -> Funcons Source #

element_not_in_ :: [Funcons] -> Funcons Source #

set_empty_ :: [Funcons] -> Funcons Source #

multisets_ :: [Funcons] -> Funcons Source #

multiset_ :: [Funcons] -> Funcons Source #

multiset_elements_ :: [Funcons] -> Funcons Source #

multiset_occurrences_ :: [Funcons] -> Funcons Source #

multiset_insert_ :: [Funcons] -> Funcons Source #

multiset_delete_ :: [Funcons] -> Funcons Source #

is_submultiset_ :: [Funcons] -> Funcons Source #

map_ :: [Funcons] -> Funcons Source #

maps_ :: [Funcons] -> Funcons Source #

map_empty_ :: [Funcons] -> Funcons Source #

is_map_empty_ :: [Funcons] -> Funcons Source #

is_in_domain_ :: [Funcons] -> Funcons Source #

map_insert_ :: [Funcons] -> Funcons Source #

map_delete_ :: [Funcons] -> Funcons Source #

map_unite_ :: [Funcons] -> Funcons Source #

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

lookup_ :: [Funcons] -> Funcons Source #

map_lookup_ :: [Funcons] -> Funcons Source #

map_override_ :: [Funcons] -> Funcons Source #

domain_ :: [Funcons] -> Funcons Source #

dom_ :: [Funcons] -> Funcons Source #

map_domain_ :: [Funcons] -> Funcons Source #

map_elements_ :: [Funcons] -> Funcons Source #

is_cyclic_ :: [Funcons] -> Funcons Source #

topological_sort_ :: [Funcons] -> Funcons Source #

datatype_value_ :: [Funcons] -> Funcons Source #

adt_val_ :: [Funcons] -> Funcons Source #

evalADT :: [Funcons] -> Rewrite Rewritten Source #

lazy_adt_val_ :: [Funcons] -> Funcons Source #

evalLazyADT :: [Funcons] -> Rewrite Rewritten Source #

adt_construct_ :: [Funcons] -> Funcons Source #

adtConstruct :: [Values Funcons] -> Rewrite Rewritten Source #

adt_type_construct_ :: [Funcons] -> Funcons Source #

adtTypeConstruct :: [Values Funcons] -> Rewrite Rewritten Source #

adt_constructor_ :: [Funcons] -> Funcons Source #

adtConstructor :: [Values Funcons] -> Rewrite Rewritten Source #

adt_fields_ :: [Funcons] -> Funcons Source #

adtFields :: [Values Funcons] -> Rewrite Rewritten Source #

to_string_ :: [Funcons] -> Funcons Source #

bit_vector_not_ :: [Funcons] -> Funcons Source #

bit_vector_and_ :: [Funcons] -> Funcons Source #

bit_vector_or_ :: [Funcons] -> Funcons Source #

bit_vector_xor_ :: [Funcons] -> Funcons Source #

bit_vector_shift_left_ :: [Funcons] -> Funcons Source #

bit_vector_logical_shift_right_ :: [Funcons] -> Funcons Source #

bit_vector_arithmetical_shift_right_ :: [Funcons] -> Funcons Source #

integer_to_bit_vector_ :: [Funcons] -> Funcons Source #

bit_vector_to_integer_ :: [Funcons] -> Funcons Source #

bit_vector_to_natural_ :: [Funcons] -> Funcons Source #

ints_ :: [Funcons] -> Funcons Source #

integers_ :: [Funcons] -> Funcons Source #

integers_from_ :: [Funcons] -> Funcons Source #

from_ :: [Funcons] -> Funcons Source #

integers_up_to_ :: [Funcons] -> Funcons Source #

up_to_ :: [Funcons] -> Funcons Source #

natural_predecessor_ :: [Funcons] -> Funcons Source #

nat_pred_ :: [Funcons] -> Funcons Source #

natural_successor_ :: [Funcons] -> Funcons Source #

nat_succ_ :: [Funcons] -> Funcons Source #

int_add_ :: [Funcons] -> Funcons Source #

integer_add_ :: [Funcons] -> Funcons Source #

integer_multiply_ :: [Funcons] -> Funcons Source #

integer_divide_ :: [Funcons] -> Funcons Source #

integer_subtract_ :: [Funcons] -> Funcons Source #

integer_power_ :: [Funcons] -> Funcons Source #

integer_power_op :: [Values] -> Rewrite a Source #

integer_list_ :: [Funcons] -> Funcons Source #

integer_modulo_ :: [Funcons] -> Funcons Source #

int_mod_ :: [Funcons] -> Funcons Source #

integer_mod_ :: [Funcons] -> Funcons Source #

integer_absolute_value_ :: [Funcons] -> Funcons Source #

decimal_natural_ :: [Funcons] -> Funcons Source #

decimal_ :: [Funcons] -> Funcons Source #

octal_natural_ :: [Funcons] -> Funcons Source #

octal_ :: [Funcons] -> Funcons Source #

binary_natural_ :: [Funcons] -> Funcons Source #

binary_ :: [Funcons] -> Funcons Source #

hexadecimal_natural_ :: [Funcons] -> Funcons Source #

hexadecimal_ :: [Funcons] -> Funcons Source #

is_less_ :: [Funcons] -> Funcons Source #

integer_is_less_ :: [Funcons] -> Funcons Source #

is_less_or_equal_ :: [Funcons] -> Funcons Source #

integer_is_less_or_equal_ :: [Funcons] -> Funcons Source #

is_greater_ :: [Funcons] -> Funcons Source #

integer_is_greater_ :: [Funcons] -> Funcons Source #

is_greater_or_equal_ :: [Funcons] -> Funcons Source #

integer_is_greater_or_equal_ :: [Funcons] -> Funcons Source #

ieee_float_truncate :: [Funcons] -> Funcons Source #

stepIEEE_Float_Truncate :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Add :: [Values] -> Rewrite Rewritten Source #

stepIEEE_Float_Multiply :: [Values] -> Rewrite Rewritten Source #

stepIEEE_Float_Subtract :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Negate :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Divide :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Power :: [Values Funcons] -> Rewrite Rewritten Source #

signed_bits_maximum :: [Funcons] -> Funcons Source #

stepSigned_Bits_Maximum :: [Values Funcons] -> Rewrite Rewritten Source #

signed_bits_minimum :: [Funcons] -> Funcons Source #

stepSigned_Bits_Minimum :: [Values Funcons] -> Rewrite Rewritten Source #

ieee_float_acos :: [Funcons] -> Funcons Source #

stepIEEE_Float_Acos :: [Values] -> Rewrite Rewritten Source #

ieee_float_asin :: [Funcons] -> Funcons Source #

stepIEEE_Float_Asin :: [Values] -> Rewrite Rewritten Source #

ieee_float_atan :: [Funcons] -> Funcons Source #

stepIEEE_Float_Atan :: [Values] -> Rewrite Rewritten Source #

ieee_float_atan2 :: [Funcons] -> Funcons Source #

stepIEEE_Float_Atan2 :: [Values] -> Rewrite Rewritten Source #

ieee_float_cos :: [Funcons] -> Funcons Source #

stepIEEE_Float_Cos :: [Values] -> Rewrite Rewritten Source #

ieee_float_cosh :: [Funcons] -> Funcons Source #

stepIEEE_Float_Cosh :: [Values] -> Rewrite Rewritten Source #

ieee_float_exp :: [Funcons] -> Funcons Source #

stepIEEE_Float_Exp :: [Values] -> Rewrite Rewritten Source #

ieee_float_log :: [Funcons] -> Funcons Source #

stepIEEE_Float_Log :: [Values] -> Rewrite Rewritten Source #

ieee_float_log10 :: [Funcons] -> Funcons Source #

stepIEEE_Float_Log10 :: [Values] -> Rewrite Rewritten Source #

ieee_float_sin :: [Funcons] -> Funcons Source #

stepIEEE_Float_Sin :: [Values] -> Rewrite Rewritten Source #

ieee_float_sinh :: [Funcons] -> Funcons Source #

stepIEEE_Float_Sinh :: [Values] -> Rewrite Rewritten Source #

ieee_float_sqrt :: [Funcons] -> Funcons Source #

stepIEEE_Float_Sqrt :: [Values] -> Rewrite Rewritten Source #

ieee_float_tan :: [Funcons] -> Funcons Source #

stepIEEE_Float_Tan :: [Values] -> Rewrite Rewritten Source #

ieee_float_tanh :: [Funcons] -> Funcons Source #

stepIEEE_Float_Tanh :: [Values] -> Rewrite Rewritten Source #

ieee_float_ceiling :: [Funcons] -> Funcons Source #

stepIEEE_Float_Ceiling :: [Values] -> Rewrite Rewritten Source #

ieee_float_floor :: [Funcons] -> Funcons Source #

stepIEEE_Float_Floor :: [Values] -> Rewrite Rewritten Source #

ieee_float_absolute_value :: [Funcons] -> Funcons Source #

stepIEEE_Float_Absolute_Value :: [Values] -> Rewrite Rewritten Source #

stepIEEE_Float_Remainder :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Is_Less :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Is_Greater :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Is_Less_Or_Equal :: [Values Funcons] -> Rewrite Rewritten Source #

stepIEEE_Float_Is_Greater_Or_Equal :: [Values Funcons] -> Rewrite Rewritten Source #

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

ieee_float_add :: [Funcons] -> Funcons Source #

ieee_float_add_op :: [Values] -> Rewrite Rewritten Source #

ieee_float_multiply_ :: [Funcons] -> Funcons Source #

ieee_float_multiply :: [Funcons] -> Funcons Source #

ieee_float_multiply_op :: [Values] -> Rewrite Rewritten Source #

ieee_float_divide :: [Funcons] -> Funcons Source #

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

ieee_float_remainder :: [Funcons] -> Funcons Source #

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

ieee_float_negate :: [Funcons] -> Funcons Source #

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

ieee_float_subtract :: [Funcons] -> Funcons Source #

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

ieee_float_float_power :: [Funcons] -> Funcons Source #

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

ieee_float_is_less :: [Funcons] -> Funcons Source #

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

ieee_float_is_greater :: [Funcons] -> Funcons Source #

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

ieee_float_is_less_or_equal :: [Funcons] -> Funcons Source #

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

ieee_float_is_greater_or_equal :: [Funcons] -> Funcons Source #

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

atoms_ :: [Funcons] -> Funcons Source #

atom_ :: [Funcons] -> Funcons Source #

bool_ :: Bool -> Funcons Source #

ascii_characters_ :: [Funcons] -> Funcons Source #

ascii_chars_ :: [Funcons] -> Funcons Source #

unicode_characters_ :: [Funcons] -> Funcons Source #

iso_latin_1_characters_ :: [Funcons] -> Funcons Source #

latin_1_chars_ :: [Funcons] -> Funcons Source #

basic_multilingual_plane_characters_ :: [Funcons] -> Funcons Source #

bmp_chars_ :: [Funcons] -> Funcons Source #

unicode_points_ :: [Funcons] -> Funcons Source #

basic_multilingual_plane_points_ :: [Funcons] -> Funcons Source #

ascii_character_ :: [Funcons] -> Funcons Source #

unicode_character_ :: [Funcons] -> Funcons Source #

unicode_char_ :: [Funcons] -> Funcons Source #

characters_ :: [Funcons] -> Funcons Source #

chars_ :: [Funcons] -> Funcons Source #

datatype_values_ :: [Funcons] -> Funcons Source #

ground_values_ :: [Funcons] -> Funcons Source #

ground_vals_ :: [Funcons] -> Funcons Source #

types_ :: [Funcons] -> Funcons Source #

value_types_ :: [Funcons] -> Funcons Source #

empty_type_ :: [Funcons] -> Funcons Source #

computation_types_ :: [Funcons] -> Funcons Source #

stepComputation_Types :: Rewrite Rewritten Source #