funcons-values-0.1.0.2: Library providing values and operations on values.

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
ArityErrFuncons.Operations
arityErrFuncons.Operations
AsciiFuncons.Operations
AsciiCharactersFuncons.Operations
ascii_characterFuncons.Operations
ascii_charactersFuncons.Operations
ascii_characters_Funcons.Operations
ascii_character_Funcons.Operations
ASTsFuncons.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
BitFuncons.Operations
BitsFuncons.Operations
booleans_Funcons.Operations
castTypeFuncons.Operations
CharFuncons.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
datatype_valuesFuncons.Operations
datatype_values_Funcons.Operations
decimal_naturalFuncons.Operations
decimal_natural_Funcons.Operations
DefinedValuesFuncons.Operations
defined_valuesFuncons.Operations
defined_values_Funcons.Operations
domainFuncons.Operations
domain_Funcons.Operations
DomErrFuncons.Operations
doubleFromIEEEFormatFuncons.Operations
downcastValueTypeFuncons.Operations
element_not_inFuncons.Operations
element_not_in_Funcons.Operations
EmptyTypeFuncons.Operations
empty_tupleFuncons.Operations
empty_tuple_Funcons.Operations
ErrorFuncons.Operations
evalFuncons.Operations
EvalResultFuncons.Operations
false_Funcons.Operations
FloatFuncons.Operations
fromboolFuncons.Operations
GroundValuesFuncons.Operations
ground_valuesFuncons.Operations
ground_values_Funcons.Operations
HasComputationTypesFuncons.Operations
HasTypesFuncons.Operations
HasValuesFuncons.Operations
headOpFuncons.Operations
head_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
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
IntersectionFuncons.Operations
InvalidOpFuncons.Operations
isAsciiFuncons.Operations
isCharFuncons.Operations
isDefinedValFuncons.Operations
isEnvFuncons.Operations
isIEEEFormatFuncons.Operations
isIntFuncons.Operations
isInTupleTypeFuncons.Operations
isInTypeFuncons.Operations
isListFuncons.Operations
isMapFuncons.Operations
isNatFuncons.Operations
isNoValueFuncons.Operations
isSetFuncons.Operations
isString_Funcons.Operations
isTypeFuncons.Operations
isVecFuncons.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_subsetFuncons.Operations
is_subset_Funcons.Operations
is_valueFuncons.Operations
is_value_Funcons.Operations
libAppFuncons.Operations
LibraryFuncons.Operations
libraryFuncons.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
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_overrideFuncons.Operations
map_override_Funcons.Operations
map_pointsFuncons.Operations
map_points_Funcons.Operations
map_singletonFuncons.Operations
map_singleton_Funcons.Operations
map_uniteFuncons.Operations
map_unite_Funcons.Operations
mkPairsFuncons.Operations
mk_ascii_charactersFuncons.Operations
mk_integersFuncons.Operations
mk_naturalsFuncons.Operations
mk_stringFuncons.Operations
mk_unicode_charactersFuncons.Operations
MultisetFuncons.Operations
MultisetsFuncons.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
nothingFuncons.Operations
NothingsFuncons.Operations
nothing_Funcons.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
numUnicodeCodesFuncons.Operations
OPFuncons.Operations
OpExprFuncons.Operations
opNameFuncons.Operations
optionalsFuncons.Operations
optionals_Funcons.Operations
PlusOpFuncons.Operations
ppComputationTypesFuncons.Operations
ppOpFuncons.Operations
ppTaggedSyntaxFuncons.Operations
ppTypesFuncons.Operations
ppValuesFuncons.Operations
projectFuncons.Operations
projectCTFuncons.Operations
projectTFuncons.Operations
ProjErrFuncons.Operations
QuestionMarkOpFuncons.Operations
RationalFuncons.Operations
RationalsFuncons.Operations
ResultFuncons.Operations
RewritesToFuncons.Operations
SeqSortOpFuncons.Operations
SetFuncons.Operations
SetsFuncons.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
StringsFuncons.Operations
structCTMcompareFuncons.Operations
structTMcompareFuncons.Operations
structTSMcompareFuncons.Operations
structVcompareFuncons.Operations
structVMcompareFuncons.Operations
SuccessFuncons.Operations
TaggedSyntaxFuncons.Operations
TagNameFuncons.Operations
TagTypeFuncons.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
toListFuncons.Operations
toOptFuncons.Operations
to_stringFuncons.Operations
to_string_Funcons.Operations
traverseCTMFuncons.Operations
traverseTFuncons.Operations
traverseTMFuncons.Operations
traverseTSMFuncons.Operations
traverseVFuncons.Operations
traverseVMFuncons.Operations
true_Funcons.Operations
tupleFuncons.Operations
tuples_Funcons.Operations
tuple_Funcons.Operations
tuple_indexFuncons.Operations
tuple_index_Funcons.Operations
tuple_prependFuncons.Operations
tuple_prepend_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
unicodeFuncons.Operations
UnicodeCharactersFuncons.Operations
unicode_Funcons.Operations
unicode_character_codeFuncons.Operations
unicode_character_code_Funcons.Operations
UnionFuncons.Operations
unStringFuncons.Operations
upcastIntegersFuncons.Operations
upcastNaturalsFuncons.Operations
upcastRationalsFuncons.Operations
upcastUnicodeFuncons.Operations
ValExprFuncons.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
VectorsFuncons.Operations
vmapFuncons.Operations
vmapTSFuncons.Operations
VMetaFuncons.Operations
vNaryOpFuncons.Operations
vNullaryOpFuncons.Operations
vTernaryOpFuncons.Operations
vUnaryOpFuncons.Operations