Module Check.AST.TopLevel.Signatures

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