License	BSD
Maintainer	sweirich@cis.upenn.edu
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Generics.RepLib.Lib

Contents

Available for all representable types
Specializable type-indexed functions
Generic operations based on Fold
Auxiliary types and generators for derivable classes

Description

A library of type-indexed functions

Synopsis

subtrees :: forall a. Rep a => a -> [a]
deepSeq :: Rep a => a -> b -> b
rnf :: Rep a => a -> a
class Rep1 GSumD a => GSum a where
class Rep1 ZeroD a => Zero a where
class Rep1 GenerateD a => Generate a where
class Rep1 EnumerateD a => Enumerate a where
class Rep1 ShrinkD a => Shrink a where
class Rep1 (LreduceD b) a => Lreduce b a where
class Rep1 (RreduceD b) a => Rreduce b a where
class Fold f where
crush :: (Rep a, Fold t) => (a -> a -> a) -> a -> t a -> a
gproduct :: (Rep a, Num a, Fold t) => t a -> a
gand :: Fold t => t Bool -> Bool
gor :: Fold t => t Bool -> Bool
flatten :: (Rep a, Fold t) => t a -> [a]
count :: (Rep a, Fold t) => t a -> Int
comp :: (Rep a, Fold t) => t (a -> a) -> a -> a
gconcat :: (Rep a, Fold t) => t [a] -> [a]
gall :: (Rep a, Fold t) => (a -> Bool) -> t a -> Bool
gany :: (Rep a, Fold t) => (a -> Bool) -> t a -> Bool
gelem :: (Rep a, Eq a, Fold t) => a -> t a -> Bool
data GSumD a = GSumD {
- gsumD :: a -> Int
}
data ZeroD a = ZD {
- zeroD :: a
}
data GenerateD a = GenerateD {
- generateD :: Int -> [a]
}
data EnumerateD a = EnumerateD {
- enumerateD :: [a]
}
data ShrinkD a = ShrinkD {
- shrinkD :: a -> [a]
}
data LreduceD b a = LreduceD {
- lreduceD :: b -> a -> b
}
data RreduceD b a = RreduceD {
- rreduceD :: a -> b -> b
}
rnfR :: R a -> a -> a
deepSeqR :: R a -> a -> b -> b
gsumR1 :: R1 GSumD a -> a -> Int
zeroR1 :: R1 ZeroD a -> a
generateR1 :: R1 GenerateD a -> Int -> [a]
enumerateR1 :: R1 EnumerateD a -> [a]
lreduceR1 :: R1 (LreduceD b) a -> b -> a -> b
rreduceR1 :: R1 (RreduceD b) a -> a -> b -> b

Available for all representable types

subtrees :: forall a. Rep a => a -> [a] Source #

Produce all children of a datastructure with the same type. Note that subtrees is available for all representable types. For those that are not recursive datatypes, subtrees will always return the empty list. But, these trivial instances are convenient to have for the Shrink operation below.

deepSeq :: Rep a => a -> b -> b Source #

Recursively force the evaluation of the first argument. For example, deepSeq ( x , y ) z where x = ... y = ... will evaluate both x and y then return z

rnf :: Rep a => a -> a Source #

Force the evaluation of *datatypes* to their normal forms. Other types are left alone and not forced.

Specializable type-indexed functions

class Rep1 GSumD a => GSum a where Source #

Add together all of the Ints in a datastructure For example: gsum ( 1 , True, ("a", Maybe 3, []) , Nothing) 4

Methods

gsum :: a -> Int Source #

Instances

