module One where

import Test.QuickCheck

import Generics.Regular.Rewriting

import Base


oneTests = 
  [ oneTopLevelTest
  , oneTest1, oneTest2, oneTest3
  ]


oneTopLevelTest = 
  label "oneTopLevel" $
  one (applyRuleM notTRule) (Not T) == Nothing

oneTest1 = 
  label "one" $
  one (applyRuleM notTRule) (Not T :&&: Not T) == Just (F :&&: Not T)

oneTest2 = 
  label "one" $
  one (applyRuleM notTRule) (Not F :&&: Not T) == Just (Not F :&&: F)

oneTest3 = 
  label "one" $
  one (applyRuleM notTRule) (Not F :&&: Not F) == Nothing