Index
| =~= | Copilot.Core.Type.Equality |
| 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 |
| 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 |
| 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 |
| C | Copilot.Core.Type.Show |
| Cast | Copilot.Core.Operators, Copilot.Core |
| coerce | Copilot.Core.Type.Equality |
| cong | Copilot.Core.Type.Equality |
| Const | Copilot.Core.Expr, Copilot.Core |
| Cos | Copilot.Core.Operators, Copilot.Core |
| Cosh | Copilot.Core.Operators, Copilot.Core |
| CSV | Copilot.Core.Interpret |
| Div | Copilot.Core.Operators, Copilot.Core |
| Double | Copilot.Core.Type, Copilot.Core |
| Drop | Copilot.Core.Expr, Copilot.Core |
| DropIdx | Copilot.Core.Expr, Copilot.Core |
| Dynamic | |
| 1 (Type/Class) | Copilot.Core.Type.Dynamic |
| 2 (Data Constructor) | Copilot.Core.Type.Dynamic |
| DynamicF | |
| 1 (Type/Class) | Copilot.Core.Type.Dynamic |
| 2 (Data Constructor) | Copilot.Core.Type.Dynamic |
| 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 |
| ExternVar | Copilot.Core.Expr, Copilot.Core |
| externVarName | Copilot.Core.External, Copilot.Core |
| externVars | Copilot.Core.External, Copilot.Core |
| externVarType | Copilot.Core.External, Copilot.Core |
| ExtVar | |
| 1 (Type/Class) | Copilot.Core.External, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.External, 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 |
| Flatten | Copilot.Core.Type.Array, Copilot.Core |
| flatten | Copilot.Core.Type.Array, Copilot.Core |
| Float | Copilot.Core.Type, Copilot.Core |
| Format | Copilot.Core.Interpret |
| fromDyn | Copilot.Core.Type.Dynamic |
| fromDynF | Copilot.Core.Type.Dynamic |
| Ge | Copilot.Core.Operators, Copilot.Core |
| GetField | Copilot.Core.Operators, Copilot.Core |
| Gt | Copilot.Core.Operators, Copilot.Core |
| Haskell | Copilot.Core.Type.Show |
| Id | Copilot.Core.Expr, Copilot.Core |
| impossible | Copilot.Core.Error, Copilot.Core |
| Index | Copilot.Core.Operators, Copilot.Core |
| InnerType | Copilot.Core.Type.Array, 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 |
| interpObservers | Copilot.Core.Interpret.Eval |
| interpret | Copilot.Core.Interpret |
| interpTriggers | Copilot.Core.Interpret.Eval |
| Label | Copilot.Core.Expr, Copilot.Core |
| 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 |
| 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 |
| Output | Copilot.Core.Interpret.Eval |
| Pow | Copilot.Core.Operators, Copilot.Core |
| ppExpr | Copilot.Core.PrettyPrint |
| prettyPrint | Copilot.Core.PrettyPrint |
| prettyPrintDot | Copilot.Core.PrettyDot |
| prettyPrintExprDot | Copilot.Core.PrettyDot |
| Property | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| propertyExpr | Copilot.Core.Spec, Copilot.Core |
| propertyName | Copilot.Core.Spec, Copilot.Core |
| 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 |
| SArray | Copilot.Core.Type, Copilot.Core |
| 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 |
| 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 |
| size | Copilot.Core.Type.Array, 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 |
| 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 |
| toValues | Copilot.Core.Type, Copilot.Core |
| 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 |
| tylength | Copilot.Core.Type, Copilot.Core |
| Type | Copilot.Core.Type, Copilot.Core |
| Typed | Copilot.Core.Type, Copilot.Core |
| typename | Copilot.Core.Type, Copilot.Core |
| typeOf | Copilot.Core.Type, Copilot.Core |
| tysize | 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 |
| 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 |