GSum Bool Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Bool -> Int Source #
GSum Char Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Char -> Int Source #
GSum Double Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Double -> Int Source #
GSum Float Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Float -> Int Source #
GSum Int Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Int -> Int Source #
GSum Integer Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Integer -> Int Source #
GSum () Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: () -> Int Source #
GSum a => GSum [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: [a] -> Int Source #
GSum a => GSum (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Set a -> Int Source #
(GSum a, GSum b) => GSum (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: (a, b) -> Int Source #
(Rep k, GSum a) => GSum (Map k a) Source #
Instance details Defined in Generics.RepLib.Lib Methods gsum :: Map k a -> Int Source #

class Rep1 ZeroD a => Zero a where Source #

Create a zero element of a type ( zero :: ((Int, Maybe Int), Float)) ((0, Nothing), 0.0)

Methods

zero :: a Source #

Instances

Zero Bool Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Bool Source #
Zero Char Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Char Source #
Zero Double Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Double Source #
Zero Float Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Float Source #
Zero Int Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Int Source #
Zero Integer Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Integer Source #
Zero () Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: () Source #
Zero IOError Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: IOError Source #
Zero a => Zero [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: [a] Source #
Rep a => Zero (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Set a Source #
(Zero a, Zero b) => Zero (a -> b) Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: a -> b Source #
(Zero a, Zero b) => Zero (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: (a, b) Source #
(Rep k, Rep a) => Zero (Map k a) Source #
Instance details Defined in Generics.RepLib.Lib Methods zero :: Map k a Source #

class Rep1 GenerateD a => Generate a where Source #

Generate elements of a type up to a certain depth

Methods

generate :: Int -> [a] Source #

Instances

Generate Char Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Char] Source #
Generate Double Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Double] Source #
Generate Float Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Float] Source #
Generate Int Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Int] Source #
Generate Integer Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Integer] Source #
Generate () Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [()] Source #
Generate a => Generate [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [[a]] Source #
(Ord a, Generate a) => Generate (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Set a] Source #
(Generate a, Generate b) => Generate (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [(a, b)] Source #
(Ord k, Generate k, Generate a) => Generate (Map k a) Source #
Instance details Defined in Generics.RepLib.Lib Methods generate :: Int -> [Map k a] Source #

class Rep1 EnumerateD a => Enumerate a where Source #

enumerate the elements of a type, in DFS order.

Methods

enumerate :: [a] Source #

Instances

Enumerate Bool Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Bool] Source #
Enumerate Char Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Char] Source #
Enumerate Double Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Double] Source #
Enumerate Float Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Float] Source #
Enumerate Int Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Int] Source #
Enumerate Integer Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Integer] Source #
Enumerate () Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [()] Source #
Enumerate a => Enumerate [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [[a]] Source #
(Ord a, Enumerate a) => Enumerate (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Set a] Source #
(Enumerate a, Enumerate b) => Enumerate (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [(a, b)] Source #
(Ord k, Enumerate k, Enumerate a) => Enumerate (Map k a) Source #
Instance details Defined in Generics.RepLib.Lib Methods enumerate :: [Map k a] Source #

class Rep1 ShrinkD a => Shrink a where Source #

Given an element, return smaller elements of the same type for example, to automatically find small counterexamples when testing

Methods

shrink :: a -> [a] Source #

Instances

Shrink Char Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: Char -> [Char] Source #
Shrink Int Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: Int -> [Int] Source #
Shrink () Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: () -> [()] Source #
Shrink a => Shrink [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: [a] -> [[a]] Source #
(Ord a, Shrink a) => Shrink (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: Set a -> [Set a] Source #
(Shrink a, Shrink b) => Shrink (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: (a, b) -> [(a, b)] Source #
(Ord k, Shrink k, Shrink a) => Shrink (Map k a) Source #
Instance details Defined in Generics.RepLib.Lib Methods shrink :: Map k a -> [Map k a] Source #

class Rep1 (LreduceD b) a => Lreduce b a where Source #

A general version of fold left, use for Fold class below

Methods

lreduce :: b -> a -> b Source #

Instances

Lreduce b Bool Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: b -> Bool -> b Source #
Lreduce b Char Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: b -> Char -> b Source #
Lreduce b () Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: b -> () -> b Source #
Lreduce b Int Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: b -> Int -> b Source #
(Ord a, Lreduce b a) => Lreduce b (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: b -> Set a -> b Source #
Lreduce c a => Lreduce c [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: c -> [a] -> c Source #
(Lreduce c a, Lreduce c b) => Lreduce c (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods lreduce :: c -> (a, b) -> c Source #

class Rep1 (RreduceD b) a => Rreduce b a where Source #

A general version of fold right, use for Fold class below

Methods

rreduce :: a -> b -> b Source #

Instances

Rreduce b Bool Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: Bool -> b -> b Source #
Rreduce b Char Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: Char -> b -> b Source #
Rreduce b () Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: () -> b -> b Source #
Rreduce b Int Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: Int -> b -> b Source #
(Ord a, Rreduce b a) => Rreduce b (Set a) Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: Set a -> b -> b Source #
Rreduce c a => Rreduce c [a] Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: [a] -> c -> c Source #
(Rreduce c a, Rreduce c b) => Rreduce c (a, b) Source #
Instance details Defined in Generics.RepLib.Lib Methods rreduce :: (a, b) -> c -> c Source #

Generic operations based on Fold

class Fold f where Source #

All of the functions below are defined using instances of the following class

Minimal complete definition

foldRight, foldLeft

Methods

foldRight :: Rep a => (a -> b -> b) -> f a -> b -> b Source #

foldLeft :: Rep a => (b -> a -> b) -> b -> f a -> b Source #

Instances

Fold [] Source #
Instance details Defined in Generics.RepLib.Lib Methods foldRight :: Rep a => (a -> b -> b) -> [a] -> b -> b Source # foldLeft :: Rep a => (b -> a -> b) -> b -> [a] -> b Source #
Fold Set Source #
Instance details Defined in Generics.RepLib.Lib Methods foldRight :: Rep a => (a -> b -> b) -> Set a -> b -> b Source # foldLeft :: Rep a => (b -> a -> b) -> b -> Set a -> b Source #
Fold (Map k) Source #
Instance details Defined in Generics.RepLib.Lib Methods foldRight :: Rep a => (a -> b -> b) -> Map k a -> b -> b Source # foldLeft :: Rep a => (b -> a -> b) -> b -> Map k a -> b Source #

crush :: (Rep a, Fold t) => (a -> a -> a) -> a -> t a -> a Source #

Fold a bindary operation left over a datastructure

gproduct :: (Rep a, Num a, Fold t) => t a -> a Source #

Multiply all elements together

gand :: Fold t => t Bool -> Bool Source #

Ensure all booleans are true

gor :: Fold t => t Bool -> Bool Source #

Ensure at least one boolean is true

flatten :: (Rep a, Fold t) => t a -> [a] Source #

Convert to list

count :: (Rep a, Fold t) => t a -> Int Source #

Count number of as that appear in the argument

comp :: (Rep a, Fold t) => t (a -> a) -> a -> a Source #

Compose all functions in the datastructure together

gconcat :: (Rep a, Fold t) => t [a] -> [a] Source #

Concatenate all lists in the datastructure together

gall :: (Rep a, Fold t) => (a -> Bool) -> t a -> Bool Source #

Ensure property holds of all data

gany :: (Rep a, Fold t) => (a -> Bool) -> t a -> Bool Source #

Ensure property holds of some element

gelem :: (Rep a, Eq a, Fold t) => a -> t a -> Bool Source #

Is an element stored in a datastructure

Auxiliary types and generators for derivable classes

data GSumD a Source #

Constructors

GSumD
Fields gsumD :: a -> Int

Instances

GSum a => Sat (GSumD a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: GSumD a Source #

data ZeroD a Source #

Constructors

ZD
Fields zeroD :: a

Instances

Zero a => Sat (ZeroD a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: ZeroD a Source #

data GenerateD a Source #

Constructors

GenerateD
Fields generateD :: Int -> [a]

Instances

Generate a => Sat (GenerateD a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: GenerateD a Source #

data EnumerateD a Source #

Constructors

EnumerateD
Fields enumerateD :: [a]

Instances

Enumerate a => Sat (EnumerateD a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: EnumerateD a Source #

data ShrinkD a Source #

Constructors

ShrinkD
Fields shrinkD :: a -> [a]

Instances

Shrink a => Sat (ShrinkD a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: ShrinkD a Source #

data LreduceD b a Source #

Constructors

LreduceD
Fields lreduceD :: b -> a -> b

Instances

Lreduce b a => Sat (LreduceD b a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: LreduceD b a Source #

data RreduceD b a Source #

Constructors

RreduceD
Fields rreduceD :: a -> b -> b

Instances

Rreduce b a => Sat (RreduceD b a) Source #
Instance details Defined in Generics.RepLib.Lib Methods dict :: RreduceD b a Source #

rnfR :: R a -> a -> a Source #

deepSeqR :: R a -> a -> b -> b Source #

gsumR1 :: R1 GSumD a -> a -> Int Source #

zeroR1 :: R1 ZeroD a -> a Source #

generateR1 :: R1 GenerateD a -> Int -> [a] Source #

enumerateR1 :: R1 EnumerateD a -> [a] Source #

lreduceR1 :: R1 (LreduceD b) a -> b -> a -> b Source #

rreduceR1 :: R1 (RreduceD b) a -> a -> b -> b Source #