hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Sources.Tier1.Tier1

Documentation

tier1Definition :: String -> Datum a -> Definition a Source #

hydraTier1Module :: Module Source #

floatValueToBigfloatDef :: Definition (Double -> Double) Source #

integerValueToBigintDef :: Definition (IntegerValue -> Integer) Source #

isLambdaDef :: Definition (Term -> Bool) Source #

foldOverTermDef :: Definition (TraversalOrder -> (x -> Term -> x) -> x -> Term -> x) Source #

foldOverTypeDef :: Definition (TraversalOrder -> (x -> Type -> x) -> x -> Type -> x) Source #

freeVariablesInTermDef :: Definition (Term -> Set Name) Source #

freeVariablesInTypeDef :: Definition (Type -> Set Name) Source #

subtermsDef :: Definition (Term -> [Term]) Source #

subtypesDef :: Definition (Type -> [Type]) Source #

unqualifyNameDef :: Definition (QualifiedName -> Name) Source #

emptyTraceDef :: Definition Trace Source #

flowSucceedsDef :: Definition (Flow s a -> Bool) Source #

fromFlowDef :: Definition (a -> s -> Flow s a -> a) Source #

mutateTraceDef :: Definition ((Trace -> Either_ String Trace) -> (Trace -> Trace -> Trace) -> Flow s a -> Flow s a) Source #

pushErrorDef :: Definition (String -> Trace -> Trace) Source #

warnDef :: Definition (String -> Flow s a -> Flow s a) Source #

withFlagDef :: Definition (String -> Flow s a -> Flow s a) Source #

withStateDef :: Definition (s1 -> Flow s1 a -> Flow s2 a) Source #

withTraceDef :: Definition (String -> Flow s a -> Flow s a) Source #