Funcons.Core

This module exports smart constructors for building funcon terms from a large collections of funcons. Module Funcons.EDSL can be used to construct funcons. Module Funcons.Tools provides functions for creating executables.

Apologies for the disorganisation of this file, most of its exports exports have been generated.

If a funcon is called 'handle-thrown', its smart constructor is called handle_thrown_ (hyphens replaced by underscores and an additional underscore at the end). Each smart constructors has a single argument, a list (of type ([Funcons]) representing the actual arguments of a funcon application. For example, the funcon 'integer-add' can be applied to an arbitrary number of (integer) arguments, e.g. integer_add_ [int_ 3, int_ 4, int_ 5].

Documentation

int_ :: Int -> Funcons

Creates an integer literal.

nat_ :: Int -> Funcons

Creates a natural literal.

funcons :: FunconLibrary

entities :: [a]

types :: TypeRelation

print_ :: [Funcons] -> Funcons

stepPrint :: [Values] -> Rewrite Rewritten

read_ :: Funcons

stepRead :: Rewrite Rewritten

left_to_right_ :: [Funcons] -> Funcons

l_to_r_ :: [Funcons] -> Funcons

stepLeft_to_right :: [Funcons] -> Rewrite Rewritten

right_to_left_ :: [Funcons] -> Funcons

r_to_l_ :: [Funcons] -> Funcons

stepRight_to_left :: [Funcons] -> Rewrite Rewritten

sequential_ :: [Funcons] -> Funcons

seq_ :: [Funcons] -> Funcons

stepSequential :: [Funcons] -> Rewrite Rewritten

effect_ :: [Funcons] -> Funcons

stepEffect :: [Values] -> Rewrite Rewritten

choice_ :: [Funcons] -> Funcons

stepChoice :: [Funcons] -> Rewrite Rewritten

if_true_else_ :: [Funcons] -> Funcons

if_else_ :: [Funcons] -> Funcons

stepIf_true_else :: [Funcons] -> Rewrite Rewritten

while_true_ :: [Funcons] -> Funcons

while_ :: [Funcons] -> Funcons

stepWhile_true :: [Funcons] -> Rewrite Rewritten

do_while_true_ :: [Funcons] -> Funcons

do_while_ :: [Funcons] -> Funcons

stepDo_while_true :: [Funcons] -> Rewrite Rewritten

interleave_ :: [Funcons] -> Funcons

stepInterleave :: [Values] -> Rewrite Rewritten

signal_ :: Funcons

stepSignal :: Rewrite Rewritten

yield_ :: Funcons

stepYield :: Rewrite Rewritten

yield_on_value_ :: [Funcons] -> Funcons

stepYield_on_value :: [Values] -> Rewrite Rewritten

yield_on_abrupt_ :: [Funcons] -> Funcons

stepYield_on_abrupt :: [Funcons] -> Rewrite Rewritten

yielding_ :: Funcons

stepYielding :: Rewrite Rewritten

locations_ :: Funcons

locs_ :: Funcons

stepLocations :: Rewrite Rewritten

stores_ :: Funcons

stepStores :: Rewrite Rewritten

store_clear_ :: Funcons

stepStore_clear :: Rewrite Rewritten

initialise_storing_ :: [Funcons] -> Funcons

init_storing_ :: [Funcons] -> Funcons

stepInitialise_storing :: [Funcons] -> Rewrite Rewritten

variable_ :: [Funcons] -> Funcons

var_ :: [Funcons] -> Funcons

stepVariable :: [Values] -> Rewrite Rewritten

allocate_variable_ :: [Funcons] -> Funcons

alloc_ :: [Funcons] -> Funcons

stepAllocate_variable :: [Values] -> Rewrite Rewritten

recycle_variables_ :: [Funcons] -> Funcons

recycle_ :: [Funcons] -> Funcons

stepRecycle_variables :: [Values] -> Rewrite Rewritten

initialise_variable_ :: [Funcons] -> Funcons

init_ :: [Funcons] -> Funcons

stepInitialise_variable :: [Values] -> Rewrite Rewritten

allocate_initialised_variable_ :: [Funcons] -> Funcons

alloc_init_ :: [Funcons] -> Funcons

stepAllocate_initialised_variable :: [Funcons] -> Rewrite Rewritten

assign_ :: [Funcons] -> Funcons

stepAssign :: [Values] -> Rewrite Rewritten

assigned_ :: [Funcons] -> Funcons

stepAssigned :: [Values] -> Rewrite Rewritten

current_value_ :: [Funcons] -> Funcons

stepCurrent_value :: [Values] -> Rewrite Rewritten

un_assign_ :: [Funcons] -> Funcons

stepUn_assign :: [Values] -> Rewrite Rewritten

structural_assign_ :: [Funcons] -> Funcons

stepStructural_assign :: [Values] -> Rewrite Rewritten

structural_assigned_ :: [Funcons] -> Funcons

stepStructural_assigned :: [Values] -> Rewrite Rewritten

variables_ :: Funcons

stepVariables :: Rewrite Rewritten

link_ :: [Funcons] -> Funcons

stepLink :: [Values] -> Rewrite Rewritten

initialise_linking_ :: [Funcons] -> Funcons

stepInitialise_linking :: [Funcons] -> Rewrite Rewritten

fresh_link_ :: [Funcons] -> Funcons

stepFresh_link :: [Funcons] -> Rewrite Rewritten

fresh_initialised_link_ :: [Funcons] -> Funcons

fresh_init_link_ :: [Funcons] -> Funcons

stepFresh_initialised_link :: [Funcons] -> Rewrite Rewritten

set_link_ :: [Funcons] -> Funcons

stepSet_link :: [Values] -> Rewrite Rewritten

follow_link_ :: [Funcons] -> Funcons

stepFollow_link :: [Values] -> Rewrite Rewritten

follow_if_link_ :: [Funcons] -> Funcons

stepFollow_if_link :: [Values] -> Rewrite Rewritten

links_ :: Funcons

stepLinks :: Rewrite Rewritten

initialise_giving_ :: [Funcons] -> Funcons

stepInitialise_giving :: [Funcons] -> Rewrite Rewritten

give_ :: [Funcons] -> Funcons

stepGive :: [Funcons] -> Rewrite Rewritten

given_ :: Funcons

stepGiven :: Rewrite Rewritten

no_given_ :: [Funcons] -> Funcons

stepNo_given :: [Funcons] -> Rewrite Rewritten

left_to_right_map_ :: [Funcons] -> Funcons

stepLeft_to_right_map :: [Funcons] -> Rewrite Rewritten

interleave_map_ :: [Funcons] -> Funcons

stepInterleave_map :: [Funcons] -> Rewrite Rewritten

left_to_right_repeat_ :: [Funcons] -> Funcons

stepLeft_to_right_repeat :: [Funcons] -> Rewrite Rewritten

interleave_repeat_ :: [Funcons] -> Funcons

stepInterleave_repeat :: [Funcons] -> Rewrite Rewritten

left_to_right_filter_ :: [Funcons] -> Funcons

stepLeft_to_right_filter :: [Funcons] -> Rewrite Rewritten

interleave_filter_ :: [Funcons] -> Funcons

stepInterleave_filter :: [Funcons] -> Rewrite Rewritten

fold_left_ :: [Funcons] -> Funcons

stepFold_left :: [Funcons] -> Rewrite Rewritten

fold_right_ :: [Funcons] -> Funcons

stepFold_right :: [Funcons] -> Rewrite Rewritten

fresh_atom_ :: Funcons

stepFresh_atom :: Rewrite Rewritten

use_atom_not_in_ :: [Funcons] -> Funcons

stepUse_atom_not_in :: [Values] -> Rewrite Rewritten

environments_ :: Funcons

envs_ :: Funcons

stepEnvironments :: Rewrite Rewritten

identifier_tagged_ :: [Funcons] -> Funcons

id_tagged_ :: [Funcons] -> Funcons

stepIdentifier_tagged :: [Values] -> Rewrite Rewritten

fresh_identifier_ :: Funcons

stepFresh_identifier :: Rewrite Rewritten

initialise_binding_ :: [Funcons] -> Funcons

stepInitialise_binding :: [Funcons] -> Rewrite Rewritten

bind_value_ :: [Funcons] -> Funcons

bind_ :: [Funcons] -> Funcons

stepBind_value :: [Values] -> Rewrite Rewritten

unbind_ :: [Funcons] -> Funcons

stepUnbind :: [Values] -> Rewrite Rewritten

bound_directly_ :: [Funcons] -> Funcons

stepBound_directly :: [Values] -> Rewrite Rewritten

bound_value_ :: [Funcons] -> Funcons

bound_ :: [Funcons] -> Funcons

stepBound_value :: [Values] -> Rewrite Rewritten

closed_ :: [Funcons] -> Funcons

stepClosed :: [Funcons] -> Rewrite Rewritten

scope_ :: [Funcons] -> Funcons

stepScope :: [Funcons] -> Rewrite Rewritten

accumulate_ :: [Funcons] -> Funcons

stepAccumulate :: [Funcons] -> Rewrite Rewritten

collateral_ :: [Funcons] -> Funcons

stepCollateral :: [Values] -> Rewrite Rewritten

bind_recursively_ :: [Funcons] -> Funcons

stepBind_recursively :: [Funcons] -> Rewrite Rewritten

recursive_ :: [Funcons] -> Funcons

stepRecursive :: [Funcons] -> Rewrite Rewritten

re_close_ :: [Funcons] -> Funcons

stepRe_close :: [Funcons] -> Rewrite Rewritten

bind_to_forward_links_ :: [Funcons] -> Funcons

stepBind_to_forward_links :: [Values] -> Rewrite Rewritten

set_forward_links_ :: [Funcons] -> Funcons

stepSet_forward_links :: [Values] -> Rewrite Rewritten

identifiers_ :: Funcons

stepIdentifiers :: Rewrite Rewritten

finalise_abrupting_ :: [Funcons] -> Funcons

stepFinalise_abrupting :: [Funcons] -> Rewrite Rewritten

abrupt_ :: [Funcons] -> Funcons

stepAbrupt :: [Values] -> Rewrite Rewritten

handle_abrupt_ :: [Funcons] -> Funcons

stepHandle_abrupt :: [Funcons] -> Rewrite Rewritten

finally_ :: [Funcons] -> Funcons

stepFinally :: [Funcons] -> Rewrite Rewritten

returned_ :: [Funcons] -> Funcons

stepReturned :: [Values] -> Rewrite Rewritten

finalise_returning_ :: [Funcons] -> Funcons

stepFinalise_returning :: [Funcons] -> Rewrite Rewritten

return_ :: [Funcons] -> Funcons

stepReturn :: [Values] -> Rewrite Rewritten

handle_return_ :: [Funcons] -> Funcons

stepHandle_return :: [Funcons] -> Rewrite Rewritten

returning_ :: Funcons

stepReturning :: Rewrite Rewritten

continuation_ :: [Funcons] -> Funcons

stepContinuation :: [Values] -> Rewrite Rewritten

hole_ :: Funcons

stepHole :: Rewrite Rewritten

resume_continuation_ :: [Funcons] -> Funcons

stepResume_continuation :: [Values] -> Rewrite Rewritten

control_ :: [Funcons] -> Funcons

stepControl :: [Values] -> Rewrite Rewritten

delimit_current_continuation_ :: [Funcons] -> Funcons

delimit_cc_ :: [Funcons] -> Funcons

stepDelimit_current_continuation :: [Funcons] -> Rewrite Rewritten

continuations_ :: [Funcons] -> Funcons

stepContinuations :: [Values] -> Rewrite Rewritten

thrown_ :: [Funcons] -> Funcons

stepThrown :: [Values] -> Rewrite Rewritten

finalise_throwing_ :: [Funcons] -> Funcons

stepFinalise_throwing :: [Funcons] -> Rewrite Rewritten

throw_ :: [Funcons] -> Funcons

stepThrow :: [Values] -> Rewrite Rewritten

handle_thrown_ :: [Funcons] -> Funcons

stepHandle_thrown :: [Funcons] -> Rewrite Rewritten

handle_recursively_ :: [Funcons] -> Funcons

stepHandle_recursively :: [Funcons] -> Rewrite Rewritten

catch_else_throw_ :: [Funcons] -> Funcons

stepCatch_else_throw :: [Funcons] -> Rewrite Rewritten

throwing_ :: Funcons

stepThrowing :: Rewrite Rewritten

failed_ :: Funcons

stepFailed :: Rewrite Rewritten

finalise_failing_ :: [Funcons] -> Funcons

stepFinalise_failing :: [Funcons] -> Rewrite Rewritten

fail_ :: Funcons

stepFail :: Rewrite Rewritten

else_ :: [Funcons] -> Funcons

stepElse :: [Funcons] -> Rewrite Rewritten

else_choice_ :: [Funcons] -> Funcons

stepElse_choice :: [Funcons] -> Rewrite Rewritten

check_true_ :: [Funcons] -> Funcons

check_ :: [Funcons] -> Funcons

stepCheck_true :: [Values] -> Rewrite Rewritten

checked_ :: [Funcons] -> Funcons

stepChecked :: [Values] -> Rewrite Rewritten

failing_ :: Funcons

stepFailing :: Rewrite Rewritten

stuck_ :: Funcons

stepStuck :: Rewrite a

broken_ :: Funcons

stepBroken :: Rewrite Rewritten

finalise_breaking_ :: [Funcons] -> Funcons

stepFinalise_breaking :: [Funcons] -> Rewrite Rewritten

break_ :: Funcons

stepBreak :: Rewrite Rewritten

handle_break_ :: [Funcons] -> Funcons

stepHandle_break :: [Funcons] -> Rewrite Rewritten

breaking_ :: Funcons

stepBreaking :: Rewrite Rewritten

continued_ :: Funcons

stepContinued :: Rewrite Rewritten

finalise_continuing_ :: [Funcons] -> Funcons

stepFinalise_continuing :: [Funcons] -> Rewrite Rewritten

continue_ :: Funcons

stepContinue :: Rewrite Rewritten

handle_continue_ :: [Funcons] -> Funcons

stepHandle_continue :: [Funcons] -> Rewrite Rewritten

continuing_ :: Funcons

stepContinuing :: Rewrite Rewritten

tags_ :: Funcons

stepTags :: Rewrite Rewritten

ast_value_ :: [Funcons] -> Funcons

stepAst_value :: [Values] -> Rewrite Rewritten

ast_term_ :: [Funcons] -> Funcons

stepAst_term :: [Values] -> Rewrite Rewritten

asts_ :: Funcons

stepAsts :: Rewrite Rewritten

record_ :: [Funcons] -> Funcons

stepRecord :: [Values] -> Rewrite Rewritten

record_map_ :: [Funcons] -> Funcons

stepRecord_map :: [Values] -> Rewrite Rewritten

record_select_ :: [Funcons] -> Funcons

stepRecord_select :: [Values] -> Rewrite Rewritten

records_ :: [Funcons] -> Funcons

stepRecords :: [Values] -> Rewrite Rewritten

strings_ :: Funcons

stepStrings :: Rewrite Rewritten

string_ :: [Funcons] -> Funcons

stepString :: [Values] -> Rewrite Rewritten

string_append_ :: [Funcons] -> Funcons

stepString_append :: [Values] -> Rewrite Rewritten

reference_ :: [Funcons] -> Funcons

stepReference :: [Values] -> Rewrite Rewritten

pointer_null_ :: Funcons

stepPointer_null :: Rewrite Rewritten

dereference_ :: [Funcons] -> Funcons

stepDereference :: [Values] -> Rewrite Rewritten

references_ :: [Funcons] -> Funcons

stepReferences :: [Values] -> Rewrite Rewritten

pointers_ :: [Funcons] -> Funcons

stepPointers :: [Values] -> Rewrite Rewritten

directed_graphs_ :: [Funcons] -> Funcons

stepDirected_graphs :: [Funcons] -> Rewrite Rewritten

vector_ :: [Funcons] -> Funcons

stepVector :: [Values] -> Rewrite Rewritten

vector_elements_ :: [Funcons] -> Funcons

stepVector_elements :: [Values] -> Rewrite Rewritten

vectors_ :: [Funcons] -> Funcons

stepVectors :: [Values] -> Rewrite Rewritten

variant_ :: [Funcons] -> Funcons

stepVariant :: [Values] -> Rewrite Rewritten

variant_id_ :: [Funcons] -> Funcons

stepVariant_id :: [Values] -> Rewrite Rewritten

variant_value_ :: [Funcons] -> Funcons

stepVariant_value :: [Values] -> Rewrite Rewritten

variants_ :: [Funcons] -> Funcons

stepVariants :: [Values] -> Rewrite Rewritten

tree_ :: [Funcons] -> Funcons

stepTree :: [Values] -> Rewrite Rewritten

tree_root_value_ :: [Funcons] -> Funcons

stepTree_root_value :: [Values] -> Rewrite Rewritten

tree_branch_sequence_ :: [Funcons] -> Funcons

stepTree_branch_sequence :: [Values] -> Rewrite Rewritten

single_branching_sequence_ :: [Funcons] -> Funcons

stepSingle_branching_sequence :: [Values] -> Rewrite Rewritten

forest_root_value_sequence_ :: [Funcons] -> Funcons

stepForest_root_value_sequence :: [Values] -> Rewrite Rewritten

forest_branch_sequence_ :: [Funcons] -> Funcons

stepForest_branch_sequence :: [Values] -> Rewrite Rewritten

forest_value_sequence_ :: [Funcons] -> Funcons

stepForest_value_sequence :: [Values] -> Rewrite Rewritten

trees_ :: [Funcons] -> Funcons

stepTrees :: [Values] -> Rewrite Rewritten

length_ :: [Funcons] -> Funcons

stepLength :: [Values] -> Rewrite Rewritten

is_in_ :: [Funcons] -> Funcons

stepIs_in :: [Values] -> Rewrite Rewritten

index_ :: [Funcons] -> Funcons

stepIndex :: [Values] -> Rewrite Rewritten

first_ :: [Funcons] -> Funcons

stepFirst :: [Values] -> Rewrite Rewritten

second_ :: [Funcons] -> Funcons

stepSecond :: [Values] -> Rewrite Rewritten

third_ :: [Funcons] -> Funcons

stepThird :: [Values] -> Rewrite Rewritten

first_n_ :: [Funcons] -> Funcons

stepFirst_n :: [Values] -> Rewrite Rewritten

drop_first_n_ :: [Funcons] -> Funcons

stepDrop_first_n :: [Values] -> Rewrite Rewritten

reverse_ :: [Funcons] -> Funcons

stepReverse :: [Values] -> Rewrite Rewritten

n_of_ :: [Funcons] -> Funcons

stepN_of :: [Values] -> Rewrite Rewritten

intersperse_ :: [Funcons] -> Funcons

stepIntersperse :: [Values] -> Rewrite Rewritten

list_ :: [Funcons] -> Funcons

stepList :: [Values] -> Rewrite Rewritten

list_elements_ :: [Funcons] -> Funcons

stepList_elements :: [Values] -> Rewrite Rewritten

list_nil_ :: Funcons

nil_ :: Funcons

stepList_nil :: Rewrite Rewritten

list_cons_ :: [Funcons] -> Funcons

cons_ :: [Funcons] -> Funcons

stepList_cons :: [Values] -> Rewrite Rewritten

list_head_ :: [Funcons] -> Funcons

head_ :: [Funcons] -> Funcons

stepList_head :: [Values] -> Rewrite Rewritten

list_tail_ :: [Funcons] -> Funcons

tail_ :: [Funcons] -> Funcons

stepList_tail :: [Values] -> Rewrite Rewritten

list_length_ :: [Funcons] -> Funcons

stepList_length :: [Values] -> Rewrite Rewritten

list_append_ :: [Funcons] -> Funcons

stepList_append :: [Values] -> Rewrite Rewritten

lists_ :: [Funcons] -> Funcons

stepLists :: [Values] -> Rewrite Rewritten

class_ :: [Funcons] -> Funcons

stepClass :: [Values] -> Rewrite Rewritten

class_instantiator_ :: [Funcons] -> Funcons

stepClass_instantiator :: [Values] -> Rewrite Rewritten

class_feature_map_ :: [Funcons] -> Funcons

stepClass_feature_map :: [Values] -> Rewrite Rewritten

class_superclass_name_sequence_ :: [Funcons] -> Funcons

stepClass_superclass_name_sequence :: [Values] -> Rewrite Rewritten

class_name_tree_ :: [Funcons] -> Funcons

stepClass_name_tree :: [Values] -> Rewrite Rewritten

is_subclass_name_ :: [Funcons] -> Funcons

stepIs_subclass_name :: [Values] -> Rewrite Rewritten

class_name_single_inheritance_feature_map_ :: [Funcons] -> Funcons

stepClass_name_single_inheritance_feature_map :: [Values] -> Rewrite Rewritten

classes_ :: Funcons

stepClasses :: Rewrite Rewritten

object_ :: [Funcons] -> Funcons

stepObject :: [Values] -> Rewrite Rewritten

object_identity_ :: [Funcons] -> Funcons

stepObject_identity :: [Values] -> Rewrite Rewritten

object_class_name_ :: [Funcons] -> Funcons

stepObject_class_name :: [Values] -> Rewrite Rewritten

object_feature_map_ :: [Funcons] -> Funcons

stepObject_feature_map :: [Values] -> Rewrite Rewritten

object_subobject_sequence_ :: [Funcons] -> Funcons

stepObject_subobject_sequence :: [Values] -> Rewrite Rewritten

object_tree_ :: [Funcons] -> Funcons

stepObject_tree :: [Values] -> Rewrite Rewritten

object_single_inheritance_feature_map_ :: [Funcons] -> Funcons

stepObject_single_inheritance_feature_map :: [Values] -> Rewrite Rewritten

objects_ :: Funcons

stepObjects :: Rewrite Rewritten

datatype_value_id_ :: [Funcons] -> Funcons

stepDatatype_value_id :: [Values] -> Rewrite Rewritten

datatype_value_elements_ :: [Funcons] -> Funcons

stepDatatype_value_elements :: [Values] -> Rewrite Rewritten

tuple_ :: [Funcons] -> Funcons

stepTuple :: [Values] -> Rewrite Rewritten

tuple_elements_ :: [Funcons] -> Funcons

stepTuple_elements :: [Values] -> Rewrite Rewritten

tuple_zip_ :: [Funcons] -> Funcons

stepTuple_zip :: [Values] -> Rewrite Rewritten

tuples_ :: [Funcons] -> Funcons

stepTuples :: [Values] -> Rewrite Rewritten

bits_ :: Funcons

stepBits :: Rewrite Rewritten

bit_vector_ :: [Funcons] -> Funcons

stepBit_vector :: [Values] -> Rewrite Rewritten

bytes_ :: Funcons

octets_ :: Funcons

stepBytes :: Rewrite Rewritten

unsigned_bit_vector_maximum_ :: [Funcons] -> Funcons

stepUnsigned_bit_vector_maximum :: [Values] -> Rewrite Rewritten

signed_bit_vector_maximum_ :: [Funcons] -> Funcons

stepSigned_bit_vector_maximum :: [Values] -> Rewrite Rewritten

signed_bit_vector_minimum_ :: [Funcons] -> Funcons

stepSigned_bit_vector_minimum :: [Values] -> Rewrite Rewritten

is_in_signed_bit_vector_ :: [Funcons] -> Funcons

stepIs_in_signed_bit_vector :: [Values] -> Rewrite Rewritten

is_in_unsigned_bit_vector_ :: [Funcons] -> Funcons

stepIs_in_unsigned_bit_vector :: [Values] -> Rewrite Rewritten

bit_vectors_ :: [Funcons] -> Funcons

stepBit_vectors :: [Values] -> Rewrite Rewritten

binary32_ :: Funcons

stepBinary32 :: Rewrite Rewritten

binary64_ :: Funcons

stepBinary64 :: Rewrite Rewritten

binary128_ :: Funcons

stepBinary128 :: Rewrite Rewritten

decimal64_ :: Funcons

stepDecimal64 :: Rewrite Rewritten

decimal128_ :: Funcons

stepDecimal128 :: Rewrite Rewritten

float_formats_ :: Funcons

stepFloat_formats :: Rewrite Rewritten

true_ :: Funcons

stepTrue :: Rewrite Rewritten

false_ :: Funcons

stepFalse :: Rewrite Rewritten

not_ :: [Funcons] -> Funcons

stepNot :: [Values] -> Rewrite Rewritten

implies_ :: [Funcons] -> Funcons

stepImplies :: [Values] -> Rewrite Rewritten

and_ :: [Funcons] -> Funcons

stepAnd :: [Values] -> Rewrite Rewritten

or_ :: [Funcons] -> Funcons

stepOr :: [Values] -> Rewrite Rewritten

exclusive_or_ :: [Funcons] -> Funcons

xor_ :: [Funcons] -> Funcons

stepExclusive_or :: [Values] -> Rewrite Rewritten

booleans_ :: Funcons

stepBooleans :: Rewrite Rewritten

null_value_ :: Funcons

null_ :: Funcons

stepNull_value :: Rewrite Rewritten

null_type_ :: Funcons

stepNull_type :: Rewrite Rewritten

unicode_point_ :: [Funcons] -> Funcons

unicode_ :: [Funcons] -> Funcons

stepUnicode_point :: [Values] -> Rewrite Rewritten

iso_latin_1_points_ :: Funcons

stepIso_latin_1_points :: Rewrite Rewritten

ascii_points_ :: Funcons

stepAscii_points :: Rewrite Rewritten

ascii_character_ :: [Funcons] -> Funcons

ascii_char_ :: [Funcons] -> Funcons

stepAscii_character :: [Values] -> Rewrite Rewritten

backspace_ :: Funcons

stepBackspace :: Rewrite Rewritten

horizontal_tab_ :: Funcons

stepHorizontal_tab :: Rewrite Rewritten

line_feed_ :: Funcons

stepLine_feed :: Rewrite Rewritten

form_feed_ :: Funcons

stepForm_feed :: Rewrite Rewritten

carriage_return_ :: Funcons

stepCarriage_return :: Rewrite Rewritten

double_quote_ :: Funcons

stepDouble_quote :: Rewrite Rewritten

single_quote_ :: Funcons

stepSingle_quote :: Rewrite Rewritten

backslash_ :: Funcons

stepBackslash :: Rewrite Rewritten

bounded_integers_ :: [Funcons] -> Funcons

bounded_ints_ :: [Funcons] -> Funcons

stepBounded_integers :: [Values] -> Rewrite Rewritten

positive_integers_ :: Funcons

pos_ints_ :: Funcons

stepPositive_integers :: Rewrite Rewritten

negative_integers_ :: Funcons

neg_ints_ :: Funcons

stepNegative_integers :: Rewrite Rewritten

natural_numbers_ :: Funcons

nats_ :: Funcons

stepNatural_numbers :: Rewrite Rewritten

integer_negate_ :: [Funcons] -> Funcons

int_neg_ :: [Funcons] -> Funcons

stepInteger_negate :: [Values] -> Rewrite Rewritten

integer_sequence_ :: [Funcons] -> Funcons

stepInteger_sequence :: [Values] -> Rewrite Rewritten

is_in_type_ :: [Funcons] -> Funcons

is_ :: [Funcons] -> Funcons

stepIs_in_type :: [Values] -> Rewrite Rewritten

is_value_ :: [Funcons] -> Funcons

is_val_ :: [Funcons] -> Funcons

stepIs_value :: [Values] -> Rewrite Rewritten

when_true_ :: [Funcons] -> Funcons

when_ :: [Funcons] -> Funcons

stepWhen_true :: [Values] -> Rewrite Rewritten

cast_to_type_ :: [Funcons] -> Funcons

cast_ :: [Funcons] -> Funcons

stepCast_to_type :: [Values] -> Rewrite Rewritten

is_equal_ :: [Funcons] -> Funcons

is_eq_ :: [Funcons] -> Funcons

stepIs_equal :: [Values] -> Rewrite Rewritten

thunk_ :: [Funcons] -> Funcons

stepThunk :: [Values] -> Rewrite Rewritten

force_ :: [Funcons] -> Funcons

stepForce :: [Values] -> Rewrite Rewritten

thunks_ :: [Funcons] -> Funcons

stepThunks :: [Values] -> Rewrite Rewritten

pattern_ :: [Funcons] -> Funcons

stepPattern :: [Values] -> Rewrite Rewritten

pattern_any_ :: Funcons

stepPattern_any :: Rewrite Rewritten

pattern_bind_ :: [Funcons] -> Funcons

stepPattern_bind :: [Values] -> Rewrite Rewritten

pattern_type_ :: [Funcons] -> Funcons

stepPattern_type :: [Funcons] -> Rewrite Rewritten

pattern_else_ :: [Funcons] -> Funcons

stepPattern_else :: [Values] -> Rewrite Rewritten

pattern_unite_ :: [Funcons] -> Funcons

stepPattern_unite :: [Values] -> Rewrite Rewritten

match_ :: [Funcons] -> Funcons

stepMatch :: [Values] -> Rewrite Rewritten

match_loosely_ :: [Funcons] -> Funcons

stepMatch_loosely :: [Values] -> Rewrite Rewritten

case_match_ :: [Funcons] -> Funcons

stepCase_match :: [Funcons] -> Rewrite Rewritten

case_match_loosely_ :: [Funcons] -> Funcons

stepCase_match_loosely :: [Funcons] -> Rewrite Rewritten

case_variant_value_ :: [Funcons] -> Funcons

stepCase_variant_value :: [Values] -> Rewrite Rewritten

patterns_ :: Funcons

stepPatterns :: Rewrite Rewritten

function_ :: [Funcons] -> Funcons

stepFunction :: [Values] -> Rewrite Rewritten

apply_ :: [Funcons] -> Funcons

stepApply :: [Values] -> Rewrite Rewritten

supply_ :: [Funcons] -> Funcons

stepSupply :: [Values] -> Rewrite Rewritten

compose_ :: [Funcons] -> Funcons

stepCompose :: [Values] -> Rewrite Rewritten

uncurry_ :: [Funcons] -> Funcons

stepUncurry :: [Values] -> Rewrite Rewritten

curry_ :: [Funcons] -> Funcons

stepCurry :: [Values] -> Rewrite Rewritten

partial_apply_ :: [Funcons] -> Funcons

stepPartial_apply :: [Values] -> Rewrite Rewritten

functions_ :: [Funcons] -> Funcons

stepFunctions :: [Values] -> Rewrite Rewritten

abstraction_ :: [Funcons] -> Funcons

stepAbstraction :: [Funcons] -> Rewrite Rewritten

closure_ :: [Funcons] -> Funcons

stepClosure :: [Funcons] -> Rewrite Rewritten

enact_ :: [Funcons] -> Funcons

stepEnact :: [Values] -> Rewrite Rewritten

abstractions_ :: [Funcons] -> Funcons

stepAbstractions :: [Values] -> Rewrite Rewritten

datatype_values_ :: [Funcons] -> Funcons

ground_values_ :: [Funcons] -> Funcons

ground_vals_ :: [Funcons] -> Funcons

types_ :: [Funcons] -> Funcons

value_types_ :: [Funcons] -> Funcons

empty_type_ :: [Funcons] -> 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

unicode_character_ :: [Funcons] -> Funcons

unicode_char_ :: [Funcons] -> Funcons

characters_ :: [Funcons] -> Funcons

chars_ :: [Funcons] -> Funcons

bool_ :: Bool -> 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

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

atoms_ :: [Funcons] -> Funcons

atom_ :: [Funcons] -> Funcons

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

computation_types_ :: [Funcons] -> Funcons

stepComputation_Types :: Rewrite Rewritten

library :: FunconLibrary