Funcons.Core

list_

tuple_

set_

int_

nat_

string_

funcons

entities

types

entities

types

funcons

sorts_

stepSorts

entities

types

funcons

left_to_right_

stepLeft_to_right

entities

types

funcons

atomic_

stepAtomic

entities

types

funcons

sequential_

stepSequential

entities

types

funcons

vector_map_

stepVector_map

entities

types

funcons

set_map_

stepSet_map

entities

types

funcons

list_map_

stepList_map

entities

types

funcons

tuple_map_

stepTuple_map

entities

types

funcons

map_map_

stepMap_map

entities

types

funcons

lists_map_

stepLists_map

entities

types

funcons

multiset_filter_

stepMultiset_filter

entities

types

funcons

set_filter_

stepSet_filter

entities

types

funcons

map_filter_

stepMap_filter

entities

types

funcons

list_filter_

stepList_filter

entities

types

funcons

list_foldl_

stepList_foldl

entities

types

funcons

list_foldr_

stepList_foldr

entities

types

funcons

while_

stepWhile

entities

types

funcons

do_while_

stepDo_while

entities

types

funcons

if_then_else_

stepIf_then_else

entities

types

funcons

stuck_

stepStuck

entities

types

funcons

entities

types

funcons

handle_thrown_

stepHandle_thrown

entities

types

funcons

finally_

stepFinally

entities

types

funcons

throw_

stepThrow

entities

types

funcons

handle_recursively_

stepHandle_recursively

entities

types

funcons

plug_

stepPlug

entities

types

funcons

entities

types

funcons

shift_

stepShift

entities

types

funcons

prompt_

stepPrompt

entities

types

funcons

control_

stepControl

entities

types

funcons

call_cc_

stepCall_cc

entities

types

funcons

reset_

stepReset

entities

types

funcons

hole_

stepHole

entities

types

funcons

abort_

stepAbort

entities

types

funcons

entities

types

funcons

else_

stepElse

entities

types

funcons

check_true_

stepCheck_true

entities

types

funcons

fail_

stepFail

entities

types

funcons

stepSignal

stepSignals

entities

types

funcons

dereference_

stepDereference

entities

types

funcons

entities

types

funcons

print_list_

stepPrint_list

entities

types

funcons

print_

stepPrint

entities

types

funcons

entities

types

funcons

read_

stepRead

entities

types

funcons

entities

types

funcons

effect_

stepEffect

entities

types

funcons

allocate_map_

stepAllocate_map

entities

types

funcons

general_assign_

stepGeneral_assign

entities

types

funcons

general_assigned_

stepGeneral_assigned

entities

types

funcons

allocate_vector_

stepAllocate_vector

entities

types

funcons

stores_

stepStores

stepUninitialised

stepUninitialised_values

entities

types

funcons

current_value_

stepCurrent_value

entities

types

funcons

assigned_

stepAssigned

entities

types

funcons

allocate_initialised_variable_

stepAllocate_initialised_variable

entities

types

funcons

allocate_variable_

stepAllocate_variable

entities

types

funcons

deallocate_variable_

stepDeallocate_variable

entities

types

funcons

assign_

stepAssign

entities

types

funcons

entities

types

funcons

variables_

stepVariables

all_variables_

stepAll_variables

variable_accepting_type_

stepVariable_accepting_type

variable_producing_type_

stepVariable_producing_type

stepSimple_variable

stepReynolds_variable

stepReynolds_variables

entities

types

funcons

allocate_initialised_link_

stepAllocate_initialised_link

entities

types

funcons

allocate_link_

stepAllocate_link

entities

types

funcons

follow_if_link_

stepFollow_if_link

entities

types

funcons

entities

types

funcons

links_

stepLinks

all_links_

stepAll_links

link_accepting_type_

stepLink_accepting_type

link_producing_type_

stepLink_producing_type

stepSimple_link

stepReynolds_link

stepReynolds_links

entities

types

funcons

follow_link_

stepFollow_link

entities

types

funcons

link_stores_

stepLink_stores

entities

types

funcons

set_link_

stepSet_link

entities

types

funcons

given_

stepGiven

given1_

stepGiven1

given2_

stepGiven2

given3_

stepGiven3

entities

types

funcons

give_

stepGive

entities

types

funcons

entities

types

funcons

entities

types

funcons

fresh_atom_

stepFresh_atom

entities

types

funcons

fresh_binder_

stepFresh_binder

entities

types

funcons

recursive_

stepRecursive

bind_to_forward_links_

stepBind_to_forward_links

