Hydra.Tier1

A module for miscellaneous tier-1 functions and constants.

Documentation

floatValueToBigfloat :: FloatValue -> Double

Convert a floating-point value of any precision to a bigfloat

integerValueToBigint :: IntegerValue -> Integer

Convert an integer value of any precision to a bigint

isLambda :: Term -> Bool

Check whether a term is a lambda, possibly nested within let and/or annotation terms

unqualifyName :: QualifiedName -> Name

Convert a qualified name to a dot-separated name

foldOverTerm :: TraversalOrder -> (x -> Term -> x) -> x -> Term -> x

Fold over a term, traversing its subterms in the specified order

foldOverType :: TraversalOrder -> (x -> Type -> x) -> x -> Type -> x

Fold over a type, traversing its subtypes in the specified order

freeVariablesInTerm :: Term -> Set Name

Find the free variables (i.e. variables not bound by a lambda or let) in a term

freeVariablesInType :: Type -> Set Name

Find the free variables (i.e. variables not bound by a lambda or let) in a type

subterms :: Term -> [Term]

Find the children of a given term

subtypes :: Type -> [Type]

Find the children of a given type expression

emptyTrace :: Trace

flowSucceeds :: s -> Flow s a -> Bool

Check whether a flow succeeds

fromFlow :: a -> s -> Flow s a -> a

Get the value of a flow, or a default value if the flow fails

mutateTrace :: (Trace -> Either_ String Trace) -> (Trace -> Trace -> Trace) -> Flow s a -> Flow s a

pushError :: String -> Trace -> Trace

Push an error message

warn :: String -> Flow s a -> Flow s a

Continue the current flow after adding a warning message

withFlag :: String -> Flow s a -> Flow s a

Continue the current flow after setting a flag

withState :: s1 -> Flow s1 a -> Flow s2 a

Continue a flow using a given state

withTrace :: String -> Flow s a -> Flow s a

Continue the current flow after augmenting the trace