Module Check.AST.Indent.Guard

Summary of exported operations:

checkGuard :: Equation a -> Int -> State CheckState ()   
checkGuard' :: SpanInfo -> SpanInfo -> [CondExpr a] -> Int -> State CheckState ()   
checkGuardIndent :: SpanInfo -> Int -> CondExpr a -> Int -> State CheckState ()   
guardsEqualSSameLine :: [CondExpr a] -> Bool   
checkEqualIndent :: SpanInfo -> CondExpr a -> State CheckState ()   
getEqualCol :: SpanInfo -> Int   
getEqualLi :: SpanInfo -> Int   

Exported operations:

checkGuard :: Equation a -> Int -> State CheckState ()   

checkGuard' :: SpanInfo -> SpanInfo -> [CondExpr a] -> Int -> State CheckState ()   

Further infos:
  • partially defined

checkGuardIndent :: SpanInfo -> Int -> CondExpr a -> Int -> State CheckState ()   

guardsEqualSSameLine :: [CondExpr a] -> Bool   

getEqualCol :: SpanInfo -> Int   

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

getEqualLi :: SpanInfo -> Int   

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