rest-rewrite-0.1: test/WQO.hs

module WQO where

import Language.REST.WQO as WQO

basicInvalid :: Maybe (WQO Char)
basicInvalid = do
  wqo1 <- WQO.singleton ('A', 'C', QGT)
  WQO.insertMaybe wqo1 ('C', 'A', QGT)

tests :: [(String, Bool)]
tests =
  let
    ValidExtension fg   = insert empty ("f", "g", QGT)
    ValidExtension fgyz = insert fg ("y", "z", QGT)
  in
    [ ("NotStrongerThan", fg `notStrongerThan` fgyz)
    , ("RejectInvalid", basicInvalid == Nothing)
    ]