PAKCS
Exported names: Imported modules:

Module Check.AST.Pattern.ThenTrueElseFalse

Summary of exported operations:

checkThenTrueElseFalse :: Expression a -> Int -> State CheckState ()   
checkThenTrueElseFalse' :: SpanInfo -> String -> State CheckState ()   

Exported operations:

checkThenTrueElseFalse' :: SpanInfo -> String -> State CheckState ()   

Further infos:
  • partially defined