funcons-values-0.1.0.9: Library providing values and operations on values in a fixed universe. (Index - I)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
=
All

Index - I

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