Funcons.Operations

Documentation

atom_seed_ :: HasValues t => [OpExpr t] -> OpExpr t

atom_seed :: HasValues t => OpExpr t

next_atom_ :: HasValues t => [OpExpr t] -> OpExpr t

next_atom :: HasValues t => OpExpr t -> OpExpr t

atoms_ :: HasValues t => [OpExpr t] -> OpExpr t

atoms :: HasValues t => OpExpr t

atom_ :: HasValues t => [OpExpr t] -> OpExpr t

atom :: HasValues t => OpExpr t -> OpExpr t

adts_ :: HasValues t => [OpExpr t] -> OpExpr t

adts :: HasValues t => OpExpr t

adt_construct_ :: HasValues t => [OpExpr t] -> OpExpr t

adt_type_construct_ :: HasValues t => [OpExpr t] -> OpExpr t

adt_constructor_ :: HasValues t => [OpExpr t] -> OpExpr t

adt_constructor :: HasValues t => OpExpr t -> OpExpr t

adt_fields_ :: HasValues t => [OpExpr t] -> OpExpr t

adt_fields :: HasValues t => OpExpr t -> OpExpr t

type OP = String

data Result t

Constructors

SortErr String

DomErr String

ArityErr String

ProjErr String

Normal t

Instances

Monad Result

Defined in Funcons.Operations.Expr

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

fail :: String -> Result a

Functor Result

Defined in Funcons.Operations.Expr

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Applicative Result

Defined in Funcons.Operations.Expr

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Show t => Show (Result t)

Defined in Funcons.Operations.Expr

Methods

showsPrec :: Int -> Result t -> ShowS

show :: Result t -> String

showList :: [Result t] -> ShowS

type NullaryOp t = Result t

type UnaryOp t = t -> Result t

type BinaryOp t = t -> t -> Result t

type TernaryOp t = t -> t -> t -> Result t

type NaryOp t = [t] -> Result t

type NullaryVOp t = Result t

type UnaryVOp t = Values t -> Result t

type BinaryVOp t = Values t -> Values t -> Result t

type TernaryVOp t = Values t -> Values t -> Values t -> Result t

type NaryVOp t = [Values t] -> Result t

data OpExpr t

Constructors

ValExpr (Values t)

TermExpr t

NullaryOp OP (NullaryOp t)

UnaryOp OP (UnaryOp t) (OpExpr t)

BinaryOp OP (BinaryOp t) (OpExpr t) (OpExpr t)

TernaryOp OP (TernaryOp t) (OpExpr t) (OpExpr t) (OpExpr t)

NaryOp OP (NaryOp t) [OpExpr t]

InvalidOp OP String [OpExpr t]

RewritesTo OP (OpExpr t) [OpExpr t]

Instances

(HasValues t, Show t) => Show (OpExpr t)

Defined in Funcons.Operations.Eval

Methods

showsPrec :: Int -> OpExpr t -> ShowS

show :: OpExpr t -> String

showList :: [OpExpr t] -> ShowS

vNullaryOp :: OP -> NullaryVOp t -> OpExpr t

vUnaryOp :: HasValues t => OP -> UnaryVOp t -> OpExpr t -> OpExpr t

vBinaryOp :: HasValues t => OP -> BinaryVOp t -> OpExpr t -> OpExpr t -> OpExpr t

vTernaryOp :: HasValues t => OP -> TernaryVOp t -> OpExpr t -> OpExpr t -> OpExpr t -> OpExpr t

vNaryOp :: HasValues t => OP -> NaryVOp t -> [OpExpr t] -> OpExpr t

opName :: OpExpr t -> OP

data ValueOp t

Constructors

NullaryExpr (NullaryExpr t)

UnaryExpr (UnaryExpr t)

BinaryExpr (BinaryExpr t)

TernaryExpr (TernaryExpr t)

NaryExpr (NaryExpr t)

type NullaryExpr t = OpExpr t

type UnaryExpr t = OpExpr t -> OpExpr t

