Copilot.Core.Random.Weights

Documentation

type Depth = Int

data Weights

Constructors

Weights

Fields

• maxExprDepth :: Int
• maxBuffSize :: Int
• maxTriggers :: Int
• maxTrigArgs :: Int
• maxExtVars :: Int
• maxObservers :: Int
• numStreams :: Int
• constFreq :: Int
• extVarFreq :: Int
• drop0Freq :: Int
• dropFreq :: Int
• externFreq :: Int
• op1Freq :: Int
• op2Freq :: Int
• op3Freq :: Int
• boolFreq :: Int
• int8Freq :: Int
• int16Freq :: Int
• int32Freq :: Int
• int64Freq :: Int
• word8Freq :: Int
• word16Freq :: Int
• word32Freq :: Int
• word64Freq :: Int
• floatFreq :: Int
• doubleFreq :: Int
• divModFreq :: Bool

simpleWeights :: Weights