funcons-values-0.1.0.7: Library providing values and operations on values in a fixed universe.

Index

=/=Funcons.Operations
===Funcons.Operations
ADTFuncons.Operations
ADTsFuncons.Operations
adtsFuncons.Operations
adts_Funcons.Operations
ADTValFuncons.Operations
adt_constructorFuncons.Operations
adt_constructor_Funcons.Operations
adt_construct_Funcons.Operations
adt_fieldsFuncons.Operations
adt_fields_Funcons.Operations
adt_type_construct_Funcons.Operations
allDomainPairsFuncons.Operations
AnnotatedTypeFuncons.Operations
applyEvalFuncons.Operations
applyExprFuncons.Operations
apply_to_vecFuncons.Operations
args_to_boolsFuncons.Operations
ArityErrFuncons.Operations
arityErrFuncons.Operations
AsciiCharactersFuncons.Operations
ascii_characterFuncons.Operations
ascii_charactersFuncons.Operations
ascii_characters_Funcons.Operations
ascii_character_Funcons.Operations
ascii_consFuncons.Operations
AtomFuncons.Operations
atomFuncons.Operations
AtomsFuncons.Operations
atomsFuncons.Operations
atoms_Funcons.Operations
atom_Funcons.Operations
atom_seedFuncons.Operations
atom_seed_Funcons.Operations
Binary32Funcons.Operations
Binary64Funcons.Operations
BinaryExpr 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
BinaryOp 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
binaryOpFuncons.Operations
BinaryVOpFuncons.Operations
binary_bit_opFuncons.Operations
binary_naturalFuncons.Operations
binary_natural_Funcons.Operations
bit_nat_opFuncons.Operations
bit_vector_andFuncons.Operations
bit_vector_and_Funcons.Operations
bit_vector_arithmetical_shift_rightFuncons.Operations
bit_vector_arithmetical_shift_right_Funcons.Operations
bit_vector_logical_shift_rightFuncons.Operations
bit_vector_logical_shift_right_Funcons.Operations
bit_vector_notFuncons.Operations
bit_vector_not_Funcons.Operations
bit_vector_orFuncons.Operations
bit_vector_or_Funcons.Operations
bit_vector_shift_leftFuncons.Operations
bit_vector_shift_left_Funcons.Operations
bit_vector_to_integerFuncons.Operations
bit_vector_to_integer_Funcons.Operations
bit_vector_to_naturalFuncons.Operations
bit_vector_to_natural_Funcons.Operations
bit_vector_xorFuncons.Operations
bit_vector_xor_Funcons.Operations
BMPCharactersFuncons.Operations
bmp_charactersFuncons.Operations
bmp_characters_Funcons.Operations
bmp_pointsFuncons.Operations
bmp_points_Funcons.Operations
booleans_Funcons.Operations
castTypeFuncons.Operations
CharactersFuncons.Operations
charactersFuncons.Operations
characters_Funcons.Operations
ComplementFuncons.Operations
ComputationTypeFuncons.Operations
ComputationTypes 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
ComputesFromTypeFuncons.Operations
ComputesTypeFuncons.Operations
consFuncons.Operations
cons_Funcons.Operations
cyclicFuncons.Operations
datatype_valuesFuncons.Operations
datatype_values_Funcons.Operations
decimal_naturalFuncons.Operations
decimal_natural_Funcons.Operations
deleteFuncons.Operations
domainFuncons.Operations
domain_Funcons.Operations
DomErrFuncons.Operations
doubleFromIEEEFormatFuncons.Operations
downcastValueTypeFuncons.Operations
downcast_unicode_charactersFuncons.Operations
element_not_inFuncons.Operations
element_not_in_Funcons.Operations
EmptyTypeFuncons.Operations
empty_tupleFuncons.Operations
empty_tuple_Funcons.Operations
empty_typeFuncons.Operations
empty_type_Funcons.Operations
entriesFuncons.Operations
ErrorFuncons.Operations
evalFuncons.Operations
EvalResultFuncons.Operations
false_Funcons.Operations
FloatFuncons.Operations
fromboolFuncons.Operations
GraphFuncons.Operations
ground_valuesFuncons.Operations
ground_values_Funcons.Operations
HasComputationTypesFuncons.Operations
HasTypesFuncons.Operations
HasValuesFuncons.Operations
headOpFuncons.Operations
head_Funcons.Operations
hexadecimal_naturalFuncons.Operations
hexadecimal_natural_Funcons.Operations
IEEEFloatsFuncons.Operations
IEEEFormatsFuncons.Operations
IEEE_Float_32Funcons.Operations
IEEE_Float_64Funcons.Operations
ieee_float_add_Funcons.Operations
ieee_float_opFuncons.Operations
ieee_float_truncateFuncons.Operations
ieee_float_truncate_Funcons.Operations
injectFuncons.Operations
injectCTFuncons.Operations
injectTFuncons.Operations
IntFuncons.Operations
IntegersFuncons.Operations
integersFuncons.Operations
IntegersFromFuncons.Operations
IntegersUpToFuncons.Operations
integers_Funcons.Operations
integers_fromFuncons.Operations
integers_from_Funcons.Operations
integers_up_toFuncons.Operations
integers_up_to_Funcons.Operations
integer_absolute_valueFuncons.Operations
integer_absolute_value_Funcons.Operations
integer_add_Funcons.Operations
integer_divideFuncons.Operations
integer_divide_Funcons.Operations
integer_listFuncons.Operations
integer_list_Funcons.Operations
integer_modulo_Funcons.Operations
integer_mod_Funcons.Operations
integer_multiply_Funcons.Operations
integer_powerFuncons.Operations
integer_power_Funcons.Operations
integer_subtractFuncons.Operations
integer_subtract_Funcons.Operations
integer_to_bit_vectorFuncons.Operations
integer_to_bit_vector_Funcons.Operations
IntersectionFuncons.Operations
InvalidOpFuncons.Operations
isDefinedValFuncons.Operations
isEnvFuncons.Operations
isGroundFuncons.Operations
isIEEEFormatFuncons.Operations
isIntFuncons.Operations
isInTupleTypeFuncons.Operations
isInTypeFuncons.Operations
isListFuncons.Operations
isMapFuncons.Operations
isNatFuncons.Operations
isNullFuncons.Operations
ISOLatinCharactersFuncons.Operations
iso_latin_charactersFuncons.Operations
iso_latin_characters_Funcons.Operations
isSetFuncons.Operations
isString_Funcons.Operations
isTypeFuncons.Operations
isVecFuncons.Operations
is_cyclicFuncons.Operations
is_cyclic_Funcons.Operations
is_emptyFuncons.Operations
is_equalFuncons.Operations
is_equal_Funcons.Operations
is_greaterFuncons.Operations
is_greater_Funcons.Operations
is_greater_or_equalFuncons.Operations
is_greater_or_equal_Funcons.Operations
is_integerFuncons.Operations
is_integer_Funcons.Operations
is_in_domainFuncons.Operations
is_in_domain_Funcons.Operations
is_in_setFuncons.Operations
is_in_set_Funcons.Operations
is_lessFuncons.Operations
is_less_Funcons.Operations
is_less_or_equalFuncons.Operations
is_less_or_equal_Funcons.Operations
is_map_emptyFuncons.Operations
is_map_empty_Funcons.Operations
is_nilFuncons.Operations
is_nil_Funcons.Operations
is_stringFuncons.Operations
is_string_Funcons.Operations
is_submultisetFuncons.Operations
is_submultiset_Funcons.Operations
is_subsetFuncons.Operations
is_subset_Funcons.Operations
is_valueFuncons.Operations
is_value_Funcons.Operations
libAppFuncons.Operations
libAppWithFuncons.Operations
libFromListFuncons.Operations
LibraryFuncons.Operations
libraryFuncons.Operations
libUniteFuncons.Operations
listFuncons.Operations
listsFuncons.Operations
lists_Funcons.Operations
list_Funcons.Operations
list_appendFuncons.Operations
list_append_Funcons.Operations
list_concatFuncons.Operations
list_concat_Funcons.Operations
list_singletonFuncons.Operations
list_singleton_Funcons.Operations
MapFuncons.Operations
mapsFuncons.Operations
maps_Funcons.Operations
map_Funcons.Operations
map_deleteFuncons.Operations
map_delete_Funcons.Operations
map_elementsFuncons.Operations
map_elements_Funcons.Operations
map_emptyFuncons.Operations
map_empty_Funcons.Operations
map_insertFuncons.Operations
map_insert_Funcons.Operations
map_lookupFuncons.Operations
map_lookup_Funcons.Operations
map_override_Funcons.Operations
map_singletonFuncons.Operations
map_singleton_Funcons.Operations
map_uniteFuncons.Operations
map_unite_Funcons.Operations
mk_integersFuncons.Operations
mk_naturalsFuncons.Operations
mk_stringFuncons.Operations
mk_unicode_charactersFuncons.Operations
multiFuncons.Operations
MultisetFuncons.Operations
multisetsFuncons.Operations
multisets_Funcons.Operations
multiset_Funcons.Operations
multiset_deleteFuncons.Operations
multiset_delete_Funcons.Operations
multiset_elementsFuncons.Operations
multiset_elements_Funcons.Operations
multiset_insertFuncons.Operations
multiset_insert_Funcons.Operations
multiset_occurrencesFuncons.Operations
multiset_occurrences_Funcons.Operations
multi_Funcons.Operations
MVarFuncons.Operations
NameFuncons.Operations
NaryExpr 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
NaryOp 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
NaryVOpFuncons.Operations
NatFuncons.Operations
NaturalsFuncons.Operations
natural_predecessorFuncons.Operations
natural_predecessor_Funcons.Operations
natural_successorFuncons.Operations
natural_successor_Funcons.Operations
nat_pred_Funcons.Operations
nat_succ_Funcons.Operations
next_atomFuncons.Operations
next_atom_Funcons.Operations
nilFuncons.Operations
nil_Funcons.Operations
noneFuncons.Operations
none_Funcons.Operations
none__Funcons.Operations
non_groundedFuncons.Operations
non_grounded_Funcons.Operations
non_grounded_valuesFuncons.Operations
non_grounded_values_Funcons.Operations
NormalFuncons.Operations
nullFuncons.Operations
NullaryExpr 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
NullaryOp 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
nullaryOpFuncons.Operations
NullaryVOpFuncons.Operations
NullTypeFuncons.Operations
nulltypeFuncons.Operations
nulltype_Funcons.Operations
null_Funcons.Operations
null_value__Funcons.Operations
null__Funcons.Operations
numBMPCodesFuncons.Operations
numUnicodeCodesFuncons.Operations
octal_naturalFuncons.Operations
octal_natural_Funcons.Operations
OPFuncons.Operations
OpExprFuncons.Operations
opNameFuncons.Operations
optionalsFuncons.Operations
optionals_Funcons.Operations
PlusOpFuncons.Operations
ppComputationTypesFuncons.Operations
ppOpFuncons.Operations
ppTypesFuncons.Operations
ppValuesFuncons.Operations
projectFuncons.Operations
projectCTFuncons.Operations
projectTFuncons.Operations
ProjErrFuncons.Operations
QuestionMarkOpFuncons.Operations
RationalFuncons.Operations
RationalsFuncons.Operations
ResultFuncons.Operations
RewritesToFuncons.Operations
scheduleFuncons.Operations
SeqSortOpFuncons.Operations
SetFuncons.Operations
setsFuncons.Operations
sets_Funcons.Operations
set_Funcons.Operations
set_differenceFuncons.Operations
set_difference_Funcons.Operations
set_elementsFuncons.Operations
set_elements_Funcons.Operations
set_emptyFuncons.Operations
set_empty_Funcons.Operations
set_insertFuncons.Operations
set_insert_Funcons.Operations
set_intersect_Funcons.Operations
set_sizeFuncons.Operations
set_size_Funcons.Operations
set_unite_Funcons.Operations
showArgs_Funcons.Operations
someFuncons.Operations
some_Funcons.Operations
some_elementFuncons.Operations
some_element_Funcons.Operations
some__Funcons.Operations
SortErrFuncons.Operations
StarOpFuncons.Operations
stepModFuncons.Operations
stepTo_StringFuncons.Operations
structCTMcompareFuncons.Operations
structTMcompareFuncons.Operations
structVcompareFuncons.Operations
structVMcompareFuncons.Operations
SuccessFuncons.Operations
tailOpFuncons.Operations
tail_Funcons.Operations
TermExprFuncons.Operations
TernaryExpr 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
TernaryOp 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
ternaryOpFuncons.Operations
TernaryVOpFuncons.Operations
toboolFuncons.Operations
toGraphFuncons.Operations
toListFuncons.Operations
toMapFuncons.Operations
toOptFuncons.Operations
topological_sortFuncons.Operations
topological_sort_Funcons.Operations
to_stringFuncons.Operations
to_string_Funcons.Operations
traverseCTMFuncons.Operations
traverseTFuncons.Operations
traverseTMFuncons.Operations
traverseVFuncons.Operations
traverseVMFuncons.Operations
true_Funcons.Operations
tupleFuncons.Operations
tupleHeadOpFuncons.Operations
tuples_Funcons.Operations
tupleTailOpFuncons.Operations
tuple_Funcons.Operations
tuple_head_Funcons.Operations
tuple_indexFuncons.Operations
tuple_index_Funcons.Operations
tuple_is_emptyFuncons.Operations
tuple_is_empty_Funcons.Operations
tuple_prependFuncons.Operations
tuple_prepend_Funcons.Operations
tuple_tail_Funcons.Operations
tyOfFuncons.Operations
TypeFuncons.Operations
Types 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
typesFuncons.Operations
types_Funcons.Operations
type_memberFuncons.Operations
type_member_Funcons.Operations
UnaryExpr 
1 (Type/Class)Funcons.Operations
2 (Data Constructor)Funcons.Operations
UnaryOp 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
unaryOpFuncons.Operations
UnaryVOpFuncons.Operations
UnicodeCharactersFuncons.Operations
unicode_characterFuncons.Operations
unicode_charactersFuncons.Operations
unicode_characters_Funcons.Operations
unicode_character_Funcons.Operations
unicode_consFuncons.Operations
unicode_pointFuncons.Operations
unicode_pointsFuncons.Operations
unicode_points_Funcons.Operations
unicode_point_Funcons.Operations
UnionFuncons.Operations
unStringFuncons.Operations
upcastCharacterFuncons.Operations
upcastIntegersFuncons.Operations
upcastNaturalsFuncons.Operations
upcastRationalsFuncons.Operations
ValExprFuncons.Operations
ValSeqFuncons.Operations
ValueMapsFuncons.Operations
ValueOpFuncons.Operations
Values 
1 (Data Constructor)Funcons.Operations
2 (Type/Class)Funcons.Operations
valuesFuncons.Operations
ValueSetsFuncons.Operations
values_Funcons.Operations
ValueVectorsFuncons.Operations
value_typeFuncons.Operations
value_typesFuncons.Operations
value_types_Funcons.Operations
value_type_Funcons.Operations
VAnyFuncons.Operations
vBinaryOpFuncons.Operations
VectorFuncons.Operations
vectorFuncons.Operations
vectorsFuncons.Operations
vmapFuncons.Operations
vNaryOpFuncons.Operations
vNullaryOpFuncons.Operations
vTernaryOpFuncons.Operations
vUnaryOpFuncons.Operations