PAKCS
Exported names: Imported modules:

Module Check.AST.Pattern.NotOrd

Summary of exported operations:

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

Exported operations:

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

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

warnNotOrd :: String -> String -> SpanInfo -> State CheckState ()   

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