PAKCS
Exported names: Imported modules:

Module Check.AST.Indent.Where

Summary of exported operations:

checkWhere :: Decl a -> Int -> State CheckState ()   
checkWhere' :: SpanInfo -> [Equation a] -> State CheckState ()   
checkDecls :: Int -> Span -> [Decl a] -> State CheckState ()   

Exported operations:

checkWhere :: Decl a -> Int -> State CheckState ()   

checkWhere' :: SpanInfo -> [Equation a] -> State CheckState ()   

Further infos:
  • partially defined

checkDecls :: Int -> Span -> [Decl a] -> State CheckState ()   

Further infos:
  • partially defined