set_forward_links_

stepSet_forward_links

reclose_

stepReclose

entities

types

funcons

bind_recursively_

stepBind_recursively

entities

types

funcons

bound_recursively_

stepBound_recursively

entities

types

funcons

bound_

stepBound

entities

types

funcons

environments_

stepEnvironments

namespace_names_

stepNamespace_names

stepId_in_namespace

stepBinders

entities

types

funcons

scope_

stepScope

entities

types

funcons

accumulate_

stepAccumulate

entities

types

funcons

bind_

stepBind

entities

types

funcons

entities

types

funcons

is_in_type_

stepIs_in_type

entities

types

funcons

directed_graphs_

stepDirected_graphs

entities

types

funcons

tuples_

stepTuples

entities

types

funcons

variant_tag_

stepVariant_tag

variant_value_

stepVariant_value

stepVariant

stepVariants

entities

types

funcons

record_field_map_

stepRecord_field_map

record_select_

stepRecord_select

stepRecord

stepRecords

entities

types

funcons

pointers_

stepPointers

stepReference

stepReferences

entities

types

funcons

is_null_

stepIs_null

stepNull

stepUnit_type

entities

types

funcons

unicode_character_

stepUnicode_character

unicode_codes_

stepUnicode_codes

utf_32_

stepUtf_32

entities

types

funcons

bytes_

stepBytes

unsigned_bits_maximum_

stepUnsigned_bits_maximum

signed_bits_maximum_

stepSigned_bits_maximum

signed_bits_minimum_

stepSigned_bits_minimum

is_in_signed_bits_

stepIs_in_signed_bits

is_in_unsigned_bits_

stepIs_in_unsigned_bits

entities

types

funcons

ids_

stepIds

newline_

stepNewline

entities

types

funcons

integer_negate_

stepInteger_negate

entities

types

funcons

negate_

stepNegate

exponent_notation_

stepExponent_notation

entities

types

funcons

quiet_not_a_number_

stepQuiet_not_a_number

signals_not_a_number_

stepSignals_not_a_number

positive_infinity_

stepPositive_infinity

negative_infinity_

stepNegative_infinity

stepBinary32

stepBinary64

stepBinary128

stepDecimal64

stepDecimal128

stepIeee_formats

entities

types

funcons

not_

stepNot

implies_

stepImplies

and_

stepAnd

or_

stepOr

xor_

stepXor

is_equal_

stepIs_equal

stepFalse

stepTrue

stepBooleans

entities

types

funcons

close_

stepClose

entities

types

funcons

closure_

stepClosure

entities

types

funcons

pattern_prefer_

stepPattern_prefer

entities

types

funcons

match_

stepMatch

entities

types

funcons

patterns_

stepPatterns

entities

types

funcons

pattern_unite_

stepPattern_unite

entities

types

funcons

pattern_any_

stepPattern_any

entities

types

funcons

case_

stepCase

entities

types

funcons

match_loosely_

stepMatch_loosely

entities

types

funcons

pattern_bind_

stepPattern_bind

entities

types

funcons

is_ground_value_

stepIs_ground_value

entities

types

funcons

apply_

stepApply

entities

types

funcons

supply_

stepSupply

entities

types

funcons

binding_lambda_

stepBinding_lambda

entities

types

funcons

curry_

stepCurry

entities

types

funcons

lambda_

stepLambda

entities

types

funcons

uncurry_

stepUncurry

entities

types

funcons

partial_apply_

stepPartial_apply

entities

types

funcons

compose_

stepCompose

library

library

library

next_atom

library

set_to_list

stepSetToList

is_set_empty

is_set_empty_op

set_size

set_size_op

set_intersect

set_intersect_op

set_difference

set_difference_op

some_element

stepSome_Element

is_subset

stepIs_Subset

stepSet

stepIsInSet

set_unite

set_unite_op

set_insert

stepSet_Insert

list_to_set

stepList_To_Set

library

is_sub_multiset

stepIsSubMultiset

multiset_delete

stepMultisetDelete

multiset_insert

stepMultisetInsert

multiset_occurrences

stepMultisetOccurrences

multiset_to_set

stepMultisetToSet

sets_to_multiset

stepSetsToMultisets

library

stepList

stepList_Length

stepHead

stepTail

cons_

nil_

stepCons

stepIs_In_List

stepIs_Nil

stepList_Suffix

stepList_Prefix

list_to_tuple_

stepList_To_Tuple

stepList_Intersperse

stepList_Repeat

stepList_Reverse

list_to_tuple_op