type BinaryExpr t = OpExpr t -> OpExpr t -> OpExpr t

type TernaryExpr t = OpExpr t -> OpExpr t -> OpExpr t -> OpExpr t

type NaryExpr t = [OpExpr t] -> OpExpr t

nullaryOp :: NullaryExpr t -> [OpExpr t] -> OpExpr t

unaryOp :: UnaryExpr t -> [OpExpr t] -> OpExpr t

binaryOp :: BinaryExpr t -> [OpExpr t] -> OpExpr t

ternaryOp :: TernaryExpr t -> [OpExpr t] -> OpExpr t

arityErr :: Int -> OP -> [OpExpr t] -> OpExpr t

applyExpr :: HasValues t => OpExpr t -> Result t

data IEEEFormats

Constructors

Binary32

Binary64

Instances

Enum IEEEFormats

Defined in Funcons.Operations.Values

Methods

succ :: IEEEFormats -> IEEEFormats

pred :: IEEEFormats -> IEEEFormats

toEnum :: Int -> IEEEFormats

fromEnum :: IEEEFormats -> Int

enumFrom :: IEEEFormats -> [IEEEFormats]

enumFromThen :: IEEEFormats -> IEEEFormats -> [IEEEFormats]

enumFromTo :: IEEEFormats -> IEEEFormats -> [IEEEFormats]

enumFromThenTo :: IEEEFormats -> IEEEFormats -> IEEEFormats -> [IEEEFormats]

Eq IEEEFormats

Defined in Funcons.Operations.Values

Methods

(==) :: IEEEFormats -> IEEEFormats -> Bool

(/=) :: IEEEFormats -> IEEEFormats -> Bool

Ord IEEEFormats

Defined in Funcons.Operations.Values

Methods

compare :: IEEEFormats -> IEEEFormats -> Ordering

(<) :: IEEEFormats -> IEEEFormats -> Bool

(<=) :: IEEEFormats -> IEEEFormats -> Bool

(>) :: IEEEFormats -> IEEEFormats -> Bool

(>=) :: IEEEFormats -> IEEEFormats -> Bool

max :: IEEEFormats -> IEEEFormats -> IEEEFormats

min :: IEEEFormats -> IEEEFormats -> IEEEFormats

Read IEEEFormats

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS IEEEFormats

readList :: ReadS [IEEEFormats]

readPrec :: ReadPrec IEEEFormats

readListPrec :: ReadPrec [IEEEFormats]

Show IEEEFormats

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> IEEEFormats -> ShowS

show :: IEEEFormats -> String

showList :: [IEEEFormats] -> ShowS

class HasTypes t where

Minimal complete definition

projectT, injectT

Methods

projectT :: t -> Maybe (Types t)

injectT :: Types t -> t

Instances

HasComputationTypes t => HasTypes t

Defined in Funcons.Operations.Values

Methods

projectT :: t -> Maybe (Types t)

injectT :: Types t -> t

class HasComputationTypes t where

Minimal complete definition

projectCT, injectCT

Methods

projectCT :: t -> Maybe (ComputationTypes t)

injectCT :: ComputationTypes t -> t

Instances

HasValues t => HasComputationTypes t

Defined in Funcons.Operations.Values

Methods

projectCT :: t -> Maybe (ComputationTypes t)

injectCT :: ComputationTypes t -> t

class HasValues t where

Minimal complete definition

project, inject

Methods

project :: t -> Maybe (Values t)

inject :: Values t -> t

data Types t

Representation of builtin types.

Constructors

ADTs

ADT Name [t]

AnnotatedType (Types t) SeqSortOp

AsciiCharacters

Atoms

Bits Int

IntegersFrom Integer

IntegersUpTo Integer

Characters

Complement (Types t)

ComputationTypes

EmptyType

GroundValues

IEEEFloats IEEEFormats

Integers

Intersection (Types t) (Types t)

Naturals

NullType

Rationals

Strings

Types

UnicodeCharacters

Union (Types t) (Types t)

Values

ASTs

Instances

Functor Types

Defined in Funcons.Operations.Values

