helium-1.8: The Helium Compiler.

Safe Haskell	None

Helium.StaticAnalysis.Heuristics.RepairHeuristics

Description

Documentation

type Siblings = [[(String, TpScheme)]]Source

class MaybeImported a whereSource

Methods

maybeImportedName :: a -> Maybe String Source

Instances

MaybeImported ConstraintInfo

siblingFunctions :: (MaybeImported info, HasTwoTypes info, WithHints info, HasTypeGraph m info) => Siblings -> Selector m infoSource

class MaybeLiteral a whereSource

Methods

maybeLiteral :: a -> Maybe String Source

Instances

MaybeLiteral ConstraintInfo

siblingLiterals :: (HasTypeGraph m info, MaybeLiteral info, HasTwoTypes info, WithHints info) => Selector m infoSource

similarNegation :: (HasTypeGraph m info, MaybeNegation info, HasTwoTypes info, WithHints info) => Selector m infoSource

applicationHeuristic :: (HasTypeGraph m info, MaybeApplication info, IsPattern info, HasTwoTypes info, WithHints info) => Selector m infoSource

class IsTupleEdge a whereSource

Methods

isTupleEdge :: a -> Bool Source

Instances

IsTupleEdge ConstraintInfo

tupleHeuristic :: (HasTypeGraph m info, IsTupleEdge info, HasTwoTypes info, WithHints info) => Selector m infoSource

class IsFunctionBinding a whereSource

Methods

isExplicitlyTyped :: a -> Bool Source

maybeFunctionBinding :: a -> Maybe Int Source

Instances

IsFunctionBinding ConstraintInfo

fbHasTooManyArguments :: (HasTypeGraph m info, IsFunctionBinding info, HasTwoTypes info, WithHints info) => Selector m infoSource

class IsExprVariable a whereSource

Methods

isExprVariable :: a -> Bool Source

isEmptyInfixApplication :: a -> Bool Source

Instances

IsExprVariable ConstraintInfo

variableFunction :: (HasTypeGraph m info, IsExprVariable info, MaybeApplication info, HasTwoTypes info, WithHints info) => Selector m infoSource

class MaybeUnaryMinus a whereSource

Methods

maybeUnaryMinus :: a -> Maybe (Either Int Float)Source

Instances

MaybeUnaryMinus ConstraintInfo

unaryMinus :: (HasTypeGraph m info, MaybeApplication info, MaybeUnaryMinus info, HasTwoTypes info, WithHints info) => Bool -> Selector m infoSource

heuristicsMAX :: Int Source

zipWithHoles :: [a] -> [b] -> [([Int], [(a, b)])]Source

type Permutation = [Int]Source

permutationsForLength :: Int -> [Permutation]Source

deleteIndex :: Int -> [a] -> [a]Source

permute :: Permutation -> [a] -> [a]Source

class WithHints a whereSource

Methods

addHint :: String -> String -> a -> aSource

typeErrorForTerm :: (Bool, Bool) -> Int -> OneLineTree -> (Tp, Tp) -> Range -> a -> aSource

Instances

WithHints ConstraintInfo

fixHint :: WithHints a => String -> a -> aSource

possibleHint :: WithHints a => String -> a -> aSource

becauseHint :: WithHints a => String -> a -> aSource

unifiableInContext :: ClassEnvironment -> OrderedTypeSynonyms -> [Maybe Predicate] -> Tp -> Tp -> Bool Source

allSubstPredicates :: HasTypeGraph m info => m [Maybe Predicate]Source

predicatesFit :: HasTypeGraph m info => Predicates -> m Bool Source

predicateFits :: HasTypeGraph m info => Predicate -> m Bool Source