Module Check.AST.TopLevel.Signatures

Summary of exported operations:

checkTopLevelSig :: Module a -> Int -> State CheckState ()   
checkTopLevelSig' :: [Decl a] -> [Decl a] -> State CheckState ()   
checkPair :: Decl a -> [Decl a] -> State CheckState Bool   
checkPos :: SpanInfo -> SpanInfo -> String -> State CheckState ()   
getIdentS :: Ident -> String   

Exported operations:

checkTopLevelSig :: Module a -> Int -> State CheckState ()   

checkTopLevelSig' :: [Decl a] -> [Decl a] -> State CheckState ()   

checkPair :: Decl a -> [Decl a] -> State CheckState Bool   

Further infos:
  • partially defined

checkPos :: SpanInfo -> SpanInfo -> String -> State CheckState ()   

Further infos:
  • partially defined

getIdentS :: Ident -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions