=~= | Copilot.Core.Type.Equality |
Abs | Copilot.Core.Operators, Copilot.Core |
Acos | Copilot.Core.Operators, Copilot.Core |
Acosh | Copilot.Core.Operators, Copilot.Core |
Add | Copilot.Core.Operators, Copilot.Core |
And | Copilot.Core.Operators, Copilot.Core |
Asin | Copilot.Core.Operators, Copilot.Core |
Asinh | Copilot.Core.Operators, Copilot.Core |
Atan | Copilot.Core.Operators, Copilot.Core |
Atanh | Copilot.Core.Operators, Copilot.Core |
badUsage | Copilot.Core.Error, Copilot.Core |
Bool | Copilot.Core.Type, Copilot.Core |
boolFreq | Copilot.Core.Random.Weights |
BwAnd | Copilot.Core.Operators, Copilot.Core |
BwNot | Copilot.Core.Operators, Copilot.Core |
BwOr | Copilot.Core.Operators, Copilot.Core |
BwShiftL | Copilot.Core.Operators, Copilot.Core |
BwShiftR | Copilot.Core.Operators, Copilot.Core |
BwXor | Copilot.Core.Operators, Copilot.Core |
C | Copilot.Core.Type.Show |
c99HeaderName | Copilot.Compile.Header.C99 |
Cast | Copilot.Core.Operators, Copilot.Core |
choose | Copilot.Core.Random.Gen |
coerce | Copilot.Core.Type.Equality |
cong | Copilot.Core.Type.Equality |
Const | Copilot.Core.Expr, Copilot.Core |
constFreq | Copilot.Core.Random.Weights |
Cos | Copilot.Core.Operators, Copilot.Core |
Cosh | Copilot.Core.Operators, Copilot.Core |
CSV | Copilot.Core.Interpret |
Depth | Copilot.Core.Random.Weights |
depth | Copilot.Core.Random.Gen |
Div | Copilot.Core.Operators, Copilot.Core |
divModFreq | Copilot.Core.Random.Weights |
Double | Copilot.Core.Type, Copilot.Core |
doubleFreq | Copilot.Core.Random.Weights |
Drop | Copilot.Core.Expr, Copilot.Core |
drop0Freq | Copilot.Core.Random.Weights |
dropFreq | Copilot.Core.Random.Weights |
DropIdx | Copilot.Core.Expr, Copilot.Core |
Dynamic | Copilot.Core.Type.Dynamic |
DynamicF | |
1 (Type/Class) | Copilot.Core.Type.Dynamic |
2 (Data Constructor) | Copilot.Core.Type.Dynamic |
elements | Copilot.Core.Random.Gen |
Env | Copilot.Core.Interpret.Eval |
Eq | Copilot.Core.Operators, Copilot.Core |
Equal | Copilot.Core.Type.Equality |
EqualType | Copilot.Core.Type.Equality |
EqWit | |
1 (Type/Class) | Copilot.Core.Type.Eq |
2 (Data Constructor) | Copilot.Core.Type.Eq |
eqWit | Copilot.Core.Type.Eq |
eval | Copilot.Core.Interpret.Eval |
ExecTrace | |
1 (Type/Class) | Copilot.Core.Interpret.Eval |
2 (Data Constructor) | Copilot.Core.Interpret.Eval |
Exp | Copilot.Core.Operators, Copilot.Core |
Expr | Copilot.Core.Expr, Copilot.Core |
ExtArray | |
1 (Type/Class) | Copilot.Core.External, Copilot.Core |
2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
ExternArray | Copilot.Core.Expr, Copilot.Core |
externArrayElemType | Copilot.Core.External, Copilot.Core |
externArrayIdx | Copilot.Core.External, Copilot.Core |
externArrayIdxType | Copilot.Core.External, Copilot.Core |
externArrayName | Copilot.Core.External, Copilot.Core |
externArrays | Copilot.Core.External, Copilot.Core |
externArraySize | Copilot.Core.External, Copilot.Core |
externArrayTag | Copilot.Core.External, Copilot.Core |
externFreq | Copilot.Core.Random.Weights |
ExternFun | Copilot.Core.Expr, Copilot.Core |
externFunArgs | Copilot.Core.External, Copilot.Core |
externFunName | Copilot.Core.External, Copilot.Core |
externFuns | Copilot.Core.External, Copilot.Core |
externFunTag | Copilot.Core.External, Copilot.Core |
externFunType | Copilot.Core.External, Copilot.Core |
ExternVar | Copilot.Core.Expr, Copilot.Core |
externVarName | Copilot.Core.External, Copilot.Core |
externVars | Copilot.Core.External, Copilot.Core |
externVarType | Copilot.Core.External, Copilot.Core |
ExtFun | |
1 (Type/Class) | Copilot.Core.External, Copilot.Core |
2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
ExtVar | |
1 (Type/Class) | Copilot.Core.External, Copilot.Core |
2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
extVarFreq | Copilot.Core.Random.Weights |
Fdiv | Copilot.Core.Operators, Copilot.Core |
Float | Copilot.Core.Type, Copilot.Core |
floatFreq | Copilot.Core.Random.Weights |
Format | Copilot.Core.Interpret |
freq | Copilot.Core.Random.Gen |
fromDyn | Copilot.Core.Type.Dynamic |
fromDynF | Copilot.Core.Type.Dynamic |
Ge | Copilot.Core.Operators, Copilot.Core |
Gen | Copilot.Core.Random.Gen |
genC99Header | Copilot.Compile.Header.C99 |
Gt | Copilot.Core.Operators, Copilot.Core |
Haskell | Copilot.Core.Type.Show |
Id | Copilot.Core.Expr, Copilot.Core |
impossible | Copilot.Core.Error, Copilot.Core |
incDepth | Copilot.Core.Random.Gen |
Int | Copilot.Core |
Int16 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
int16Freq | Copilot.Core.Random.Weights |
Int32 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
int32Freq | Copilot.Core.Random.Weights |
Int64 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
int64Freq | Copilot.Core.Random.Weights |
Int8 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
int8Freq | Copilot.Core.Random.Weights |
interpObservers | Copilot.Core.Interpret.Eval |
interpret | Copilot.Core.Interpret |
interpTriggers | Copilot.Core.Interpret.Eval |
Le | Copilot.Core.Operators, Copilot.Core |
Loc | |
1 (Type/Class) | Copilot.Core.Locals |
2 (Data Constructor) | Copilot.Core.Locals |
Local | Copilot.Core.Expr, Copilot.Core |
localName | Copilot.Core.Locals |
locals | Copilot.Core.Locals |
localType | Copilot.Core.Locals |
Log | Copilot.Core.Operators, Copilot.Core |
Logb | Copilot.Core.Operators, Copilot.Core |
Lt | Copilot.Core.Operators, Copilot.Core |
makeTags | Copilot.Core.MakeTags, Copilot.Core |
maxBuffSize | Copilot.Core.Random.Weights |
maxExprDepth | Copilot.Core.Random.Weights |
maxExtVars | Copilot.Core.Random.Weights |
maxObservers | Copilot.Core.Random.Weights |
maxTrigArgs | Copilot.Core.Random.Weights |
maxTriggers | Copilot.Core.Random.Weights |
Mod | Copilot.Core.Operators, Copilot.Core |
Mul | Copilot.Core.Operators, Copilot.Core |
Mux | Copilot.Core.Operators, Copilot.Core |
Name | Copilot.Core.Expr, Copilot.Core |
Ne | Copilot.Core.Operators, Copilot.Core |
Not | Copilot.Core.Operators, Copilot.Core |
numStreams | Copilot.Core.Random.Weights |
Observer | |
1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
observerExpr | Copilot.Core.Spec, Copilot.Core |
observerExprType | Copilot.Core.Spec, Copilot.Core |
observerName | Copilot.Core.Spec, Copilot.Core |
oneOf | Copilot.Core.Random.Gen |
Op1 | |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
op1Freq | Copilot.Core.Random.Weights |
Op2 | |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
op2Freq | Copilot.Core.Random.Weights |
Op3 | |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
op3Freq | Copilot.Core.Random.Weights |
Or | Copilot.Core.Operators, Copilot.Core |
Output | Copilot.Core.Interpret.Eval |
Pow | Copilot.Core.Operators, Copilot.Core |
prettyPrint | Copilot.Core.PrettyPrint |
randomFromType | Copilot.Core.Random.Gen |
randomReplicate | Copilot.Core.Random.Gen |
randomSpec | Copilot.Core.Random |
ReadWit | |
1 (Type/Class) | Copilot.Core.Type.Read |
2 (Data Constructor) | Copilot.Core.Type.Read |
readWit | Copilot.Core.Type.Read |
readWithType | Copilot.Core.Type.Read |
Recip | Copilot.Core.Operators, Copilot.Core |
Refl | Copilot.Core.Type.Equality |
refl | Copilot.Core.Type.Equality |
renderAsCSV | Copilot.Core.Interpret.Render |
renderAsTable | Copilot.Core.Interpret.Render |
runGen | Copilot.Core.Random.Gen |
SBool | Copilot.Core.Type, Copilot.Core |
SDouble | Copilot.Core.Type, Copilot.Core |
SFloat | Copilot.Core.Type, Copilot.Core |
ShowType | Copilot.Core.Type.Show |
showType | Copilot.Core.Type.Show |
ShowWit | |
1 (Type/Class) | Copilot.Core.Type.Show |
2 (Data Constructor) | Copilot.Core.Type.Show |
showWit | Copilot.Core.Type.Show |
showWithType | Copilot.Core.Type.Show |
Sign | Copilot.Core.Operators, Copilot.Core |
SimpleType | Copilot.Core.Type, Copilot.Core |
simpleType | Copilot.Core.Type, Copilot.Core |
simpleWeights | Copilot.Core.Random.Weights |
Sin | Copilot.Core.Operators, Copilot.Core |
Sinh | Copilot.Core.Operators, Copilot.Core |
SInt16 | Copilot.Core.Type, Copilot.Core |
SInt32 | Copilot.Core.Type, Copilot.Core |
SInt64 | Copilot.Core.Type, Copilot.Core |
SInt8 | Copilot.Core.Type, Copilot.Core |
Spec | |
1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
specObservers | Copilot.Core.Spec, Copilot.Core |
specStreams | Copilot.Core.Spec, Copilot.Core |
specTriggers | Copilot.Core.Spec, Copilot.Core |
Sqrt | Copilot.Core.Operators, Copilot.Core |
Stream | |
1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
streamBuffer | Copilot.Core.Spec, Copilot.Core |
streamExpr | Copilot.Core.Spec, Copilot.Core |
streamExprType | Copilot.Core.Spec, Copilot.Core |
streamId | Copilot.Core.Spec, Copilot.Core |
Sub | Copilot.Core.Operators, Copilot.Core |
SWord16 | Copilot.Core.Type, Copilot.Core |
SWord32 | Copilot.Core.Type, Copilot.Core |
SWord64 | Copilot.Core.Type, Copilot.Core |
SWord8 | Copilot.Core.Type, Copilot.Core |
symm | Copilot.Core.Type.Equality |
Table | Copilot.Core.Interpret |
Tag | Copilot.Core.Expr, Copilot.Core |
Tan | Copilot.Core.Operators, Copilot.Core |
Tanh | Copilot.Core.Operators, Copilot.Core |
toDyn | Copilot.Core.Type.Dynamic |
toDynF | Copilot.Core.Type.Dynamic |
trans | Copilot.Core.Type.Equality |
Trigger | |
1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
triggerArgs | Copilot.Core.Spec, Copilot.Core |
triggerGuard | Copilot.Core.Spec, Copilot.Core |
triggerName | Copilot.Core.Spec, Copilot.Core |
Type | Copilot.Core.Type, Copilot.Core |
Typed | Copilot.Core.Type, Copilot.Core |
typeOf | Copilot.Core.Type, Copilot.Core |
UExpr | |
1 (Type/Class) | Copilot.Core.Expr, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
uExprExpr | Copilot.Core.Expr, Copilot.Core |
uExprType | Copilot.Core.Expr, Copilot.Core |
uninitialized | Copilot.Core.Type.Uninitialized, Copilot.Core |
UType | |
1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
uType | Copilot.Core.Type.Eq |
uTypeType | Copilot.Core.Type, Copilot.Core |
UVal | |
1 (Type/Class) | Copilot.Core.Type.Eq |
2 (Data Constructor) | Copilot.Core.Type.Eq |
uVal | Copilot.Core.Type.Eq |
Var | Copilot.Core.Expr, Copilot.Core |
Weights | |
1 (Type/Class) | Copilot.Core.Random.Weights |
2 (Data Constructor) | Copilot.Core.Random.Weights |
weights | Copilot.Core.Random.Gen |
Word | Copilot.Core |
Word16 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
word16Freq | Copilot.Core.Random.Weights |
Word32 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
word32Freq | Copilot.Core.Random.Weights |
Word64 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
word64Freq | Copilot.Core.Random.Weights |
Word8 | |
1 (Type/Class) | Copilot.Core |
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
word8Freq | Copilot.Core.Random.Weights |