Methods

fmap :: (a -> b) -> Types a -> Types b

(<$) :: a -> Types b -> Types a

Foldable Types

Defined in Funcons.Operations.Values

Methods

fold :: Monoid m => Types m -> m

foldMap :: Monoid m => (a -> m) -> Types a -> m

foldr :: (a -> b -> b) -> b -> Types a -> b

foldr' :: (a -> b -> b) -> b -> Types a -> b

foldl :: (b -> a -> b) -> b -> Types a -> b

foldl' :: (b -> a -> b) -> b -> Types a -> b

foldr1 :: (a -> a -> a) -> Types a -> a

foldl1 :: (a -> a -> a) -> Types a -> a

toList :: Types a -> [a]

null :: Types a -> Bool

length :: Types a -> Int

elem :: Eq a => a -> Types a -> Bool

maximum :: Ord a => Types a -> a

minimum :: Ord a => Types a -> a

sum :: Num a => Types a -> a

product :: Num a => Types a -> a

Traversable Types

Defined in Funcons.Operations.Values

Methods

traverse :: Applicative f => (a -> f b) -> Types a -> f (Types b)

sequenceA :: Applicative f => Types (f a) -> f (Types a)

mapM :: Monad m => (a -> m b) -> Types a -> m (Types b)

sequence :: Monad m => Types (m a) -> m (Types a)

Eq t => Eq (Types t)

Defined in Funcons.Operations.Values

Methods

(==) :: Types t -> Types t -> Bool

(/=) :: Types t -> Types t -> Bool

Ord t => Ord (Types t)

Defined in Funcons.Operations.Values

Methods

compare :: Types t -> Types t -> Ordering

(<) :: Types t -> Types t -> Bool

(<=) :: Types t -> Types t -> Bool

(>) :: Types t -> Types t -> Bool

(>=) :: Types t -> Types t -> Bool

max :: Types t -> Types t -> Types t

min :: Types t -> Types t -> Types t

Read t => Read (Types t)

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS (Types t)

readList :: ReadS [Types t]

readPrec :: ReadPrec (Types t)

readListPrec :: ReadPrec [Types t]

Show t => Show (Types t)

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> Types t -> ShowS

show :: Types t -> String

showList :: [Types t] -> ShowS

data ComputationTypes t

Computation type S=>T reflects a type of term whose given value is of type S and result is of type T.

Constructors

Type (Types t)

ComputesType (Types t)

=>T

ComputesFromType (Types t) (Types t)

S=>T

Instances

Functor ComputationTypes

Defined in Funcons.Operations.Values

Methods

fmap :: (a -> b) -> ComputationTypes a -> ComputationTypes b

(<$) :: a -> ComputationTypes b -> ComputationTypes a

Eq t => Eq (ComputationTypes t)

Defined in Funcons.Operations.Values

Methods

(==) :: ComputationTypes t -> ComputationTypes t -> Bool

(/=) :: ComputationTypes t -> ComputationTypes t -> Bool

Ord t => Ord (ComputationTypes t)

Defined in Funcons.Operations.Values

Methods

compare :: ComputationTypes t -> ComputationTypes t -> Ordering

(<) :: ComputationTypes t -> ComputationTypes t -> Bool

(<=) :: ComputationTypes t -> ComputationTypes t -> Bool

(>) :: ComputationTypes t -> ComputationTypes t -> Bool

(>=) :: ComputationTypes t -> ComputationTypes t -> Bool

max :: ComputationTypes t -> ComputationTypes t -> ComputationTypes t

min :: ComputationTypes t -> ComputationTypes t -> ComputationTypes t

Read t => Read (ComputationTypes t)

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS (ComputationTypes t)

readList :: ReadS [ComputationTypes t]

readPrec :: ReadPrec (ComputationTypes t)

readListPrec :: ReadPrec [ComputationTypes t]

Show t => Show (ComputationTypes t)

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> ComputationTypes t -> ShowS

show :: ComputationTypes t -> String

showList :: [ComputationTypes t] -> ShowS

