Data.RepLib.Lib

Contents

• Available for all representable types
• Derivable classes
• Generic operations based on Fold
• Types and generators for derivable classes

Description

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
  • gsum :: a -> Int
• class Rep1 ZeroD a => Zero a where
  • zero :: a
• class Rep1 GenerateD a => Generate a where
  • generate :: Int -> [a]
• class Rep1 EnumerateD a => Enumerate a where
  • enumerate :: [a]
• class Rep1 ShrinkD a => Shrink a where
  • shrink :: a -> [a]
• class Rep1 (LreduceD b) a => Lreduce b a where
  • lreduce :: b -> a -> b
• class Rep1 (RreduceD b) a => Rreduce b a where
  • rreduce :: a -> b -> b
• class Fold f where
  • foldRight :: Rep a => (a -> b -> b) -> f a -> b -> b
  • foldLeft :: Rep a => (b -> a -> b) -> b -> f a -> b
• 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

Derivable classes

Generic operations based on Fold

Types and generators for derivable classes