PAKCS
Exported names: Imported modules:

Module Check.AST.Indent.Case

Summary of exported operations:

checkCase :: Expression a -> Int -> State CheckState ()   
checkCase' :: SpanInfo -> [Alt a] -> Int -> State CheckState ()   
altIndent :: SpanInfo -> Alt a -> Int -> State CheckState ()   
getAltArrowCol :: SpanInfo -> Int   

Exported operations:

checkCase :: Expression a -> Int -> State CheckState ()   

checkCase' :: SpanInfo -> [Alt a] -> Int -> State CheckState ()   

Further infos:
  • partially defined

altIndent :: SpanInfo -> Alt a -> Int -> State CheckState ()   

getAltArrowCol :: SpanInfo -> Int   

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