data SeqSortOp

Postfix operators for specifying sequences.

Constructors

StarOp

PlusOp

QuestionMarkOp

Instances

Eq SeqSortOp

Defined in Funcons.Operations.Values

Methods

(==) :: SeqSortOp -> SeqSortOp -> Bool

(/=) :: SeqSortOp -> SeqSortOp -> Bool

Ord SeqSortOp

Defined in Funcons.Operations.Values

Methods

compare :: SeqSortOp -> SeqSortOp -> Ordering

(<) :: SeqSortOp -> SeqSortOp -> Bool

(<=) :: SeqSortOp -> SeqSortOp -> Bool

(>) :: SeqSortOp -> SeqSortOp -> Bool

(>=) :: SeqSortOp -> SeqSortOp -> Bool

max :: SeqSortOp -> SeqSortOp -> SeqSortOp

min :: SeqSortOp -> SeqSortOp -> SeqSortOp

Read SeqSortOp

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS SeqSortOp

readList :: ReadS [SeqSortOp]

readPrec :: ReadPrec SeqSortOp

readListPrec :: ReadPrec [SeqSortOp]

Show SeqSortOp

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> SeqSortOp -> ShowS

show :: SeqSortOp -> String

showList :: [SeqSortOp] -> ShowS

type ValueVectors t = Vector t

type ValueSets t = Set t

type ValueMaps t = Map t [t]

data TaggedSyntax t

Constructors

TagName Name [Values t]

TagType (Types t) (Values t)

Instances

Eq t => Eq (TaggedSyntax t)

Defined in Funcons.Operations.Values

Methods

(==) :: TaggedSyntax t -> TaggedSyntax t -> Bool

(/=) :: TaggedSyntax t -> TaggedSyntax t -> Bool

Ord t => Ord (TaggedSyntax t)

Defined in Funcons.Operations.Values

Methods

compare :: TaggedSyntax t -> TaggedSyntax t -> Ordering

(<) :: TaggedSyntax t -> TaggedSyntax t -> Bool

(<=) :: TaggedSyntax t -> TaggedSyntax t -> Bool

(>) :: TaggedSyntax t -> TaggedSyntax t -> Bool

(>=) :: TaggedSyntax t -> TaggedSyntax t -> Bool

max :: TaggedSyntax t -> TaggedSyntax t -> TaggedSyntax t

min :: TaggedSyntax t -> TaggedSyntax t -> TaggedSyntax t

(Read t, Ord t) => Read (TaggedSyntax t)

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS (TaggedSyntax t)

readList :: ReadS [TaggedSyntax t]

readPrec :: ReadPrec (TaggedSyntax t)

readListPrec :: ReadPrec [TaggedSyntax t]

Show t => Show (TaggedSyntax t)

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> TaggedSyntax t -> ShowS

show :: TaggedSyntax t -> String

showList :: [TaggedSyntax t] -> ShowS

data Values t

This datatype provides a number of builtin value types. The type t is expected to be a super-type of `Values t`, such that there is a projection and injection between t and `Values t`, (see HasValues)

Constructors

ADTVal Name [t]

Ascii Char

Atom String

Bit BitVector

Char Char

ComputationType (ComputationTypes t)

Float Double

IEEE_Float_32 Float

IEEE_Float_64 Double

Int Integer

Map (ValueMaps (Values t))

Multiset (MultiSet (Values t))

Nat Integer

Rational Rational

Set (ValueSets (Values t))

Vector (ValueVectors (Values t))

VMeta (TaggedSyntax t)

VAny

Instances

Eq t => Eq (Values t)

Defined in Funcons.Operations.Values

Methods

(==) :: Values t -> Values t -> Bool

(/=) :: Values t -> Values t -> Bool

Ord t => Ord (Values t)

Defined in Funcons.Operations.Values

Methods

compare :: Values t -> Values t -> Ordering

(<) :: Values t -> Values t -> Bool

(<=) :: Values t -> Values t -> Bool

(>) :: Values t -> Values t -> Bool

