helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Heuristics.RepairHeuristics

Description

 

Documentation

class IsTupleEdge a where Source

Methods

isTupleEdge :: a -> Bool Source

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

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

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

class WithHints a where Source

Methods

addHint :: String -> String -> a -> a Source

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

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