conditional-restriction-parser-0.1.0.4: test/Arbitrary/ConditionalRestriction/Parse/InputData.hs

module Arbitrary.ConditionalRestriction.Parse.InputData where

import ConditionalRestriction.Parse.InputData (Type (..))
import Test.QuickCheck (Arbitrary (arbitrary), elements)

instance Arbitrary Type where
  arbitrary = elements [TBool, TNum, TTime]