(>=) :: Values t -> Values t -> Bool

max :: Values t -> Values t -> Values t

min :: Values t -> Values t -> Values t

(Read t, Ord t) => Read (Values t)

Defined in Funcons.Operations.Values

Methods

readsPrec :: Int -> ReadS (Values t)

readList :: ReadS [Values t]

readPrec :: ReadPrec (Values t)

readListPrec :: ReadPrec [Values t]

Show t => Show (Values t)

Defined in Funcons.Operations.Values

Methods

showsPrec :: Int -> Values t -> ShowS

show :: Values t -> String

showList :: [Values t] -> ShowS

HasValues t => IsString (Values t)

Defined in Funcons.Operations.Values

Methods

fromString :: String -> Values t

type MVar = String

type Name = Text

tuple :: HasValues t => [Values t] -> Values t

list :: HasValues t => [Values t] -> Values t

sets :: HasValues t => Types t -> Types t

multisets :: HasValues t => Types t -> Types t

maps :: HasValues t => t -> t -> Types t

vectors :: HasValues t => Types t -> Types t

vmap :: Ord b => (a -> b) -> Values a -> Values b

vmapTS :: Ord b => (a -> b) -> TaggedSyntax a -> TaggedSyntax b

traverseV :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> Values a -> m (Values b)

traverseVM :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> ([a] -> m [b]) -> Values a -> m (Values b)

traverseT :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> Types a -> m (Types b)

traverseTM :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> ([a] -> m [b]) -> Types a -> m (Types b)

traverseTSM :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> ([a] -> m [b]) -> TaggedSyntax a -> m (TaggedSyntax b)

traverseCTM :: (Ord b, Monad m, HasValues a, HasValues b) => (a -> m b) -> ([a] -> m [b]) -> ComputationTypes a -> m (ComputationTypes b)

structVcompare :: (Monoid m, HasValues a, HasValues b) => (a -> b -> Maybe m) -> Values a -> Values b -> Maybe (Maybe m)

structCTMcompare :: (Monoid m, HasValues a, HasValues b) => (a -> b -> Maybe m) -> ([a] -> [b] -> Maybe m) -> ComputationTypes a -> ComputationTypes b -> Maybe (Maybe m)

structVMcompare :: (Monoid m, HasValues b, HasValues a) => (a -> b -> Maybe m) -> ([a] -> [b] -> Maybe m) -> Values a -> Values b -> Maybe (Maybe m)

structTSMcompare :: (HasValues b1, HasValues b2, Monoid m) => (b1 -> b2 -> Maybe m) -> ([b1] -> [b2] -> Maybe m) -> TaggedSyntax b1 -> TaggedSyntax b2 -> Maybe (Maybe m)

structTMcompare :: (Monoid m, HasValues a, HasValues b) => (a -> b -> Maybe m) -> ([a] -> [b] -> Maybe m) -> Types a -> Types b -> Maybe (Maybe m)

downcastValueType :: Values t -> Types t

upcastRationals :: Values t -> Values t

Returns the rational representation of a value if it is a subtype. Otherwise it returns the original value.

upcastIntegers :: Values t -> Values t

Returns the integer representation of a value if it is a subtype. Otherwise it returns the original value.

upcastNaturals :: Values t -> Values t

Returns the natural representation of a value if it is a subtype. Otherwise it returns the original value.

upcastUnicode :: Values t -> Values t

Returns the unicode representation of an assci value. Otherwise it returns the original value.

castType :: HasValues t => Values t -> Maybe (Types t)

mk_integers :: Integer -> Values t

mk_naturals :: Integer -> Values t

mk_unicode_characters :: Char -> Values t

mk_ascii_characters :: Char -> Values t

(===) :: (HasValues t, Eq t) => Values t -> Values t -> Bool

(=/=) :: (HasValues t, Eq t) => Values t -> Values t -> Bool

isAscii :: Values t -> Bool

isChar :: Values t -> Bool

isNat :: Values t -> Bool

isInt :: Values t -> Bool

isEnv :: Values t -> Bool

