copilot-core-2.1.1: An intermediate representation for Copilot.

Safe Haskell	Safe

Copilot.Core.Random.Weights

Documentation

type Depth = Int Source

data Weights Source

Constructors

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 Source