Safe Haskell | None |
---|---|
Language | Haskell98 |
- class Generate a where
- class GenerateG a where
- genG :: FrequencyTable -> Int -> Maybe (Gen a)
- genGdefault :: (Representable a, Generate (Rep a)) => FrequencyTable -> Int -> Maybe (Gen a)
- arbitrary :: (Representable a, Generate (Rep a)) => Gen a
- data Gen a :: * -> *
- type FrequencyTable = [(String, Int)]
- frequencies :: [String] -> FrequencyTable -> Int
- frequency :: [(Int, Gen a)] -> Gen a
Documentation
class GenerateG a where Source
GenerateG a => GenerateG [a] | |
GenerateG a => GenerateG (Maybe a) | |
(GenerateG (SD MajMode IV MajClass), GenerateG (SD MajMode III MinClass)) => GenerateG (SDom MajMode) | |
GenerateG (SD MinMode IV MinClass) => GenerateG (SDom MinMode) | |
GenerateG (SD MajMode VII DimClass) => GenerateG (Dom MajMode) | |
GenerateG (SD MinMode VII DimClass) => GenerateG (Dom MinMode) | |
GenerateG (SD MajMode I MajClass) => GenerateG (Ton MajMode) | |
GenerateG (SD MinMode I MinClass) => GenerateG (Ton MinMode) | |
(GenerateG (Ton mode0), GenerateG (SDom mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0)) => GenerateG (Phrase mode) | |
(GenerateG a, GenerateG b) => GenerateG (a, b) | |
(ToDegree deg, ToClass clss) => GenerateG (Surface_Chord deg clss) |
genGdefault :: (Representable a, Generate (Rep a)) => FrequencyTable -> Int -> Maybe (Gen a) Source
Generic arbitrary function, sized and with custom constructor frequencies. This function does not require any particular nesting order of the sums of the generic representation.
arbitrary :: (Representable a, Generate (Rep a)) => Gen a Source
Generic arbitrary function with default sizes and constructor frequencies.
type FrequencyTable = [(String, Int)] Source
A frequency table detailing how often certain constructors should be
picked. The String
corresponds to the constructor name.
frequencies :: [String] -> FrequencyTable -> Int Source