isMap :: Values t -> Bool

isSet :: Values t -> Bool

isString_ :: HasValues t => Values t -> Bool

isType :: Values t -> Bool

isVec :: Values t -> Bool

unString :: HasValues t => Values t -> String

null__ :: Values t

null_value__ :: Values t

isNull :: Values t -> Bool

isDefinedVal :: Values t -> Bool

ppValues :: HasValues t => (t -> String) -> Values t -> String

ppTaggedSyntax :: HasValues t => (t -> String) -> TaggedSyntax t -> String

ppComputationTypes :: HasValues t => (t -> String) -> ComputationTypes t -> String

ppTypes :: HasValues t => (t -> String) -> Types t -> String

ppOp :: SeqSortOp -> String

showArgs_ :: [String] -> String

data EvalResult t

Constructors

Error (OpExpr t) (Result t)

Success t

Instances

(HasValues t, Show t) => Show (EvalResult t)

Defined in Funcons.Operations.Eval

Methods

showsPrec :: Int -> EvalResult t -> ShowS

show :: EvalResult t -> String

showList :: [EvalResult t] -> ShowS

eval :: HasValues t => OpExpr t -> EvalResult t

applyEval :: OpExpr t -> Result t -> EvalResult t

lists_ :: HasValues t => [OpExpr t] -> OpExpr t

lists :: HasValues t => OpExpr t -> OpExpr t

list_singleton_ :: HasValues t => [OpExpr t] -> OpExpr t

list_singleton :: HasValues t => OpExpr t -> OpExpr t

nil_ :: HasValues t => [OpExpr t] -> OpExpr t

nil :: HasValues t => OpExpr t

is_nil_ :: HasValues t => [OpExpr t] -> OpExpr t

is_nil :: HasValues t => OpExpr t -> OpExpr t

cons_ :: HasValues t => [OpExpr t] -> OpExpr t

cons :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

list_ :: HasValues t => [OpExpr t] -> OpExpr t

list_append_ :: HasValues t => [OpExpr t] -> OpExpr t

list_append :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

isList :: HasValues t => Values t -> Bool

toList :: HasValues t => Values t -> [Values t]

list_concat_ :: HasValues t => [OpExpr t] -> OpExpr t

list_concat :: HasValues t => [OpExpr t] -> OpExpr t

head_ :: HasValues t => [OpExpr t] -> OpExpr t

tail_ :: HasValues t => [OpExpr t] -> OpExpr t

headOp :: HasValues t => OpExpr t -> OpExpr t

tailOp :: HasValues t => OpExpr t -> OpExpr t

tuples_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_is_empty_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_is_empty :: HasValues t => OpExpr t -> OpExpr t

empty_tuple_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_prepend_ :: HasValues t => [OpExpr t] -> OpExpr t

empty_tuple :: HasValues t => OpExpr t

tuple_prepend :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

tuple_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_index_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_index :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

tuple_head_ :: HasValues t => [OpExpr t] -> OpExpr t

tuple_tail_ :: HasValues t => [OpExpr t] -> OpExpr t

tupleHeadOp :: HasValues t => OpExpr t -> OpExpr t

tupleTailOp :: HasValues t => OpExpr t -> OpExpr t

tobool :: Bool -> Values t

frombool :: Values t -> Maybe Bool

booleans_ :: HasValues t => OpExpr t

true_ :: HasValues t => Values t

false_ :: HasValues t => Values t

is_equal_ :: (HasValues t, Eq t) => [OpExpr t] -> OpExpr t

is_equal :: (HasValues t, Eq t) => OpExpr t -> OpExpr t -> OpExpr t

toOpt :: HasValues t => Maybe t -> Values t

none__ :: Values t

optionals_ :: HasValues t => [OpExpr t] -> OpExpr t

optionals :: HasValues t => OpExpr t -> OpExpr t

some__ :: HasValues t => t -> Values t

some_ :: HasValues t => [OpExpr t] -> OpExpr t

some :: HasValues t => OpExpr t -> OpExpr t