list_append_op

library

is_map_empty

stepIsMapEmpty

map_to_list

stepMapToList

map_delete

stepMapDelete

map_unite_

unite_maps

lookup_

lookup_op

map_override_

stepMapOverride

stepDomain

set_to_map

set_to_map_op

list_to_map

list_to_map_op

library

stepVector_Repeat

stepVector_To_List

vector_empty

vector_length_op

stepVector_Index

vector_append

vector_append_op

stepVector

vector_repeat

list_to_vector

list_to_vector_op

library

evalADT

evalADT_Con

getADT_Values

library

stepString_To_List

stepString

decimal_natural_

decimal_natural_op

stepDecimal_Rational

stepList_To_String

string_append_

string_append_op

list_to_string_op

readRational

stepTo_String

library

stepBits_Not

stepBits_And

bits_or

stepBits_Or

bits_xor

stepBits_Xor

bits_shift_left

stepBits_Shift_Left

bits_arithmetic_shift_right

stepBits_Arithmetic_Shift_Right

bits_logical_shift_right

stepBits_Logical_Shift_Right

bits_to_integer

stepBits_To_Integer

bits_to_natural

stepBits_To_Natural

integer_to_bits

stepInteger_To_Bits

library

integer_op

integer_add_

integer_add_op

integer_multiply_

integer_multiply_op

integer_divide_

integer_divide_op

integer_subtract

integer_subtract_op

integer_power

integer_power_op

integer_negate

stepInteger_Negate

integer_list

stepInteger_List

integer_modulo

stepInteger_Modulo

integer_modulo_op

integer_absolute_value

stepInteger_Absolute_Value

library

ieee_float_truncate

stepIEEE_Float_Truncate

stepIEEE_Float_Add

stepIEEE_Float_Multiply

stepIEEE_Float_Subtract

stepIEEE_Float_Negate

stepIEEE_Float_Divide

stepIEEE_Float_Power

signed_bits_maximum

stepSigned_Bits_Maximum

signed_bits_minimum

stepSigned_Bits_Minimum

ieee_float_acos

stepIEEE_Float_Acos

ieee_float_asin

stepIEEE_Float_Asin

ieee_float_atan

stepIEEE_Float_Atan

ieee_float_atan2

stepIEEE_Float_Atan2

ieee_float_cos

stepIEEE_Float_Cos

ieee_float_cosh

stepIEEE_Float_Cosh

ieee_float_exp

stepIEEE_Float_Exp

ieee_float_log

stepIEEE_Float_Log

ieee_float_log10

stepIEEE_Float_Log10

ieee_float_sin

stepIEEE_Float_Sin

ieee_float_sinh

stepIEEE_Float_Sinh

ieee_float_sqrt

stepIEEE_Float_Sqrt

ieee_float_tan

stepIEEE_Float_Tan

ieee_float_tanh

stepIEEE_Float_Tanh

ieee_float_ceiling

stepIEEE_Float_Ceiling

ieee_float_floor

stepIEEE_Float_Floor

ieee_float_absolute_value

stepIEEE_Float_Absolute_Value

stepIEEE_Float_Remainder

stepIEEE_Float_Is_Less

stepIEEE_Float_Is_Greater

stepIEEE_Float_Is_Less_Or_Equal

stepIEEE_Float_Is_Greater_Or_Equal

ieee_float_op

ieee_float_add

ieee_float_add_op

ieee_float_multiply

ieee_float_multiply_op

ieee_float_divide

ieee_float_divide_op

ieee_float_remainder

ieee_float_remainder_op

ieee_float_negate

ieee_float_negate_op

ieee_float_subtract

ieee_float_subtract_op

ieee_float_float_power

ieee_float_power_op

ieee_float_is_less

ieee_float_is_less_op

ieee_float_is_greater

ieee_float_is_greater_op

ieee_float_is_less_or_equal

ieee_float_is_less_or_equal_op

ieee_float_is_greater_or_equal

ieee_float_is_greater_or_equal_op

isIEEEFormat

doubleFromIEEEFormat

library

is_less_

is_less_op

is_less_or_equal_

is_less_or_equal_op

is_greater_

is_greater_op

is_greater_or_equal_

is_greater_or_equal_op

stepRational_To_IEEE_Float

rational_op

add

add_op

library

stepAtom

library

ascii_character

stepAscii_Character

library

thunk_

stepThunk

stepThunks

library

force_

stepForce

library

discard_empty_tuples_

discard_empty_tuples_op

tuple_index_

stepTupleIndex