PAKCS
Exported names: Imported modules:

Module Check.AST.TopLevel.BlankLines

Summary of exported operations:

checkBlankLines :: Module a -> Int -> State CheckState ()   
checkBlankLines' :: SpanInfo -> [Decl a] -> State CheckState ()   
blankLine :: Decl a -> Decl a -> State CheckState ()   
noBlank :: SpanInfo -> Decl a -> State CheckState ()   
getEndLi :: SpanInfo -> Int   

Exported operations:

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

blankLine :: Decl a -> Decl a -> State CheckState ()   

noBlank :: SpanInfo -> Decl a -> State CheckState ()   

getEndLi :: SpanInfo -> Int   

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