none_ :: HasValues t => [OpExpr t] -> OpExpr t

none :: HasValues t => OpExpr t

datatype_values_ :: HasValues t => [OpExpr t] -> OpExpr t

datatype_values :: HasValues t => OpExpr t

ground_values_ :: HasValues t => [OpExpr t] -> OpExpr t

ground_values :: HasValues t => OpExpr t

types_ :: HasValues t => [OpExpr t] -> OpExpr t

types :: HasValues t => OpExpr t

value_types_ :: HasValues t => [OpExpr t] -> OpExpr t

value_types :: HasValues t => OpExpr t

nulltype_ :: HasValues t => [OpExpr t] -> OpExpr t

nulltype :: HasValues t => OpExpr t

null_ :: HasValues t => [OpExpr t] -> OpExpr t

null :: HasValues t => OpExpr t

values_ :: HasValues t => [OpExpr t] -> OpExpr t

values :: HasValues t => OpExpr t

is_value_ :: HasValues t => [OpExpr t] -> OpExpr t

is_value :: HasValues t => OpExpr t -> OpExpr t

value_type_ :: HasValues t => [OpExpr t] -> OpExpr t

value_type :: HasValues t => OpExpr t -> OpExpr t

tyOf :: HasValues t => Values t -> Types t

type_member_ :: HasValues t => [OpExpr t] -> OpExpr t

type_member :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

Type membership check for primitive types and predefined composite types (non-ADTs).

isInType :: HasValues t => Values t -> Types t -> Maybe Bool

isInTupleType :: HasValues t => [Values t] -> [Types t] -> Maybe Bool

non_grounded_ :: HasValues t => [OpExpr t] -> OpExpr t

non_grounded :: HasValues t => OpExpr t -> OpExpr t

non_grounded_values_ :: HasValues t => [OpExpr t] -> OpExpr t

non_grounded_values :: HasValues t => OpExpr t

integer_mod_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_modulo_ :: HasValues t => [OpExpr t] -> OpExpr t

stepMod :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

integers_ :: HasValues t => [OpExpr t] -> OpExpr t

integers :: HasValues t => OpExpr t

is_integer_ :: HasValues t => [OpExpr t] -> OpExpr t

is_integer :: HasValues t => OpExpr t -> OpExpr t

integer_add_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_multiply_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_subtract_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_subtract :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

integer_divide_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_divide :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

integer_power_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_power :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

natural_predecessor_ :: HasValues t => [OpExpr t] -> OpExpr t

nat_pred_ :: HasValues t => [OpExpr t] -> OpExpr t

natural_predecessor :: HasValues t => OpExpr t -> OpExpr t

natural_successor_ :: HasValues t => [OpExpr t] -> OpExpr t

nat_succ_ :: HasValues t => [OpExpr t] -> OpExpr t

natural_successor :: HasValues t => OpExpr t -> OpExpr t

integer_list_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_list :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

integer_absolute_value_ :: HasValues t => [OpExpr t] -> OpExpr t

integer_absolute_value :: HasValues t => OpExpr t -> OpExpr t

decimal_natural_ :: HasValues t => [OpExpr t] -> OpExpr t

decimal_natural :: HasValues t => OpExpr t -> OpExpr t

is_less_ :: HasValues t => [OpExpr t] -> OpExpr t

is_less :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

is_less_or_equal_ :: HasValues t => [OpExpr t] -> OpExpr t

is_less_or_equal :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

is_greater_ :: HasValues t => [OpExpr t] -> OpExpr t

is_greater :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

is_greater_or_equal_ :: HasValues t => [OpExpr t] -> OpExpr t

is_greater_or_equal :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

ieee_float_truncate_ :: HasValues t => [OpExpr t] -> OpExpr t

ieee_float_truncate :: HasValues t => OpExpr t -> OpExpr t -> OpExpr t

ieee_float_add_ :: HasValues t => [OpExpr t] -> OpExpr t

ieee_float_op :: HasValues t => String -> (Double -> Double -> Double) -> Double -> Values t -> [Values t] -> Result t

