Safe Haskell | None |
---|---|
Language | Haskell2010 |
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].
- int_ :: Int -> Funcons
- nat_ :: Int -> Funcons
- funcons :: FunconLibrary
- entities :: [a]
- types :: TypeRelation
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- print_ :: [Funcons] -> Funcons
- stepPrint :: [Values] -> Rewrite Rewritten
- read_ :: Funcons
- stepRead :: Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- 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
- yielding_ :: Funcons
- stepYielding :: Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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 :: [Funcons] -> 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
- 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
- current_value_ :: [Funcons] -> Funcons
- stepCurrent_value :: [Values] -> Rewrite Rewritten
- variables_ :: Funcons
- stepVariables :: Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- fresh_atom_ :: Funcons
- stepFresh_atom :: Rewrite Rewritten
- use_atom_not_in_ :: [Funcons] -> Funcons
- stepUse_atom_not_in :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- environments_ :: Funcons
- env_ :: 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- defined_ :: [Funcons] -> Funcons
- def_ :: [Funcons] -> Funcons
- stepDefined :: [Values] -> Rewrite Rewritten
- failing_ :: Funcons
- stepFailing :: Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- stuck_ :: Funcons
- stepStuck :: Rewrite a
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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_continuations_ :: [Funcons] -> Funcons
- stepDelimit_continuations :: [Funcons] -> Rewrite Rewritten
- continuations_ :: [Funcons] -> Funcons
- stepContinuations :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- is_in_type_ :: [Funcons] -> Funcons
- is_ :: [Funcons] -> Funcons
- stepIs_in_type :: [Values] -> Rewrite Rewritten
- cast_to_type_ :: [Funcons] -> Funcons
- cast_ :: [Funcons] -> Funcons
- stepCast_to_type :: [Values] -> Rewrite Rewritten
- is_defined_ :: [Funcons] -> Funcons
- is_def_ :: [Funcons] -> Funcons
- stepIs_defined :: [Values] -> Rewrite Rewritten
- is_equal_ :: [Funcons] -> Funcons
- is_eq_ :: [Funcons] -> Funcons
- stepIs_equal :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- strings_ :: Funcons
- stepStrings :: Rewrite Rewritten
- string_ :: [Funcons] -> Funcons
- stepString :: [Values] -> Rewrite Rewritten
- string_append_ :: [Funcons] -> Funcons
- stepString_append :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- datatype_value_id_ :: [Funcons] -> Funcons
- stepDatatype_value_id :: [Values] -> Rewrite Rewritten
- datatype_value_elements_ :: [Funcons] -> Funcons
- stepDatatype_value_elements :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- length_ :: [Funcons] -> Funcons
- stepLength :: [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
- is_in_ :: [Funcons] -> Funcons
- stepIs_in :: [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
- filter_defined_ :: [Funcons] -> Funcons
- stepFilter_defined :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- record_ :: [Funcons] -> Funcons
- stepRecord :: [Values] -> Rewrite Rewritten
- record_select_ :: [Funcons] -> Funcons
- stepRecord_select :: [Values] -> Rewrite Rewritten
- records_ :: [Funcons] -> Funcons
- stepRecords :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- vector_ :: [Funcons] -> Funcons
- stepVector :: [Values] -> Rewrite Rewritten
- vector_elements_ :: [Funcons] -> Funcons
- stepVector_elements :: [Values] -> Rewrite Rewritten
- vectors_ :: [Funcons] -> Funcons
- stepVectors :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- reference_ :: [Funcons] -> Funcons
- stepReference :: [Values] -> Rewrite Rewritten
- pointers_ :: [Funcons] -> Funcons
- stepPointers :: [Funcons] -> Rewrite Rewritten
- dereference_ :: [Funcons] -> Funcons
- stepDereference :: [Values] -> Rewrite Rewritten
- references_ :: [Funcons] -> Funcons
- stepReferences :: [Values] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- directed_graphs_ :: [Funcons] -> Funcons
- stepDirected_graphs :: [Funcons] -> Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- null_value_ :: Funcons
- null_ :: Funcons
- stepNull_value :: Rewrite Rewritten
- unit_type_ :: Funcons
- stepUnit_type :: Rewrite Rewritten
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- 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
- entities :: [a]
- types :: TypeRelation
- funcons :: FunconLibrary
- thunk_ :: [Funcons] -> Funcons
- stepThunk :: [Values] -> Rewrite Rewritten
- force_ :: [Funcons] -> Funcons
- stepForce :: [Values] -> Rewrite Rewritten
- thunks_ :: [Funcons] -> Funcons
- stepThunks :: [Values] -> Rewrite Rewritten
- module Funcons.Core.Manual
Documentation
types :: TypeRelation Source #
types :: TypeRelation Source #
types :: TypeRelation Source #
interleave_ :: [Funcons] -> Funcons Source #
yield_on_value_ :: [Funcons] -> Funcons Source #
yield_on_abrupt_ :: [Funcons] -> Funcons Source #
left_to_right_ :: [Funcons] -> Funcons Source #
right_to_left_ :: [Funcons] -> Funcons Source #
sequential_ :: [Funcons] -> Funcons Source #
if_true_else_ :: [Funcons] -> Funcons Source #
while_true_ :: [Funcons] -> Funcons Source #
do_while_true_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
locations_ :: Funcons Source #
initialise_storing_ :: [Funcons] -> Funcons Source #
init_storing_ :: [Funcons] -> Funcons Source #
allocate_variable_ :: [Funcons] -> Funcons Source #
recycle_variables_ :: [Funcons] -> Funcons Source #
initialise_variable_ :: [Funcons] -> Funcons Source #
alloc_init_ :: [Funcons] -> Funcons Source #
un_assign_ :: [Funcons] -> Funcons Source #
structural_assign_ :: [Funcons] -> Funcons Source #
structural_assigned_ :: [Funcons] -> Funcons Source #
current_value_ :: [Funcons] -> Funcons Source #
variables_ :: Funcons Source #
types :: TypeRelation Source #
initialise_linking_ :: [Funcons] -> Funcons Source #
fresh_link_ :: [Funcons] -> Funcons Source #
fresh_initialised_link_ :: [Funcons] -> Funcons Source #
fresh_init_link_ :: [Funcons] -> Funcons Source #
follow_link_ :: [Funcons] -> Funcons Source #
follow_if_link_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
initialise_giving_ :: [Funcons] -> Funcons Source #
left_to_right_map_ :: [Funcons] -> Funcons Source #
interleave_map_ :: [Funcons] -> Funcons Source #
left_to_right_repeat_ :: [Funcons] -> Funcons Source #
interleave_repeat_ :: [Funcons] -> Funcons Source #
left_to_right_filter_ :: [Funcons] -> Funcons Source #
interleave_filter_ :: [Funcons] -> Funcons Source #
fold_left_ :: [Funcons] -> Funcons Source #
fold_right_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
use_atom_not_in_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
identifier_tagged_ :: [Funcons] -> Funcons Source #
id_tagged_ :: [Funcons] -> Funcons Source #
initialise_binding_ :: [Funcons] -> Funcons Source #
bind_value_ :: [Funcons] -> Funcons Source #
bound_directly_ :: [Funcons] -> Funcons Source #
bound_value_ :: [Funcons] -> Funcons Source #
accumulate_ :: [Funcons] -> Funcons Source #
collateral_ :: [Funcons] -> Funcons Source #
bind_recursively_ :: [Funcons] -> Funcons Source #
recursive_ :: [Funcons] -> Funcons Source #
bind_to_forward_links_ :: [Funcons] -> Funcons Source #
set_forward_links_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
finalise_abrupting_ :: [Funcons] -> Funcons Source #
handle_abrupt_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
finalise_returning_ :: [Funcons] -> Funcons Source #
handle_return_ :: [Funcons] -> Funcons Source #
returning_ :: Funcons Source #
types :: TypeRelation Source #
finalise_throwing_ :: [Funcons] -> Funcons Source #
handle_thrown_ :: [Funcons] -> Funcons Source #
handle_recursively_ :: [Funcons] -> Funcons Source #
catch_else_throw_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
finalise_failing_ :: [Funcons] -> Funcons Source #
else_choice_ :: [Funcons] -> Funcons Source #
check_true_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
types :: TypeRelation Source #
finalise_breaking_ :: [Funcons] -> Funcons Source #
handle_break_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
continued_ :: Funcons Source #
finalise_continuing_ :: [Funcons] -> Funcons Source #
handle_continue_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
continuation_ :: [Funcons] -> Funcons Source #
resume_continuation_ :: [Funcons] -> Funcons Source #
delimit_continuations_ :: [Funcons] -> Funcons Source #
continuations_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
is_in_type_ :: [Funcons] -> Funcons Source #
cast_to_type_ :: [Funcons] -> Funcons Source #
is_defined_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
bit_vector_ :: [Funcons] -> Funcons Source #
signed_bit_vector_maximum_ :: [Funcons] -> Funcons Source #
signed_bit_vector_minimum_ :: [Funcons] -> Funcons Source #
is_in_signed_bit_vector_ :: [Funcons] -> Funcons Source #
is_in_unsigned_bit_vector_ :: [Funcons] -> Funcons Source #
bit_vectors_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
string_append_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
datatype_value_id_ :: [Funcons] -> Funcons Source #
datatype_value_elements_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
list_elements_ :: [Funcons] -> Funcons Source #
list_cons_ :: [Funcons] -> Funcons Source #
list_head_ :: [Funcons] -> Funcons Source #
list_tail_ :: [Funcons] -> Funcons Source #
list_length_ :: [Funcons] -> Funcons Source #
list_append_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
drop_first_n_ :: [Funcons] -> Funcons Source #
intersperse_ :: [Funcons] -> Funcons Source #
filter_defined_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
variant_id_ :: [Funcons] -> Funcons Source #
variant_value_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
record_select_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
vector_elements_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
tuple_elements_ :: [Funcons] -> Funcons Source #
tuple_zip_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
reference_ :: [Funcons] -> Funcons Source #
dereference_ :: [Funcons] -> Funcons Source #
references_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
directed_graphs_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
binary128_ :: Funcons Source #
decimal64_ :: Funcons Source #
types :: TypeRelation Source #
bounded_integers_ :: [Funcons] -> Funcons Source #
bounded_ints_ :: [Funcons] -> Funcons Source #
integer_negate_ :: [Funcons] -> Funcons Source #
integer_sequence_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
unit_type_ :: Funcons Source #
types :: TypeRelation Source #
exclusive_or_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
unicode_point_ :: [Funcons] -> Funcons Source #
ascii_character_ :: [Funcons] -> Funcons Source #
backspace_ :: Funcons Source #
line_feed_ :: Funcons Source #
form_feed_ :: Funcons Source #
backslash_ :: Funcons Source #
types :: TypeRelation Source #
partial_apply_ :: [Funcons] -> Funcons Source #
functions_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
pattern_bind_ :: [Funcons] -> Funcons Source #
pattern_type_ :: [Funcons] -> Funcons Source #
pattern_else_ :: [Funcons] -> Funcons Source #
pattern_unite_ :: [Funcons] -> Funcons Source #
match_loosely_ :: [Funcons] -> Funcons Source #
case_match_ :: [Funcons] -> Funcons Source #
case_match_loosely_ :: [Funcons] -> Funcons Source #
case_variant_value_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
abstraction_ :: [Funcons] -> Funcons Source #
abstractions_ :: [Funcons] -> Funcons Source #
types :: TypeRelation Source #
module Funcons.Core.Manual