copilot-language-4.6.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Index

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