Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Mutagen.Fragment

Contents

Fragments and Fragmentable class

Description

Test case fragments and fragment stores.

Synopsis

type IsFragment a = (Typeable a, Ord a, Show a)
data Fragment = IsFragment a => Fragment a
class IsFragment a => Fragmentable a where
- fragmentize :: a -> Set Fragment
singleton :: IsFragment a => a -> Set Fragment

Fragments and Fragmentable class

type IsFragment a = (Typeable a, Ord a, Show a) Source #

Fragment type class constraint.

data Fragment Source #

A test case fragment hidden behind an existential.

Constructors

IsFragment a => Fragment a

Instances

Instances details

Show Fragment Source #
Instance details Defined in Test.Mutagen.Fragment Methods showsPrec :: Int -> Fragment -> ShowS # show :: Fragment -> String # showList :: [Fragment] -> ShowS #
Eq Fragment Source #
Instance details Defined in Test.Mutagen.Fragment Methods (==) :: Fragment -> Fragment -> Bool # (/=) :: Fragment -> Fragment -> Bool #
Ord Fragment Source #
Instance details Defined in Test.Mutagen.Fragment Methods compare :: Fragment -> Fragment -> Ordering # (<) :: Fragment -> Fragment -> Bool # (<=) :: Fragment -> Fragment -> Bool # (>) :: Fragment -> Fragment -> Bool # (>=) :: Fragment -> Fragment -> Bool # max :: Fragment -> Fragment -> Fragment # min :: Fragment -> Fragment -> Fragment #

class IsFragment a => Fragmentable a where Source #

Types that can be fragmented into smaller pieces.

Minimal complete definition

Nothing

Methods

fragmentize :: a -> Set Fragment Source #

Extract fragments from a value.

Instances

Instances details

Fragmentable Word16 Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Word16 -> Set Fragment Source #
Fragmentable Word32 Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Word32 -> Set Fragment Source #
Fragmentable Word64 Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Word64 -> Set Fragment Source #
Fragmentable Word8 Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Word8 -> Set Fragment Source #
Fragmentable Args Source #
Instance details Defined in Test.Mutagen.Property Methods fragmentize :: Args -> Set Fragment Source #
Fragmentable () Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: () -> Set Fragment Source #
Fragmentable Bool Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Bool -> Set Fragment Source #
Fragmentable Char Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Char -> Set Fragment Source #
Fragmentable Double Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Double -> Set Fragment Source #
Fragmentable Float Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Float -> Set Fragment Source #
Fragmentable Int Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Int -> Set Fragment Source #
Fragmentable a => Fragmentable (Maybe a) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Maybe a -> Set Fragment Source #
Fragmentable a => Fragmentable [a] Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: [a] -> Set Fragment Source #
(Fragmentable k, Fragmentable v) => Fragmentable (Map k v) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Map k v -> Set Fragment Source #
(Fragmentable a, Fragmentable b) => Fragmentable (Either a b) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: Either a b -> Set Fragment Source #
(Fragmentable a, Fragmentable b) => Fragmentable (a, b) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c) => Fragmentable (a, b, c) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d) => Fragmentable (a, b, c, d) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e) => Fragmentable (a, b, c, d, e) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e, Fragmentable f) => Fragmentable (a, b, c, d, e, f) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e, f) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e, Fragmentable f, Fragmentable g) => Fragmentable (a, b, c, d, e, f, g) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e, f, g) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e, Fragmentable f, Fragmentable g, Fragmentable h) => Fragmentable (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e, f, g, h) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e, Fragmentable f, Fragmentable g, Fragmentable h, Fragmentable i) => Fragmentable (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e, f, g, h, i) -> Set Fragment Source #
(Fragmentable a, Fragmentable b, Fragmentable c, Fragmentable d, Fragmentable e, Fragmentable f, Fragmentable g, Fragmentable h, Fragmentable i, Fragmentable j) => Fragmentable (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in Test.Mutagen.Fragment Methods fragmentize :: (a, b, c, d, e, f, g, h, i, j) -> Set Fragment Source #

singleton :: IsFragment a => a -> Set Fragment Source #

Turn an entire value into a singleton fragment set.