isIEEEFormat :: Values t -> Values t -> Bool

doubleFromIEEEFormat :: Values t -> Values t -> Double

is_string_ :: HasValues t => [OpExpr t] -> OpExpr t

is_string :: HasValues t => OpExpr t -> OpExpr t

to_string_ :: HasValues t => [OpExpr t] -> OpExpr t

to_string :: HasValues t => OpExpr t -> OpExpr t

stepTo_String :: HasValues t => Values t -> Result t

mk_string :: HasValues t => String -> Result t

sets_ :: HasValues t => [OpExpr t] -> OpExpr t

set_empty_ :: HasValues t => [OpExpr t] -> OpExpr t

set_empty :: HasValues t => OpExpr t

is_in_set_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

is_in_set :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t

set_elements_ :: HasValues t => [OpExpr t] -> OpExpr t

set_elements :: HasValues t => OpExpr t -> OpExpr t

set_size_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_size :: (Ord t, HasValues t) => OpExpr t -> OpExpr t

set_intersect_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_difference_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_difference :: (Ord t, HasValues t) => OpExpr t -> OpExpr t -> OpExpr t

some_element_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

some_element :: (HasValues t, Ord t) => OpExpr t -> OpExpr t

is_subset_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

is_subset :: (Ord t, HasValues t) => OpExpr t -> OpExpr t -> OpExpr t

set_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_unite_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_insert_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

set_insert :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t

element_not_in_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

element_not_in :: (Ord t, HasValues t) => OpExpr t -> OpExpr t -> OpExpr t

characters_ :: HasValues t => [OpExpr t] -> OpExpr t

characters :: HasValues t => OpExpr t

ascii_characters_ :: HasValues t => [OpExpr t] -> OpExpr t

ascii_characters :: HasValues t => OpExpr t

ascii_character_ :: HasValues t => [OpExpr t] -> OpExpr t

ascii_character :: HasValues t => OpExpr t -> OpExpr t

unicode_ :: HasValues t => [OpExpr t] -> OpExpr t

unicode :: HasValues t => OpExpr t -> OpExpr t

numUnicodeCodes :: Integer

unicode_character_code_ :: HasValues t => [OpExpr t] -> OpExpr t

unicode_character_code :: HasValues t => OpExpr t -> OpExpr t

map_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

maps_ :: HasValues t => [OpExpr t] -> OpExpr t

map_empty_ :: HasValues t => [OpExpr t] -> OpExpr t

map_empty :: HasValues t => OpExpr t

map_singleton_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_singleton :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t

is_map_empty_ :: HasValues t => [OpExpr t] -> OpExpr t

is_map_empty :: HasValues t => OpExpr t -> OpExpr t

map_insert_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_insert :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t -> OpExpr t

map_lookup_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_lookup :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t

map_delete_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_delete :: (HasValues t, Ord t) => OpExpr t -> OpExpr t -> OpExpr t

is_in_domain_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

is_in_domain :: (Ord t, HasValues t) => OpExpr t -> OpExpr t -> OpExpr t

domain_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

domain :: (HasValues t, Ord t) => OpExpr t -> OpExpr t

map_override_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_unite_ :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

map_unite :: (HasValues t, Ord t) => [OpExpr t] -> OpExpr t

toMap :: Values t -> ValueMaps (Values t)

allDomainPairs :: [a] -> [(a, a)]

map_elements_ :: (Ord t, HasValues t) => [OpExpr t] -> OpExpr t

map_elements :: (Ord t, HasValues t) => OpExpr t -> OpExpr t

libApp :: (HasValues t, Ord t) => OP -> [OpExpr t] -> Maybe (OpExpr t)

libAppWith :: (HasValues t, Ord t) => Library t -> OP -> [OpExpr t] -> Maybe (OpExpr t)

libFromList :: [(OP, ValueOp t)] -> Library t

libUnite :: [Library t] -> Library t

library :: (HasValues t, Ord t) => Library t

type Library t = Map OP (ValueOp t)