Safe Haskell | None |
---|---|
Language | Haskell2010 |
- library :: FunconLibrary
- library :: FunconLibrary
- initialise_generating_ :: Funcons
- stepInitialise_generating :: [Funcons] -> Rewrite Rewritten
- library :: FunconLibrary
- 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
- library :: FunconLibrary
- is_sub_multiset :: [Funcons] -> Funcons
- stepIsSubMultiset :: [Values Funcons] -> Rewrite Rewritten
- multiset_delete :: [Funcons] -> Funcons
- stepMultisetDelete :: [Values Funcons] -> Rewrite Rewritten
- multiset_insert :: [Funcons] -> Funcons
- stepMultisetInsert :: [Values Funcons] -> Rewrite Rewritten
- multiset_occurrences :: [Funcons] -> Funcons
- stepMultisetOccurrences :: [Values Funcons] -> Rewrite Rewritten
- multiset_to_set :: [Funcons] -> Funcons
- stepMultisetToSet :: [Values Funcons] -> Rewrite Rewritten
- sets_to_multiset :: [Funcons] -> Funcons
- stepSetsToMultiset :: [Values Funcons] -> Rewrite Rewritten
- library :: FunconLibrary
- 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
- map_points_ :: [Funcons] -> Funcons
- library :: FunconLibrary
- 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
- library :: FunconLibrary
- to_string_ :: [Funcons] -> Funcons
- library :: FunconLibrary
- stepBits_Not :: [Values Funcons] -> Rewrite Rewritten
- stepBits_And :: [Values Funcons] -> Rewrite Rewritten
- bits_or :: [Funcons] -> Funcons
- stepBits_Or :: [Values Funcons] -> Rewrite Rewritten
- bits_xor :: [Funcons] -> Funcons
- stepBits_Xor :: [Values Funcons] -> Rewrite Rewritten
- bits_shift_left :: [Funcons] -> Funcons
- stepBits_Shift_Left :: [Values Funcons] -> Rewrite Rewritten
- bits_arithmetic_shift_right :: [Funcons] -> Funcons
- stepBits_Arithmetic_Shift_Right :: [Values Funcons] -> Rewrite Rewritten
- bits_logical_shift_right :: [Funcons] -> Funcons
- stepBits_Logical_Shift_Right :: [Values Funcons] -> Rewrite Rewritten
- bits_to_integer :: [Funcons] -> Funcons
- stepBits_To_Integer :: [Values Funcons] -> Rewrite Rewritten
- bits_to_natural :: [Funcons] -> Funcons
- stepBits_To_Natural :: [Values Funcons] -> Rewrite Rewritten
- integer_to_bits :: [Funcons] -> Funcons
- stepInteger_To_Bits :: [Values Funcons] -> Rewrite Rewritten
- library :: FunconLibrary
- ints_ :: [Funcons] -> Funcons
- integers_ :: [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
- integer_mod_ :: [Funcons] -> Funcons
- integer_absolute_value_ :: [Funcons] -> Funcons
- decimal_natural_ :: [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
- library :: FunconLibrary
- 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
- library :: FunconLibrary
- atom_ :: [Funcons] -> Funcons
- library :: FunconLibrary
- bool_ :: Bool -> Funcons
- library :: FunconLibrary
- ascii_characters_ :: [Funcons] -> Funcons
- ascii_character_ :: [Funcons] -> Funcons
- unicode_ :: [Funcons] -> Funcons
- unicode_character_code_ :: [Funcons] -> Funcons
- characters_ :: [Funcons] -> Funcons
- chars_ :: [Funcons] -> Funcons
- library :: FunconLibrary
- types_ :: [Funcons] -> Funcons
- value_types_ :: [Funcons] -> Funcons
- defined_values_ :: [Funcons] -> Funcons
- nothing_ :: [Funcons] -> Funcons
- datatype_values_ :: [Funcons] -> Funcons
- none_ :: [Funcons] -> Funcons
- ground_values_ :: [Funcons] -> Funcons
Documentation
set_elements_ :: [Funcons] -> Funcons Source #
set_intersect_ :: [Funcons] -> Funcons Source #
set_difference_ :: [Funcons] -> Funcons Source #
some_element_ :: [Funcons] -> Funcons Source #
is_subset_ :: [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 #
is_sub_multiset :: [Funcons] -> Funcons Source #
multiset_delete :: [Funcons] -> Funcons Source #
multiset_insert :: [Funcons] -> Funcons Source #
multiset_occurrences :: [Funcons] -> Funcons Source #
multiset_to_set :: [Funcons] -> Funcons Source #
sets_to_multiset :: [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.
map_lookup_ :: [Funcons] -> Funcons Source #
map_override_ :: [Funcons] -> Funcons Source #
map_domain_ :: [Funcons] -> Funcons Source #
map_elements_ :: [Funcons] -> Funcons Source #
map_points_ :: [Funcons] -> Funcons Source #
datatype_value_ :: [Funcons] -> Funcons Source #
lazy_adt_val_ :: [Funcons] -> Funcons Source #
adt_construct_ :: [Funcons] -> Funcons Source #
adt_type_construct_ :: [Funcons] -> Funcons Source #
adt_constructor_ :: [Funcons] -> Funcons Source #
adt_fields_ :: [Funcons] -> Funcons Source #
to_string_ :: [Funcons] -> Funcons Source #
bits_shift_left :: [Funcons] -> Funcons Source #
bits_arithmetic_shift_right :: [Funcons] -> Funcons Source #
bits_logical_shift_right :: [Funcons] -> Funcons Source #
bits_to_integer :: [Funcons] -> Funcons Source #
bits_to_natural :: [Funcons] -> Funcons Source #
integer_to_bits :: [Funcons] -> Funcons Source #
natural_predecessor_ :: [Funcons] -> Funcons Source #
natural_successor_ :: [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 #
integer_mod_ :: [Funcons] -> Funcons Source #
integer_absolute_value_ :: [Funcons] -> Funcons Source #
decimal_natural_ :: [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 #
ieee_float_truncate :: [Funcons] -> Funcons Source #
signed_bits_maximum :: [Funcons] -> Funcons Source #
signed_bits_minimum :: [Funcons] -> Funcons Source #
ieee_float_acos :: [Funcons] -> Funcons Source #
ieee_float_asin :: [Funcons] -> Funcons Source #
ieee_float_atan :: [Funcons] -> Funcons Source #
ieee_float_atan2 :: [Funcons] -> Funcons Source #
ieee_float_cos :: [Funcons] -> Funcons Source #
ieee_float_cosh :: [Funcons] -> Funcons Source #
ieee_float_exp :: [Funcons] -> Funcons Source #
ieee_float_log :: [Funcons] -> Funcons Source #
ieee_float_log10 :: [Funcons] -> Funcons Source #
ieee_float_sin :: [Funcons] -> Funcons Source #
ieee_float_sinh :: [Funcons] -> Funcons Source #
ieee_float_sqrt :: [Funcons] -> Funcons Source #
ieee_float_tan :: [Funcons] -> Funcons Source #
ieee_float_tanh :: [Funcons] -> Funcons Source #
ieee_float_ceiling :: [Funcons] -> Funcons Source #
ieee_float_floor :: [Funcons] -> Funcons Source #
ieee_float_absolute_value :: [Funcons] -> Funcons Source #
ieee_float_op :: String -> ([Funcons] -> Funcons) -> (Double -> Double -> Double) -> Double -> Values -> [Values] -> Rewrite Rewritten Source #
ieee_float_add :: [Funcons] -> Funcons Source #
ieee_float_multiply_ :: [Funcons] -> Funcons Source #
ieee_float_multiply :: [Funcons] -> Funcons 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_negate :: [Funcons] -> Funcons 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_op :: Values Funcons -> Values Funcons -> Values Funcons -> Rewrite Rewritten Source #
ascii_characters_ :: [Funcons] -> Funcons Source #
ascii_character_ :: [Funcons] -> Funcons Source #
unicode_character_code_ :: [Funcons] -> Funcons Source #
characters_ :: [Funcons] -> Funcons Source #
value_types_ :: [Funcons] -> Funcons Source #
defined_values_ :: [Funcons] -> Funcons Source #
datatype_values_ :: [Funcons] -> Funcons Source #
ground_values_ :: [Funcons] -> Funcons Source #