PAKCS
Exported names: Imported modules:

Module Check.AST.Pattern.AndOr

Summary of exported operations:

checkAndOr :: Expression a -> Int -> State CheckState ()   
checkAndOr' :: Expression a -> State CheckState ()   
getAndOrAsTupel :: Expression a -> (SpanInfo,String,String)   

Exported operations:

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

getAndOrAsTupel :: Expression a -> (SpanInfo,String,String)   

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