Index
| # | Copilot.Language.Operators.Struct, Copilot.Language, Copilot |
| $ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| $! | Copilot.Language.Prelude, Copilot.Language, Copilot |
| && | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| * | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ** | Copilot.Language.Prelude, Copilot.Language, Copilot |
| *> | Copilot.Language.Prelude, Copilot.Language, Copilot |
| + | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ++ | Copilot.Language.Operators.Temporal, Copilot.Language, Copilot |
| - | Copilot.Language.Prelude, Copilot.Language, Copilot |
| . | Copilot.Language.Prelude, Copilot.Language, Copilot |
| .!! | Copilot.Language.Operators.Array, Copilot.Language, Copilot |
| .&. | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| .<<. | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| .>>. | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| .^. | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| .|. | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| / | Copilot.Language.Prelude, Copilot.Language, Copilot |
| /= | Copilot.Language.Operators.Eq, Copilot.Language, Copilot |
| < | Copilot.Language.Operators.Ord, Copilot.Language, Copilot |
| <$ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| <$> | Copilot.Language.Prelude, Copilot.Language, Copilot |
| <* | Copilot.Language.Prelude, Copilot.Language, Copilot |
| <*> | Copilot.Language.Prelude, Copilot.Language, Copilot |
| <= | Copilot.Language.Operators.Ord, Copilot.Language, Copilot |
| <> | Copilot.Language.Prelude, Copilot.Language, Copilot |
| =<< | Copilot.Language.Prelude, Copilot.Language, Copilot |
| == | Copilot.Language.Operators.Eq, Copilot.Language, Copilot |
| ==> | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| > | Copilot.Language.Operators.Ord, Copilot.Language, Copilot |
| >= | Copilot.Language.Operators.Ord, Copilot.Language, Copilot |
| >> | Copilot.Language.Prelude, Copilot.Language, Copilot |
| >>= | Copilot.Language.Prelude, Copilot.Language, Copilot |
| abs | Copilot.Language.Prelude, Copilot.Language, Copilot |
| accessorname | Copilot.Language, Copilot |
| acos | Copilot.Language.Prelude, Copilot.Language, Copilot |
| acosh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| all | Copilot.Language.Prelude, Copilot.Language, Copilot |
| and | Copilot.Language.Prelude, Copilot.Language, Copilot |
| any | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Append | Copilot.Language.Stream |
| appendFile | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Applicative | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Arg | |
| 1 (Type/Class) | Copilot.Language.Stream |
| 2 (Data Constructor) | Copilot.Language.Stream |
| arg | Copilot.Language.Spec, Copilot.Language, Copilot |
| arg' | Copilot.Language.Stream |
| Array | |
| 1 (Data Constructor) | Copilot.Language, Copilot |
| 2 (Type/Class) | Copilot.Language, Copilot |
| array | Copilot.Language, Copilot |
| arrayelems | Copilot.Language, Copilot |
| asin | Copilot.Language.Prelude, Copilot.Language, Copilot |
| asinh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| asTypeOf | Copilot.Language.Prelude, Copilot.Language, Copilot |
| atan | Copilot.Language.Prelude, Copilot.Language, Copilot |
| atan2 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| atanh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| badUsage | Copilot.Language, Copilot |
| bitReverse16 | Copilot.Language, Copilot |
| bitReverse32 | Copilot.Language, Copilot |
| bitReverse64 | Copilot.Language, Copilot |
| bitReverse8 | Copilot.Language, Copilot |
| Bits | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| Bool | |
| 1 (Type/Class) | Copilot.Language.Prelude, Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Bounded | Copilot.Language.Prelude, Copilot.Language, Copilot |
| break | Copilot.Language.Prelude, Copilot.Language, Copilot |
| byteSwap16 | Copilot.Language, Copilot |
| byteSwap32 | Copilot.Language, Copilot |
| byteSwap64 | Copilot.Language, Copilot |
| Cast | Copilot.Language.Operators.Cast, Copilot.Language, Copilot |
| cast | Copilot.Language.Operators.Cast, Copilot.Language, Copilot |
| ceiling | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Char | Copilot.Language.Prelude, Copilot.Language, Copilot |
| compare | Copilot.Language.Prelude, Copilot.Language, Copilot |
| complement | Copilot.Language.Operators.BitWise, Copilot.Language, Copilot |
| concat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| concatMap | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Const | Copilot.Language.Stream |
| constant | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constB | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constD | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constF | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constI16 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constI32 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constI64 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constI8 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constW16 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constW32 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constW64 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| constW8 | Copilot.Language.Operators.Constant, Copilot.Language, Copilot |
| cos | Copilot.Language.Prelude, Copilot.Language, Copilot |
| cosh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| csv | Copilot.Language, Copilot |
| curry | Copilot.Language.Prelude, Copilot.Language, Copilot |
| decodeFloat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| div | Copilot.Language.Operators.Integral, Copilot.Language, Copilot |
| divMod | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Double | |
| 1 (Type/Class) | Copilot.Language.Prelude, Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Drop | Copilot.Language.Stream |
| drop | Copilot.Language.Operators.Temporal, Copilot.Language, Copilot |
| dropWhile | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Either | Copilot.Language.Prelude, Copilot.Language, Copilot |
| either | Copilot.Language.Prelude, Copilot.Language, Copilot |
| elem | Copilot.Language.Prelude, Copilot.Language, Copilot |
| encodeFloat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Enum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| enumFrom | Copilot.Language.Prelude, Copilot.Language, Copilot |
| enumFromThen | Copilot.Language.Prelude, Copilot.Language, Copilot |
| enumFromThenTo | Copilot.Language.Prelude, Copilot.Language, Copilot |
| enumFromTo | Copilot.Language.Prelude, Copilot.Language, Copilot |
| EQ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Eq | Copilot.Language.Prelude, Copilot.Language, Copilot |
| error | Copilot.Language.Prelude, Copilot.Language, Copilot |
| errorWithoutStackTrace | Copilot.Language.Prelude, Copilot.Language, Copilot |
| even | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Existential | Copilot.Language.Spec |
| Exists | Copilot.Language.Spec |
| exists | Copilot.Language.Spec, Copilot.Language, Copilot |
| exp | Copilot.Language.Prelude, Copilot.Language, Copilot |
| exponent | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Extern | Copilot.Language.Stream |
| extern | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externB | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externD | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externI16 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externI32 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externI64 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externI8 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externW16 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externW32 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externW64 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| externW8 | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| extractProp | Copilot.Language.Spec |
| fail | Copilot.Language.Prelude, Copilot.Language, Copilot |
| False | Copilot.Language.Prelude, Copilot.Language, Copilot |
| false | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| Field | |
| 1 (Data Constructor) | Copilot.Language, Copilot |
| 2 (Type/Class) | Copilot.Language, Copilot |
| fieldname | Copilot.Language, Copilot |
| FilePath | Copilot.Language.Prelude, Copilot.Language, Copilot |
| filter | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Flatten | Copilot.Language, Copilot |
| flatten | Copilot.Language, Copilot |
| flip | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Float | |
| 1 (Type/Class) | Copilot.Language.Prelude, Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| floatDigits | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Floating | Copilot.Language.Prelude, Copilot.Language, Copilot |
| floatRadix | Copilot.Language.Prelude, Copilot.Language, Copilot |
| floatRange | Copilot.Language.Prelude, Copilot.Language, Copilot |
| floor | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fmap | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Foldable | Copilot.Language.Prelude, Copilot.Language, Copilot |
| foldl | Copilot.Language.Prelude, Copilot.Language, Copilot |
| foldl1 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| foldMap | Copilot.Language.Prelude, Copilot.Language, Copilot |
| foldr | Copilot.Language.Prelude, Copilot.Language, Copilot |
| foldr1 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Forall | Copilot.Language.Spec |
| forall | Copilot.Language.Spec, Copilot.Language, Copilot |
| Fractional | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fromEnum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fromInteger | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fromIntegral | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fromRational | Copilot.Language.Prelude, Copilot.Language, Copilot |
| fst | Copilot.Language.Prelude, Copilot.Language, Copilot |
| funArg | Copilot.Language.Operators.Extern, Copilot.Language, Copilot |
| Functor | Copilot.Language.Prelude, Copilot.Language, Copilot |
| gcd | Copilot.Language.Prelude, Copilot.Language, Copilot |
| getChar | Copilot.Language.Prelude, Copilot.Language, Copilot |
| getContents | Copilot.Language.Prelude, Copilot.Language, Copilot |
| getLine | Copilot.Language.Prelude, Copilot.Language, Copilot |
| GT | Copilot.Language.Prelude, Copilot.Language, Copilot |
| head | Copilot.Language.Prelude, Copilot.Language, Copilot |
| id | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ifThenElse | Copilot.Language.Operators.Mux, Copilot.Language, Copilot |
| impossible | Copilot.Language, Copilot |
| init | Copilot.Language.Prelude, Copilot.Language, Copilot |
| InnerType | Copilot.Language, Copilot |
| Int | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Int16 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Int32 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Int64 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Int8 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Integer | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Integral | Copilot.Language.Prelude, Copilot.Language, Copilot |
| interact | Copilot.Language.Prelude, Copilot.Language, Copilot |
| interpret | Copilot.Language, Copilot |
| IO | Copilot.Language.Prelude, Copilot.Language, Copilot |
| IOError | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ioError | Copilot.Language.Prelude, Copilot.Language, Copilot |
| isDenormalized | Copilot.Language.Prelude, Copilot.Language, Copilot |
| isIEEE | Copilot.Language.Prelude, Copilot.Language, Copilot |
| isInfinite | Copilot.Language.Prelude, Copilot.Language, Copilot |
| isNaN | Copilot.Language.Prelude, Copilot.Language, Copilot |
| isNegativeZero | Copilot.Language.Prelude, Copilot.Language, Copilot |
| iterate | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Just | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Label | Copilot.Language.Stream |
| label | Copilot.Language.Operators.Label, Copilot.Language, Copilot |
| last | Copilot.Language.Prelude, Copilot.Language, Copilot |
| lcm | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Left | Copilot.Language.Prelude, Copilot.Language, Copilot |
| length | Copilot.Language.Prelude, Copilot.Language, Copilot |
| lex | Copilot.Language.Prelude, Copilot.Language, Copilot |
| lines | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Local | Copilot.Language.Stream |
| local | Copilot.Language.Operators.Local, Copilot.Language, Copilot |
| log | Copilot.Language.Prelude, Copilot.Language, Copilot |
| logBase | Copilot.Language.Prelude, Copilot.Language, Copilot |
| lookup | Copilot.Language.Prelude, Copilot.Language, Copilot |
| LT | Copilot.Language.Prelude, Copilot.Language, Copilot |
| map | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mapM | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mapM_ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mappend | Copilot.Language.Prelude, Copilot.Language, Copilot |
| maxBound | Copilot.Language.Prelude, Copilot.Language, Copilot |
| maximum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Maybe | Copilot.Language.Prelude, Copilot.Language, Copilot |
| maybe | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mconcat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mempty | Copilot.Language.Prelude, Copilot.Language, Copilot |
| minBound | Copilot.Language.Prelude, Copilot.Language, Copilot |
| minimum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mod | Copilot.Language.Operators.Integral, Copilot.Language, Copilot |
| Monad | Copilot.Language.Prelude, Copilot.Language, Copilot |
| MonadFail | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Monoid | Copilot.Language.Prelude, Copilot.Language, Copilot |
| mux | Copilot.Language.Operators.Mux, Copilot.Language, Copilot |
| Name | Copilot.Language, Copilot |
| name_ | Copilot.Language.Stream |
| negate | Copilot.Language.Prelude, Copilot.Language, Copilot |
| not | |
| 1 (Function) | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| 2 (Function) | Copilot.Language.Operators.Propositional |
| notElem | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Nothing | Copilot.Language.Prelude, Copilot.Language, Copilot |
| null | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Num | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Observer | |
| 1 (Type/Class) | Copilot.Language.Spec |
| 2 (Data Constructor) | Copilot.Language.Spec |
| observer | Copilot.Language.Spec, Copilot.Language, Copilot |
| observers | Copilot.Language.Spec |
| odd | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Op1 | Copilot.Language.Stream |
| Op2 | Copilot.Language.Stream |
| Op3 | Copilot.Language.Stream |
| or | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Ord | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Ordering | Copilot.Language.Prelude, Copilot.Language, Copilot |
| otherwise | Copilot.Language.Prelude, Copilot.Language, Copilot |
| pi | Copilot.Language.Prelude, Copilot.Language, Copilot |
| pred | Copilot.Language.Prelude, Copilot.Language, Copilot |
| prettyPrint | Copilot.Language, Copilot |
| Copilot.Language.Prelude, Copilot.Language, Copilot | |
| product | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Prop | Copilot.Language.Spec |
| prop | Copilot.Language.Spec, Copilot.Language, Copilot |
| properFraction | Copilot.Language.Prelude, Copilot.Language, Copilot |
| properties | Copilot.Language.Spec |
| Property | |
| 1 (Type/Class) | Copilot.Language.Spec |
| 2 (Data Constructor) | Copilot.Language.Spec |
| pure | Copilot.Language.Prelude, Copilot.Language, Copilot |
| putChar | Copilot.Language.Prelude, Copilot.Language, Copilot |
| putStr | Copilot.Language.Prelude, Copilot.Language, Copilot |
| putStrLn | Copilot.Language.Prelude, Copilot.Language, Copilot |
| quot | Copilot.Language.Prelude, Copilot.Language, Copilot |
| quotRem | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Rational | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Read | Copilot.Language.Prelude, Copilot.Language, Copilot |
| read | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readFile | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readIO | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readList | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readLn | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readParen | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ReadS | Copilot.Language.Prelude, Copilot.Language, Copilot |
| reads | Copilot.Language.Prelude, Copilot.Language, Copilot |
| readsPrec | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Real | Copilot.Language.Prelude, Copilot.Language, Copilot |
| RealFloat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| RealFrac | Copilot.Language.Prelude, Copilot.Language, Copilot |
| realToFrac | Copilot.Language.Prelude, Copilot.Language, Copilot |
| recip | Copilot.Language.Prelude, Copilot.Language, Copilot |
| reify | Copilot.Language.Reify |
| rem | Copilot.Language.Prelude, Copilot.Language, Copilot |
| repeat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| replicate | Copilot.Language.Prelude, Copilot.Language, Copilot |
| return | Copilot.Language.Prelude, Copilot.Language, Copilot |
| reverse | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Right | Copilot.Language.Prelude, Copilot.Language, Copilot |
| round | Copilot.Language.Prelude, Copilot.Language, Copilot |
| runSpec | Copilot.Language.Spec |
| SArray | Copilot.Language, Copilot |
| SBool | Copilot.Language, Copilot |
| scaleFloat | Copilot.Language.Prelude, Copilot.Language, Copilot |
| scanl | Copilot.Language.Prelude, Copilot.Language, Copilot |
| scanl1 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| scanr | Copilot.Language.Prelude, Copilot.Language, Copilot |
| scanr1 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SDouble | Copilot.Language, Copilot |
| Semigroup | Copilot.Language.Prelude, Copilot.Language, Copilot |
| seq | Copilot.Language.Prelude, Copilot.Language, Copilot |
| sequence | Copilot.Language.Prelude, Copilot.Language, Copilot |
| sequenceA | Copilot.Language.Prelude, Copilot.Language, Copilot |
| sequence_ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SFloat | Copilot.Language, Copilot |
| Show | Copilot.Language.Prelude, Copilot.Language, Copilot |
| show | Copilot.Language.Prelude, Copilot.Language, Copilot |
| showChar | Copilot.Language.Prelude, Copilot.Language, Copilot |
| showList | Copilot.Language.Prelude, Copilot.Language, Copilot |
| showParen | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ShowS | Copilot.Language.Prelude, Copilot.Language, Copilot |
| shows | Copilot.Language.Prelude, Copilot.Language, Copilot |
| showsPrec | Copilot.Language.Prelude, Copilot.Language, Copilot |
| showString | Copilot.Language.Prelude, Copilot.Language, Copilot |
| significand | Copilot.Language.Prelude, Copilot.Language, Copilot |
| signum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SimpleType | Copilot.Language, Copilot |
| simpleType | Copilot.Language, Copilot |
| sin | Copilot.Language.Prelude, Copilot.Language, Copilot |
| sinh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SInt16 | Copilot.Language, Copilot |
| SInt32 | Copilot.Language, Copilot |
| SInt64 | Copilot.Language, Copilot |
| SInt8 | Copilot.Language, Copilot |
| size | Copilot.Language, Copilot |
| snd | Copilot.Language.Prelude, Copilot.Language, Copilot |
| span | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Spec | Copilot.Language.Spec, Copilot.Language, Copilot |
| Spec' | Copilot.Language.Spec |
| SpecItem | Copilot.Language.Spec |
| splitAt | Copilot.Language.Prelude, Copilot.Language, Copilot |
| sqrt | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SStruct | Copilot.Language, Copilot |
| Stream | Copilot.Language.Stream, Copilot.Language, Copilot |
| String | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Struct | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| StructArg | |
| 1 (Type/Class) | Copilot.Language.Stream |
| 2 (Data Constructor) | Copilot.Language.Stream |
| subtract | Copilot.Language.Prelude, Copilot.Language, Copilot |
| succ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| SWord16 | Copilot.Language, Copilot |
| SWord32 | Copilot.Language, Copilot |
| SWord64 | Copilot.Language, Copilot |
| SWord8 | Copilot.Language, Copilot |
| tail | Copilot.Language.Prelude, Copilot.Language, Copilot |
| takeWhile | Copilot.Language.Prelude, Copilot.Language, Copilot |
| tan | Copilot.Language.Prelude, Copilot.Language, Copilot |
| tanh | Copilot.Language.Prelude, Copilot.Language, Copilot |
| theorem | Copilot.Language.Spec, Copilot.Language, Copilot |
| theorems | Copilot.Language.Spec |
| toEnum | Copilot.Language.Prelude, Copilot.Language, Copilot |
| toInteger | Copilot.Language.Prelude, Copilot.Language, Copilot |
| toRational | Copilot.Language.Prelude, Copilot.Language, Copilot |
| toValues | Copilot.Language, Copilot |
| Traversable | Copilot.Language.Prelude, Copilot.Language, Copilot |
| traverse | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Trigger | |
| 1 (Type/Class) | Copilot.Language.Spec |
| 2 (Data Constructor) | Copilot.Language.Spec |
| trigger | Copilot.Language.Spec, Copilot.Language, Copilot |
| triggers | Copilot.Language.Spec |
| True | Copilot.Language.Prelude, Copilot.Language, Copilot |
| true | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| truncate | Copilot.Language.Prelude, Copilot.Language, Copilot |
| tylength | Copilot.Language, Copilot |
| Type | Copilot.Language, Copilot |
| Typed | Copilot.Language, Copilot |
| typename | Copilot.Language, Copilot |
| typeOf | Copilot.Language, Copilot |
| tysize | Copilot.Language, Copilot |
| uncurry | Copilot.Language.Prelude, Copilot.Language, Copilot |
| undefined | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Universal | Copilot.Language.Spec |
| unlines | Copilot.Language.Prelude, Copilot.Language, Copilot |
| UnsafeCast | Copilot.Language.Operators.Cast, Copilot.Language, Copilot |
| unsafeCast | Copilot.Language.Operators.Cast, Copilot.Language, Copilot |
| unwords | Copilot.Language.Prelude, Copilot.Language, Copilot |
| unzip | Copilot.Language.Prelude, Copilot.Language, Copilot |
| unzip3 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| userError | Copilot.Language.Prelude, Copilot.Language, Copilot |
| UType | |
| 1 (Data Constructor) | Copilot.Language, Copilot |
| 2 (Type/Class) | Copilot.Language, Copilot |
| uTypeType | Copilot.Language, Copilot |
| Value | |
| 1 (Data Constructor) | Copilot.Language, Copilot |
| 2 (Type/Class) | Copilot.Language, Copilot |
| Var | Copilot.Language.Stream |
| Word | Copilot.Language.Prelude, Copilot.Language, Copilot |
| Word16 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Word32 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Word64 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| Word8 | |
| 1 (Type/Class) | Copilot.Language, Copilot |
| 2 (Data Constructor) | Copilot.Language, Copilot |
| words | Copilot.Language.Prelude, Copilot.Language, Copilot |
| writeFile | Copilot.Language.Prelude, Copilot.Language, Copilot |
| xor | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
| zip | Copilot.Language.Prelude, Copilot.Language, Copilot |
| zip3 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| zipWith | Copilot.Language.Prelude, Copilot.Language, Copilot |
| zipWith3 | Copilot.Language.Prelude, Copilot.Language, Copilot |
| ^ | Copilot.Language.Operators.Integral, Copilot.Language, Copilot |
| ^^ | Copilot.Language.Prelude, Copilot.Language, Copilot |
| || | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |