funcons-values-0.1.0.9: Library providing values and operations on values in a fixed universe.
Contents
Index
Index
=/=
Funcons.Operations
===
Funcons.Operations
ADT
Funcons.Operations
ADTs
Funcons.Operations
adts
Funcons.Operations
adts_
Funcons.Operations
ADTVal
Funcons.Operations
adt_constructor
Funcons.Operations
adt_constructor_
Funcons.Operations
adt_construct_
Funcons.Operations
adt_fields
Funcons.Operations
adt_fields_
Funcons.Operations
adt_type_construct_
Funcons.Operations
allDomainPairs
Funcons.Operations
AnnotatedType
Funcons.Operations
applyEval
Funcons.Operations
applyExpr
Funcons.Operations
apply_to_vec
Funcons.Operations
args_to_bools
Funcons.Operations
ArityErr
Funcons.Operations
arityErr
Funcons.Operations
AsciiCharacters
Funcons.Operations
ascii_character
Funcons.Operations
ascii_characters
Funcons.Operations
ascii_characters_
Funcons.Operations
ascii_character_
Funcons.Operations
ascii_cons
Funcons.Operations
Atom
Funcons.Operations
atom
Funcons.Operations
Atoms
Funcons.Operations
atoms
Funcons.Operations
atoms_
Funcons.Operations
atom_
Funcons.Operations
atom_seed
Funcons.Operations
atom_seed_
Funcons.Operations
Binary32
Funcons.Operations
Binary64
Funcons.Operations
BinaryExpr
1 (Type/Class)
Funcons.Operations
2 (Data Constructor)
Funcons.Operations
BinaryOp
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
binaryOp
Funcons.Operations
BinaryVOp
Funcons.Operations
binary_bit_op
Funcons.Operations
binary_natural
Funcons.Operations
binary_natural_
Funcons.Operations
bit_nat_op
Funcons.Operations
bit_vector_and
Funcons.Operations
bit_vector_and_
Funcons.Operations
bit_vector_arithmetical_shift_right
Funcons.Operations
bit_vector_arithmetical_shift_right_
Funcons.Operations
bit_vector_logical_shift_right
Funcons.Operations
bit_vector_logical_shift_right_
Funcons.Operations
bit_vector_not
Funcons.Operations
bit_vector_not_
Funcons.Operations
bit_vector_or
Funcons.Operations
bit_vector_or_
Funcons.Operations
bit_vector_shift_left
Funcons.Operations
bit_vector_shift_left_
Funcons.Operations
bit_vector_to_integer
Funcons.Operations
bit_vector_to_integer_
Funcons.Operations
bit_vector_to_natural
Funcons.Operations
bit_vector_to_natural_
Funcons.Operations
bit_vector_xor
Funcons.Operations
bit_vector_xor_
Funcons.Operations
BMPCharacters
Funcons.Operations
bmp_characters
Funcons.Operations
bmp_characters_
Funcons.Operations
bmp_points
Funcons.Operations
bmp_points_
Funcons.Operations
booleans_
Funcons.Operations
castType
Funcons.Operations
Characters
Funcons.Operations
characters
Funcons.Operations
characters_
Funcons.Operations
choice
Funcons.Operations
Complement
Funcons.Operations
ComputationType
Funcons.Operations
ComputationTypes
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
ComputesFromType
Funcons.Operations
ComputesType
Funcons.Operations
cons
Funcons.Operations
cons_
Funcons.Operations
cyclic
Funcons.Operations
datatype_values
Funcons.Operations
datatype_values_
Funcons.Operations
decimal_natural
Funcons.Operations
decimal_natural_
Funcons.Operations
delete
Funcons.Operations
domain
Funcons.Operations
domain_
Funcons.Operations
DomErr
Funcons.Operations
doubleFromIEEEFormat
Funcons.Operations
downcastValueType
Funcons.Operations
downcast_unicode_characters
Funcons.Operations
element_not_in
Funcons.Operations
element_not_in_
Funcons.Operations
EmptyType
Funcons.Operations
empty_tuple
Funcons.Operations
empty_tuple_
Funcons.Operations
empty_type
Funcons.Operations
empty_type_
Funcons.Operations
entries
Funcons.Operations
Error
Funcons.Operations
eval
Funcons.Operations
EvalResult
Funcons.Operations
EvalResults
Funcons.Operations
false_
Funcons.Operations
Float
Funcons.Operations
frombool
Funcons.Operations
Graph
Funcons.Operations
ground_values
Funcons.Operations
ground_values_
Funcons.Operations
HasComputationTypes
Funcons.Operations
HasTypes
Funcons.Operations
HasValues
Funcons.Operations
headOp
Funcons.Operations
head_
Funcons.Operations
hexadecimal_natural
Funcons.Operations
hexadecimal_natural_
Funcons.Operations
IEEEFloats
Funcons.Operations
IEEEFormats
Funcons.Operations
IEEE_Float_32
Funcons.Operations
IEEE_Float_64
Funcons.Operations
ieee_float_add_
Funcons.Operations
ieee_float_op
Funcons.Operations
ieee_float_truncate
Funcons.Operations
ieee_float_truncate_
Funcons.Operations
inject
Funcons.Operations
injectCT
Funcons.Operations
injectT
Funcons.Operations
Int
Funcons.Operations
Integers
Funcons.Operations
integers
Funcons.Operations
IntegersFrom
Funcons.Operations
IntegersUpTo
Funcons.Operations
integers_
Funcons.Operations
integers_from
Funcons.Operations
integers_from_
Funcons.Operations
integers_up_to
Funcons.Operations
integers_up_to_
Funcons.Operations
integer_absolute_value
Funcons.Operations
integer_absolute_value_
Funcons.Operations
integer_add_
Funcons.Operations
integer_divide
Funcons.Operations
integer_divide_
Funcons.Operations
integer_list
Funcons.Operations
integer_list_
Funcons.Operations
integer_modulo_
Funcons.Operations
integer_mod_
Funcons.Operations
integer_multiply_
Funcons.Operations
integer_power
Funcons.Operations
integer_power_
Funcons.Operations
integer_subtract
Funcons.Operations
integer_subtract_
Funcons.Operations
integer_to_bit_vector
Funcons.Operations
integer_to_bit_vector_
Funcons.Operations
Intersection
Funcons.Operations
InvalidOp
Funcons.Operations
isDefinedVal
Funcons.Operations
isEnv
Funcons.Operations
isGround
Funcons.Operations
isIEEEFormat
Funcons.Operations
isInt
Funcons.Operations
isInTupleType
Funcons.Operations
isInType
Funcons.Operations
isList
Funcons.Operations
isMap
Funcons.Operations
isNat
Funcons.Operations
isNull
Funcons.Operations
ISOLatinCharacters
Funcons.Operations
iso_latin_characters
Funcons.Operations
iso_latin_characters_
Funcons.Operations
isSet
Funcons.Operations
isString_
Funcons.Operations
isType
Funcons.Operations
isVec
Funcons.Operations
is_cyclic
Funcons.Operations
is_cyclic_
Funcons.Operations
is_empty
Funcons.Operations
is_equal
Funcons.Operations
is_equal_
Funcons.Operations
is_greater
Funcons.Operations
is_greater_
Funcons.Operations
is_greater_or_equal
Funcons.Operations
is_greater_or_equal_
Funcons.Operations
is_integer
Funcons.Operations
is_integer_
Funcons.Operations
is_in_domain
Funcons.Operations
is_in_domain_
Funcons.Operations
is_in_set
Funcons.Operations
is_in_set_
Funcons.Operations
is_less
Funcons.Operations
is_less_
Funcons.Operations
is_less_or_equal
Funcons.Operations
is_less_or_equal_
Funcons.Operations
is_map_empty
Funcons.Operations
is_map_empty_
Funcons.Operations
is_nil
Funcons.Operations
is_nil_
Funcons.Operations
is_string
Funcons.Operations
is_string_
Funcons.Operations
is_submultiset
Funcons.Operations
is_submultiset_
Funcons.Operations
is_subset
Funcons.Operations
is_subset_
Funcons.Operations
is_value
Funcons.Operations
is_value_
Funcons.Operations
libApp
Funcons.Operations
libAppWith
Funcons.Operations
libFromList
Funcons.Operations
Library
Funcons.Operations
library
Funcons.Operations
libUnite
Funcons.Operations
list
Funcons.Operations
lists
Funcons.Operations
lists_
Funcons.Operations
list_
Funcons.Operations
list_append
Funcons.Operations
list_append_
Funcons.Operations
list_concat
Funcons.Operations
list_concat_
Funcons.Operations
list_singleton
Funcons.Operations
list_singleton_
Funcons.Operations
Map
Funcons.Operations
maps
Funcons.Operations
maps_
Funcons.Operations
map_
Funcons.Operations
map_delete
Funcons.Operations
map_delete_
Funcons.Operations
map_elements
Funcons.Operations
map_elements_
Funcons.Operations
map_empty
Funcons.Operations
map_empty_
Funcons.Operations
map_insert
Funcons.Operations
map_insert_
Funcons.Operations
map_lookup
Funcons.Operations
map_lookup_
Funcons.Operations
map_override_
Funcons.Operations
map_singleton
Funcons.Operations
map_singleton_
Funcons.Operations
map_unite
Funcons.Operations
map_unite_
Funcons.Operations
mk_integers
Funcons.Operations
mk_naturals
Funcons.Operations
mk_string
Funcons.Operations
mk_unicode_characters
Funcons.Operations
multi
Funcons.Operations
Multiset
Funcons.Operations
multisets
Funcons.Operations
multisets_
Funcons.Operations
multiset_
Funcons.Operations
multiset_delete
Funcons.Operations
multiset_delete_
Funcons.Operations
multiset_elements
Funcons.Operations
multiset_elements_
Funcons.Operations
multiset_insert
Funcons.Operations
multiset_insert_
Funcons.Operations
multiset_occurrences
Funcons.Operations
multiset_occurrences_
Funcons.Operations
multi_
Funcons.Operations
MVar
Funcons.Operations
Name
Funcons.Operations
NaryExpr
1 (Type/Class)
Funcons.Operations
2 (Data Constructor)
Funcons.Operations
NaryOp
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
NaryVOp
Funcons.Operations
Nat
Funcons.Operations
Naturals
Funcons.Operations
natural_predecessor
Funcons.Operations
natural_predecessor_
Funcons.Operations
natural_successor
Funcons.Operations
natural_successor_
Funcons.Operations
nat_pred_
Funcons.Operations
nat_succ_
Funcons.Operations
next_atom
Funcons.Operations
next_atom_
Funcons.Operations
nil
Funcons.Operations
nil_
Funcons.Operations
Nondeterministic
Funcons.Operations
none
Funcons.Operations
none_
Funcons.Operations
none__
Funcons.Operations
non_grounded
Funcons.Operations
non_grounded_
Funcons.Operations
non_grounded_values
Funcons.Operations
non_grounded_values_
Funcons.Operations
Normal
Funcons.Operations
null
Funcons.Operations
NullaryExpr
1 (Type/Class)
Funcons.Operations
2 (Data Constructor)
Funcons.Operations
NullaryOp
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
nullaryOp
Funcons.Operations
NullaryVOp
Funcons.Operations
NullType
Funcons.Operations
nulltype
Funcons.Operations
nulltype_
Funcons.Operations
null_
Funcons.Operations
null_value__
Funcons.Operations
null__
Funcons.Operations
numBMPCodes
Funcons.Operations
numUnicodeCodes
Funcons.Operations
octal_natural
Funcons.Operations
octal_natural_
Funcons.Operations
OP
Funcons.Operations
OpExpr
Funcons.Operations
opName
Funcons.Operations
optionals
Funcons.Operations
optionals_
Funcons.Operations
PlusOp
Funcons.Operations
ppComputationTypes
Funcons.Operations
ppOp
Funcons.Operations
ppTypes
Funcons.Operations
ppValues
Funcons.Operations
project
Funcons.Operations
projectCT
Funcons.Operations
projectT
Funcons.Operations
ProjErr
Funcons.Operations
QuestionMarkOp
Funcons.Operations
Rational
Funcons.Operations
Rationals
Funcons.Operations
Result
Funcons.Operations
RewritesTo
Funcons.Operations
schedule
Funcons.Operations
SeqSortOp
Funcons.Operations
Set
Funcons.Operations
set
Funcons.Operations
sets
Funcons.Operations
sets_
Funcons.Operations
set_
Funcons.Operations
set_difference
Funcons.Operations
set_difference_
Funcons.Operations
set_elements
Funcons.Operations
set_elements_
Funcons.Operations
set_empty
Funcons.Operations
set_empty_
Funcons.Operations
set_insert
Funcons.Operations
set_insert_
Funcons.Operations
set_intersect_
Funcons.Operations
set_size
Funcons.Operations
set_size_
Funcons.Operations
set_unite_
Funcons.Operations
showArgs_
Funcons.Operations
some
Funcons.Operations
some_
Funcons.Operations
some_element
Funcons.Operations
some_element_
Funcons.Operations
some__
Funcons.Operations
SortErr
Funcons.Operations
StarOp
Funcons.Operations
stepMod
Funcons.Operations
stepTo_String
Funcons.Operations
structCTMcompare
Funcons.Operations
structTMcompare
Funcons.Operations
structVcompare
Funcons.Operations
structVMcompare
Funcons.Operations
Success
Funcons.Operations
tailOp
Funcons.Operations
tail_
Funcons.Operations
TermExpr
Funcons.Operations
TernaryExpr
1 (Type/Class)
Funcons.Operations
2 (Data Constructor)
Funcons.Operations
TernaryOp
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
ternaryOp
Funcons.Operations
TernaryVOp
Funcons.Operations
tobool
Funcons.Operations
toGraph
Funcons.Operations
toList
Funcons.Operations
toMap
Funcons.Operations
toOpt
Funcons.Operations
topological_sort
Funcons.Operations
topological_sort_
Funcons.Operations
to_string
Funcons.Operations
to_string_
Funcons.Operations
traverseCTM
Funcons.Operations
traverseT
Funcons.Operations
traverseTM
Funcons.Operations
traverseV
Funcons.Operations
traverseVM
Funcons.Operations
true_
Funcons.Operations
tuple
Funcons.Operations
tupleHeadOp
Funcons.Operations
tuples_
Funcons.Operations
tupleTailOp
Funcons.Operations
tuple_
Funcons.Operations
tuple_head_
Funcons.Operations
tuple_index
Funcons.Operations
tuple_index_
Funcons.Operations
tuple_is_empty
Funcons.Operations
tuple_is_empty_
Funcons.Operations
tuple_prepend
Funcons.Operations
tuple_prepend_
Funcons.Operations
tuple_tail_
Funcons.Operations
tyOf
Funcons.Operations
Type
Funcons.Operations
Types
1 (Type/Class)
Funcons.Operations
2 (Data Constructor)
Funcons.Operations
types
Funcons.Operations
types_
Funcons.Operations
type_member
Funcons.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
unaryOp
Funcons.Operations
UnaryVOp
Funcons.Operations
UnicodeCharacters
Funcons.Operations
unicode_character
Funcons.Operations
unicode_characters
Funcons.Operations
unicode_characters_
Funcons.Operations
unicode_character_
Funcons.Operations
unicode_cons
Funcons.Operations
unicode_point
Funcons.Operations
unicode_points
Funcons.Operations
unicode_points_
Funcons.Operations
unicode_point_
Funcons.Operations
Union
Funcons.Operations
unString
Funcons.Operations
upcastCharacter
Funcons.Operations
upcastIntegers
Funcons.Operations
upcastNaturals
Funcons.Operations
upcastRationals
Funcons.Operations
ValExpr
Funcons.Operations
ValSeq
Funcons.Operations
ValueMaps
Funcons.Operations
ValueOp
Funcons.Operations
Values
1 (Data Constructor)
Funcons.Operations
2 (Type/Class)
Funcons.Operations
values
Funcons.Operations
ValueSets
Funcons.Operations
values_
Funcons.Operations
ValueVectors
Funcons.Operations
value_type
Funcons.Operations
value_types
Funcons.Operations
value_types_
Funcons.Operations
value_type_
Funcons.Operations
VAny
Funcons.Operations
vBinaryOp
Funcons.Operations
Vector
Funcons.Operations
vector
Funcons.Operations
vectors
Funcons.Operations
vmap
Funcons.Operations
vNaryOp
Funcons.Operations
vNullaryOp
Funcons.Operations
vTernaryOp
Funcons.Operations
vUnaryOp
Funcons.Operations