PAKCS
Exported names: Imported modules:

Module Check.AST

Summary of exported operations:

checkConf :: (CheckList -> Bool) -> (a -> Int -> State CheckState ()) -> a -> Int -> State CheckState ()   
default_ :: a -> b -> State CheckState ()   
checks :: Checks a   
newIndent :: HasSpanInfo a => (SpanInfo -> Int) -> SpanInfo -> a -> Int -> Int   
checkAST :: Module a -> State CheckState ()   
getThenLi :: SpanInfo -> Int   
getThenCol :: SpanInfo -> Int   
getElseLi :: SpanInfo -> Int   
getElseCol :: SpanInfo -> Int   
getInLi :: SpanInfo -> Int   
getInCol :: SpanInfo -> Int   

Exported operations:

checkConf :: (CheckList -> Bool) -> (a -> Int -> State CheckState ()) -> a -> Int -> State CheckState ()   

default_ :: a -> b -> State CheckState ()   

checks :: Checks a   

newIndent :: HasSpanInfo a => (SpanInfo -> Int) -> SpanInfo -> a -> Int -> Int   

checkAST :: Module a -> State CheckState ()   

getThenLi :: SpanInfo -> Int   

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

getThenCol :: SpanInfo -> Int   

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

getElseLi :: SpanInfo -> Int   

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

getElseCol :: SpanInfo -> Int   

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

getInLi :: SpanInfo -> Int   

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

getInCol :: SpanInfo -> Int   

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