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

Index

Abs | Copilot.Core.Operators, Copilot.Core
accessorName | Copilot.Core.Type, 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
Array |
1 (Type/Class) | Copilot.Core.Type.Array, Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
array | Copilot.Core.Type.Array, Copilot.Core
arrayElems | Copilot.Core.Type.Array, Copilot.Core
arrayUpdate | Copilot.Core.Type.Array, Copilot.Core
Asin | Copilot.Core.Operators, Copilot.Core
Asinh | Copilot.Core.Operators, Copilot.Core
Atan | Copilot.Core.Operators, Copilot.Core
Atan2 | Copilot.Core.Operators, Copilot.Core
Atanh | Copilot.Core.Operators, Copilot.Core
bitReverse16 | Copilot.Core
bitReverse32 | Copilot.Core
bitReverse64 | Copilot.Core
bitReverse8 | Copilot.Core
Bool | Copilot.Core.Type, Copilot.Core
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
byteSwap16 | Copilot.Core
byteSwap32 | Copilot.Core
byteSwap64 | Copilot.Core
Cast | Copilot.Core.Operators, Copilot.Core
Ceiling | Copilot.Core.Operators, Copilot.Core
Const | Copilot.Core.Expr, Copilot.Core
Cos | Copilot.Core.Operators, Copilot.Core
Cosh | Copilot.Core.Operators, Copilot.Core
Div | Copilot.Core.Operators, Copilot.Core
Double | Copilot.Core.Type, Copilot.Core
Drop | Copilot.Core.Expr, Copilot.Core
DropIdx | Copilot.Core.Expr, Copilot.Core
Eq | Copilot.Core.Operators, Copilot.Core
Exists | Copilot.Core.Spec, Copilot.Core
Exp | Copilot.Core.Operators, Copilot.Core
Expr | Copilot.Core.Expr, Copilot.Core
ExternVar | Copilot.Core.Expr, Copilot.Core
extractProp | Copilot.Core.Spec, Copilot.Core
Fdiv | Copilot.Core.Operators, Copilot.Core
Field |
1 (Type/Class) | Copilot.Core.Type, Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
fieldName | Copilot.Core.Type, Copilot.Core
Float | Copilot.Core.Type, Copilot.Core
Floor | Copilot.Core.Operators, Copilot.Core
Forall | Copilot.Core.Spec, Copilot.Core
Ge | Copilot.Core.Operators, Copilot.Core
GetField | Copilot.Core.Operators, Copilot.Core
Gt | Copilot.Core.Operators, Copilot.Core
Id | Copilot.Core.Expr, Copilot.Core
Index | Copilot.Core.Operators, Copilot.Core
Int | Copilot.Core
Int16 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Int32 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Int64 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Int8 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Label | Copilot.Core.Expr, Copilot.Core
Le | Copilot.Core.Operators, Copilot.Core
Local | Copilot.Core.Expr, Copilot.Core
Log | Copilot.Core.Operators, Copilot.Core
Logb | Copilot.Core.Operators, Copilot.Core
Lt | Copilot.Core.Operators, Copilot.Core
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
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
Op1 |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core
Op2 |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core
Op3 |
1 (Type/Class) | Copilot.Core.Operators, Copilot.Core
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core
Or | Copilot.Core.Operators, Copilot.Core
Pow | Copilot.Core.Operators, Copilot.Core
Prop | Copilot.Core.Spec, Copilot.Core
Property |
1 (Type/Class) | Copilot.Core.Spec, Copilot.Core
2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core
propertyName | Copilot.Core.Spec, Copilot.Core
propertyProp | Copilot.Core.Spec, Copilot.Core
Recip | Copilot.Core.Operators, Copilot.Core
SArray | Copilot.Core.Type, Copilot.Core
SBool | Copilot.Core.Type, Copilot.Core
SDouble | Copilot.Core.Type, Copilot.Core
SFloat | Copilot.Core.Type, Copilot.Core
Sign | Copilot.Core.Operators, Copilot.Core
SimpleType | Copilot.Core.Type, Copilot.Core
simpleType | Copilot.Core.Type, Copilot.Core
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
specProperties | Copilot.Core.Spec, Copilot.Core
specStreams | Copilot.Core.Spec, Copilot.Core
specTriggers | Copilot.Core.Spec, Copilot.Core
Sqrt | Copilot.Core.Operators, Copilot.Core
SStruct | Copilot.Core.Type, 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
Struct |
1 (Data Constructor) | Copilot.Core.Type, Copilot.Core
2 (Type/Class) | Copilot.Core.Type, 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
Tan | Copilot.Core.Operators, Copilot.Core
Tanh | Copilot.Core.Operators, Copilot.Core
toValues | Copilot.Core.Type, Copilot.Core
toValuesDefault | Copilot.Core.Type, Copilot.Core
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
typeLength | Copilot.Core.Type, Copilot.Core
typeName | Copilot.Core.Type, Copilot.Core
typeNameDefault | Copilot.Core.Type, Copilot.Core
typeOf | Copilot.Core.Type, Copilot.Core
typeOfDefault | Copilot.Core.Type, Copilot.Core
typeSize | Copilot.Core.Type, Copilot.Core
UExpr |
1 (Type/Class) | Copilot.Core.Expr, Copilot.Core
2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core
UpdateArray | Copilot.Core.Operators, Copilot.Core
UpdateField | Copilot.Core.Operators, Copilot.Core
updateField | Copilot.Core.Type, Copilot.Core
updateFieldDefault | Copilot.Core.Type, Copilot.Core
UType |
1 (Type/Class) | Copilot.Core.Type, Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Value |
1 (Type/Class) | Copilot.Core.Type, Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Var | Copilot.Core.Expr, Copilot.Core
Word | Copilot.Core
Word16 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Word32 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Word64 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core
Word8 |
1 (Type/Class) | Copilot.Core
2 (Data Constructor) | Copilot.Core.Type, Copilot.Core