Safe Haskell	None
Language	Haskell2010

Scavenge.InputFilter

Documentation

class HasFilter i where Source #

Associated Types

data CustomFilter i Source #

Methods

filterMatches :: CustomFilter i -> i -> Bool Source #

Instances

HasFilter Test Source #
Instance details Defined in Scavenge.InputFilter Associated Types data CustomFilter Test :: Type Source # Methods filterMatches :: CustomFilter Test -> Test -> Bool Source #

data InputFilter i Source #

Constructors

Always
Never
And (InputFilter i) (InputFilter i)
Or (InputFilter i) (InputFilter i)
Not (InputFilter i)
Custom (CustomFilter i)

Instances

(Arbitrary i, HasFilter i) => Observe i Bool (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Methods observe :: i -> InputFilter i -> Bool #
Eq (CustomFilter i) => Eq (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Methods (==) :: InputFilter i -> InputFilter i -> Bool # (/=) :: InputFilter i -> InputFilter i -> Bool #
Ord (CustomFilter i) => Ord (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Methods compare :: InputFilter i -> InputFilter i -> Ordering # (<) :: InputFilter i -> InputFilter i -> Bool # (<=) :: InputFilter i -> InputFilter i -> Bool # (>) :: InputFilter i -> InputFilter i -> Bool # (>=) :: InputFilter i -> InputFilter i -> Bool # max :: InputFilter i -> InputFilter i -> InputFilter i # min :: InputFilter i -> InputFilter i -> InputFilter i #
Show (CustomFilter i) => Show (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Methods showsPrec :: Int -> InputFilter i -> ShowS # show :: InputFilter i -> String # showList :: [InputFilter i] -> ShowS #
Generic (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Associated Types type Rep (InputFilter i) :: Type -> Type # Methods from :: InputFilter i -> Rep (InputFilter i) x # to :: Rep (InputFilter i) x -> InputFilter i #
Arbitrary (CustomFilter i) => Arbitrary (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter Methods arbitrary :: Gen (InputFilter i) # shrink :: InputFilter i -> [InputFilter i] #
type Rep (InputFilter i) Source #
Instance details Defined in Scavenge.InputFilter type Rep (InputFilter i) = D1 (MetaData "InputFilter" "Scavenge.InputFilter" "algebra-driven-design-0.1.1.1-3rqLDj56t6xHDa2DBImysW" False) ((C1 (MetaCons "Always" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Never" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "And" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InputFilter i)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InputFilter i))))) :+: (C1 (MetaCons "Or" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InputFilter i)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InputFilter i))) :+: (C1 (MetaCons "Not" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InputFilter i))) :+: C1 (MetaCons "Custom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CustomFilter i))))))

always :: InputFilter i Source #

never :: InputFilter i Source #

andF :: InputFilter i -> InputFilter i -> InputFilter i Source #

orF :: InputFilter i -> InputFilter i -> InputFilter i Source #

notF :: InputFilter i -> InputFilter i Source #

custom :: CustomFilter i -> InputFilter i Source #

matches :: HasFilter i => InputFilter i -> i -> Bool Source #

decayArbitrary :: Arbitrary a => Int -> Gen a Source #

data Test Source #

Constructors

Number Word8

Instances

Eq Test Source #
Instance details Defined in Scavenge.InputFilter Methods (==) :: Test -> Test -> Bool # (/=) :: Test -> Test -> Bool #
Ord Test Source #
Instance details Defined in Scavenge.InputFilter Methods compare :: Test -> Test -> Ordering # (<) :: Test -> Test -> Bool # (<=) :: Test -> Test -> Bool # (>) :: Test -> Test -> Bool # (>=) :: Test -> Test -> Bool # max :: Test -> Test -> Test # min :: Test -> Test -> Test #
Show Test Source #
Instance details Defined in Scavenge.InputFilter Methods showsPrec :: Int -> Test -> ShowS # show :: Test -> String # showList :: [Test] -> ShowS #
Generic Test Source #
Instance details Defined in Scavenge.InputFilter Associated Types type Rep Test :: Type -> Type # Methods from :: Test -> Rep Test x # to :: Rep Test x -> Test #
Arbitrary Test Source #
Instance details Defined in Scavenge.InputFilter Methods arbitrary :: Gen Test # shrink :: Test -> [Test] #
HasFilter Test Source #
Instance details Defined in Scavenge.InputFilter Associated Types data CustomFilter Test :: Type Source # Methods filterMatches :: CustomFilter Test -> Test -> Bool Source #
Eq (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter Methods (==) :: CustomFilter Test -> CustomFilter Test -> Bool # (/=) :: CustomFilter Test -> CustomFilter Test -> Bool #
Ord (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter Methods compare :: CustomFilter Test -> CustomFilter Test -> Ordering # (<) :: CustomFilter Test -> CustomFilter Test -> Bool # (<=) :: CustomFilter Test -> CustomFilter Test -> Bool # (>) :: CustomFilter Test -> CustomFilter Test -> Bool # (>=) :: CustomFilter Test -> CustomFilter Test -> Bool # max :: CustomFilter Test -> CustomFilter Test -> CustomFilter Test # min :: CustomFilter Test -> CustomFilter Test -> CustomFilter Test #
Show (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter Methods showsPrec :: Int -> CustomFilter Test -> ShowS # show :: CustomFilter Test -> String # showList :: [CustomFilter Test] -> ShowS #
Generic (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter Associated Types type Rep (CustomFilter Test) :: Type -> Type # Methods from :: CustomFilter Test -> Rep (CustomFilter Test) x # to :: Rep (CustomFilter Test) x -> CustomFilter Test #
Arbitrary (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter Methods arbitrary :: Gen (CustomFilter Test) # shrink :: CustomFilter Test -> [CustomFilter Test] #
type Rep Test Source #
Instance details Defined in Scavenge.InputFilter type Rep Test = D1 (MetaData "Test" "Scavenge.InputFilter" "algebra-driven-design-0.1.1.1-3rqLDj56t6xHDa2DBImysW" False) (C1 (MetaCons "Number" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))
data CustomFilter Test Source #
Instance details Defined in Scavenge.InputFilter data CustomFilter Test = Exactly Word8
type Rep (CustomFilter Test) Source #
Instance details Defined in Scavenge.InputFilter type Rep (CustomFilter Test) = D1 (MetaData "CustomFilter" "Scavenge.InputFilter" "algebra-driven-design-0.1.1.1-3rqLDj56t6xHDa2DBImysW" False) (C1 (MetaCons "Exactly" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))

exactly :: Word8 -> InputFilter Test Source #

sig_filters :: Sig Source #

sig_filter_cons :: Sig Source #

sig_filter_user_cons :: Sig Source #

sig_filter_types :: Sig Source #