HarmTrace.Models.Generator

Documentation

class Generate a where

Methods

gen' :: FrequencyTable -> Int -> Int -> Maybe (Gen a)

Instances

Generate U

GenerateG a => Generate (Var a)

GenerateG a => Generate (Rec a)

(Generate a, ConNames a, Generate b, ConNames b) => Generate ((:+:) a b)

(Generate a, Generate b) => Generate ((:*:) a b)

Generate (CEq k k c p q a)

Generate a => Generate (CEq k k c p p a)

class GenerateG a where

Methods

genG :: FrequencyTable -> Int -> Maybe (Gen a)

Instances

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)

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

Generic arbitrary function with default sizes and constructor frequencies.

data Gen a :: * -> *

Instances

Monad Gen

Functor Gen

Applicative Gen

type FrequencyTable = [(String, Int)]

A frequency table detailing how often certain constructors should be picked. The String corresponds to the constructor name.

frequencies :: [String] -> FrequencyTable -> Int

frequency :: [(Int, Gen a)] -> Gen a

Chooses one of the given generators, with a weighted random distribution. The input list must be non-empty.