module Rule where

import Data.Maybe
import Test.QuickCheck

import Generics.Regular.Rewriting

import Base


ruleTests = 
  [ unboundRuleTest
  , boundRuleTest
  ]


unboundRuleTest = 
  label "unboundRule" $
  isNothing (ruleM unboundRule)

boundRuleTest =
  label "boundRule" $
  isJust (ruleM boundRule)