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

Hydra.Inference.Rules

Description

Inference rules

Documentation

data Inferred a Source #

Constructors

Inferred 

Fields

Instances

Instances details
Show a => Show (Inferred a) Source # 
Instance details

Defined in Hydra.Inference.Rules

Methods

showsPrec :: Int -> Inferred a -> ShowS #

show :: Inferred a -> String #

showList :: [Inferred a] -> ShowS #

key_vcount :: Name Source #

constraint :: Type -> Type -> TypeConstraint Source #

fieldType :: Field -> FieldType Source #

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

freshName :: Flow Graph Name Source #

freshVariableType :: Flow Graph Type Source #

generalize :: Map Name TypeScheme -> Type -> TypeScheme Source #

infer :: Term -> Flow Graph (Inferred Term) Source #

inferFieldType :: Field -> Flow Graph (Inferred Field) Source #

inferLet :: Let -> Flow Graph (Inferred Term) Source #

instantiate :: TypeScheme -> Flow Graph TypeScheme 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 Graph TypeScheme Source #

termType :: Term -> Type Source #

termTypeScheme :: Term -> TypeScheme Source #

typeOfPrimitive :: Name -> Flow Graph TypeScheme Source #

typeOfTerm :: Term -> Maybe Type Source #

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

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

withEnvironment :: (Map Name TypeScheme -> Map Name TypeScheme) -> Flow Graph x -> Flow Graph x Source #

yield :: Term -> Type -> [TypeConstraint] -> Flow Graph (Inferred Term) Source #

yieldFunction :: Function -> Type -> [TypeConstraint] -> Flow Graph (Inferred Term) Source #

yieldElimination :: Elimination -> Type -> [TypeConstraint] -> Flow Graph (Inferred Term) Source #