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

Hydra.Rules

Description

Inference rules

Documentation

data InferenceContext Source #

Constructors

InferenceContext 

Fields

type TypingEnvironment = Map Name TypeScheme Source #

fieldType :: Field -> FieldType Source #

findMatchingField :: Name -> [FieldType] -> Flow InferenceContext FieldType Source #

freshName :: Flow InferenceContext Type Source #

generalize :: TypingEnvironment -> Type -> TypeScheme Source #

infer :: Term -> Flow InferenceContext (Term, [Constraint]) Source #

inferFieldType :: Field -> Flow InferenceContext (Field, [Constraint]) Source #

inferLet :: Let -> Flow InferenceContext (Term, [Constraint]) Source #

instantiate :: TypeScheme -> Flow InferenceContext Type Source #

monotype :: Type -> TypeScheme Source #

productOfMaps :: Ord k => Map k l -> Map k r -> Map k (l, r) Source #

reduceType :: Type -> Type Source #

requireName :: Name -> Flow InferenceContext Type Source #

termType :: Term -> Type Source #

termTypeScheme :: Term -> TypeScheme Source #

typeOfPrimitive :: Name -> Flow Graph Type Source #

typeOfTerm :: Term -> Maybe Type Source #

withBinding :: Name -> TypeScheme -> Flow InferenceContext x -> Flow InferenceContext x Source #

withBindings :: Map Name TypeScheme -> Flow InferenceContext x -> Flow InferenceContext x Source #

withEnvironment :: (TypingEnvironment -> TypingEnvironment) -> Flow InferenceContext x -> Flow InferenceContext x Source #

withGraphContext :: Flow Graph x -> Flow InferenceContext x Source #

yield :: Term -> Type -> [Constraint] -> Flow InferenceContext (Term, [Constraint]) Source #

yieldFunction :: Function -> Type -> [Constraint] -> Flow InferenceContext (Term, [Constraint]) Source #

yieldElimination :: Elimination -> Type -> [Constraint] -> Flow InferenceContext (Term, [Constraint]) Source #