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

Index

AbsCopilot.Core.Operators, Copilot.Core
accessorNameCopilot.Core.Type, Copilot.Core
AcosCopilot.Core.Operators, Copilot.Core
AcoshCopilot.Core.Operators, Copilot.Core
AddCopilot.Core.Operators, Copilot.Core
AndCopilot.Core.Operators, Copilot.Core
Array 
1 (Type/Class)Copilot.Core.Type.Array, Copilot.Core
2 (Data Constructor)Copilot.Core.Type, Copilot.Core
arrayCopilot.Core.Type.Array, Copilot.Core
arrayElemsCopilot.Core.Type.Array, Copilot.Core
AsinCopilot.Core.Operators, Copilot.Core
AsinhCopilot.Core.Operators, Copilot.Core
AtanCopilot.Core.Operators, Copilot.Core
Atan2Copilot.Core.Operators, Copilot.Core
AtanhCopilot.Core.Operators, Copilot.Core
bitReverse16Copilot.Core
bitReverse32Copilot.Core
bitReverse64Copilot.Core
bitReverse8Copilot.Core
BoolCopilot.Core.Type, Copilot.Core
BwAndCopilot.Core.Operators, Copilot.Core
BwNotCopilot.Core.Operators, Copilot.Core
BwOrCopilot.Core.Operators, Copilot.Core
BwShiftLCopilot.Core.Operators, Copilot.Core
BwShiftRCopilot.Core.Operators, Copilot.Core
BwXorCopilot.Core.Operators, Copilot.Core
byteSwap16Copilot.Core
byteSwap32Copilot.Core
byteSwap64Copilot.Core
CastCopilot.Core.Operators, Copilot.Core
CeilingCopilot.Core.Operators, Copilot.Core
ConstCopilot.Core.Expr, Copilot.Core
CosCopilot.Core.Operators, Copilot.Core
CoshCopilot.Core.Operators, Copilot.Core
DivCopilot.Core.Operators, Copilot.Core
DoubleCopilot.Core.Type, Copilot.Core
DropCopilot.Core.Expr, Copilot.Core
DropIdxCopilot.Core.Expr, Copilot.Core
EqCopilot.Core.Operators, Copilot.Core
ExpCopilot.Core.Operators, Copilot.Core
ExprCopilot.Core.Expr, Copilot.Core
ExternVarCopilot.Core.Expr, Copilot.Core
FdivCopilot.Core.Operators, Copilot.Core
Field 
1 (Type/Class)Copilot.Core.Type, Copilot.Core
2 (Data Constructor)Copilot.Core.Type, Copilot.Core
fieldNameCopilot.Core.Type, Copilot.Core
FloatCopilot.Core.Type, Copilot.Core
FloorCopilot.Core.Operators, Copilot.Core
GeCopilot.Core.Operators, Copilot.Core
GetFieldCopilot.Core.Operators, Copilot.Core
GtCopilot.Core.Operators, Copilot.Core
IdCopilot.Core.Expr, Copilot.Core
IndexCopilot.Core.Operators, Copilot.Core
IntCopilot.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
LabelCopilot.Core.Expr, Copilot.Core
LeCopilot.Core.Operators, Copilot.Core
LocalCopilot.Core.Expr, Copilot.Core
LogCopilot.Core.Operators, Copilot.Core
LogbCopilot.Core.Operators, Copilot.Core
LtCopilot.Core.Operators, Copilot.Core
ModCopilot.Core.Operators, Copilot.Core
MulCopilot.Core.Operators, Copilot.Core
MuxCopilot.Core.Operators, Copilot.Core
NameCopilot.Core.Expr, Copilot.Core
NeCopilot.Core.Operators, Copilot.Core
NotCopilot.Core.Operators, Copilot.Core
Observer 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
observerExprCopilot.Core.Spec, Copilot.Core
observerExprTypeCopilot.Core.Spec, Copilot.Core
observerNameCopilot.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
OrCopilot.Core.Operators, Copilot.Core
PowCopilot.Core.Operators, Copilot.Core
Property 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
propertyExprCopilot.Core.Spec, Copilot.Core
propertyNameCopilot.Core.Spec, Copilot.Core
RecipCopilot.Core.Operators, Copilot.Core
SArrayCopilot.Core.Type, Copilot.Core
SBoolCopilot.Core.Type, Copilot.Core
SDoubleCopilot.Core.Type, Copilot.Core
SFloatCopilot.Core.Type, Copilot.Core
SignCopilot.Core.Operators, Copilot.Core
SimpleTypeCopilot.Core.Type, Copilot.Core
simpleTypeCopilot.Core.Type, Copilot.Core
SinCopilot.Core.Operators, Copilot.Core
SinhCopilot.Core.Operators, Copilot.Core
SInt16Copilot.Core.Type, Copilot.Core
SInt32Copilot.Core.Type, Copilot.Core
SInt64Copilot.Core.Type, Copilot.Core
SInt8Copilot.Core.Type, Copilot.Core
Spec 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
specObserversCopilot.Core.Spec, Copilot.Core
specPropertiesCopilot.Core.Spec, Copilot.Core
specStreamsCopilot.Core.Spec, Copilot.Core
specTriggersCopilot.Core.Spec, Copilot.Core
SqrtCopilot.Core.Operators, Copilot.Core
SStructCopilot.Core.Type, Copilot.Core
Stream 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
streamBufferCopilot.Core.Spec, Copilot.Core
streamExprCopilot.Core.Spec, Copilot.Core
streamExprTypeCopilot.Core.Spec, Copilot.Core
streamIdCopilot.Core.Spec, Copilot.Core
Struct 
1 (Data Constructor)Copilot.Core.Type, Copilot.Core
2 (Type/Class)Copilot.Core.Type, Copilot.Core
SubCopilot.Core.Operators, Copilot.Core
SWord16Copilot.Core.Type, Copilot.Core
SWord32Copilot.Core.Type, Copilot.Core
SWord64Copilot.Core.Type, Copilot.Core
SWord8Copilot.Core.Type, Copilot.Core
TanCopilot.Core.Operators, Copilot.Core
TanhCopilot.Core.Operators, Copilot.Core
toValuesCopilot.Core.Type, Copilot.Core
Trigger 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
triggerArgsCopilot.Core.Spec, Copilot.Core
triggerGuardCopilot.Core.Spec, Copilot.Core
triggerNameCopilot.Core.Spec, Copilot.Core
TypeCopilot.Core.Type, Copilot.Core
TypedCopilot.Core.Type, Copilot.Core
typeLengthCopilot.Core.Type, Copilot.Core
typeNameCopilot.Core.Type, Copilot.Core
typeOfCopilot.Core.Type, Copilot.Core
typeSizeCopilot.Core.Type, Copilot.Core
UExpr 
1 (Type/Class)Copilot.Core.Expr, Copilot.Core
2 (Data Constructor)Copilot.Core.Expr, Copilot.Core
uExprExprCopilot.Core.Expr, Copilot.Core
uExprTypeCopilot.Core.Expr, Copilot.Core
UType 
1 (Type/Class)Copilot.Core.Type, Copilot.Core
2 (Data Constructor)Copilot.Core.Type, Copilot.Core
uTypeTypeCopilot.Core.Type, Copilot.Core
Value 
1 (Type/Class)Copilot.Core.Type, Copilot.Core
2 (Data Constructor)Copilot.Core.Type, Copilot.Core
VarCopilot.Core.Expr, Copilot.Core
WordCopilot.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