PAKCS
Exported names: Imported modules:

Module Check.AST.Indent.Data

Summary of exported operations:

checkData :: Decl a -> Int -> State CheckState ()   
checkData' :: SpanInfo -> [ConstrDecl] -> State CheckState ()   
checkCData :: SpanInfo -> [ConstrDecl] -> State CheckState ()   
getFirstBar :: [Span] -> Int   
checkRecord :: SpanInfo -> [ConstrDecl] -> State CheckState ()   
getSigSpan :: FieldDecl -> Span   
getNameSpan :: FieldDecl -> Span   
getTypeSpan :: FieldDecl -> Span   
gatherSpanFromFieldDecls :: (FieldDecl -> Span) -> [FieldDecl] -> [Span]   

Exported operations:

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

checkData' :: SpanInfo -> [ConstrDecl] -> State CheckState ()   

Further infos:
  • partially defined

checkCData :: SpanInfo -> [ConstrDecl] -> State CheckState ()   

Further infos:
  • partially defined

getFirstBar :: [Span] -> Int   

Further infos:
  • partially defined

checkRecord :: SpanInfo -> [ConstrDecl] -> State CheckState ()   

Further infos:
  • partially defined

getSigSpan :: FieldDecl -> Span   

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

getNameSpan :: FieldDecl -> Span   

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

getTypeSpan :: FieldDecl -> Span   

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