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

Hydra.Sources.Tier1.Tier1

Documentation

tier1Definition :: String -> TTerm a -> TElement a Source #

hydraTier1Module :: Module Source #

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

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

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

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

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

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

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

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

subtermsWithAccessorsDef :: TElement (Term -> [(TermAccessor, Term)]) Source #

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

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

emptyTraceDef :: TElement Trace Source #

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

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

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

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

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

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

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

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