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

Index

#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.Array, 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.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
absCopilot.Language.Prelude, Copilot.Language
accessornameCopilot.Language
acosCopilot.Language.Prelude, Copilot.Language
acoshCopilot.Language.Prelude, Copilot.Language
allCopilot.Language.Prelude, Copilot.Language
andCopilot.Language.Prelude, Copilot.Language
anyCopilot.Language.Prelude, Copilot.Language
AppendCopilot.Language.Stream
appendFileCopilot.Language.Prelude, Copilot.Language
ApplicativeCopilot.Language.Prelude, Copilot.Language
Arg 
1 (Type/Class)Copilot.Language.Stream
2 (Data Constructor)Copilot.Language.Stream
argCopilot.Language.Spec, Copilot.Language
Array 
1 (Data Constructor)Copilot.Language
2 (Type/Class)Copilot.Language
arrayCopilot.Language
arrayelemsCopilot.Language
asinCopilot.Language.Prelude, Copilot.Language
asinhCopilot.Language.Prelude, Copilot.Language
asTypeOfCopilot.Language.Prelude, Copilot.Language
atanCopilot.Language.Prelude, Copilot.Language
atan2 
1 (Function)Copilot.Language.Prelude, Copilot.Language
2 (Function)Copilot.Language.Stream
atanhCopilot.Language.Prelude, Copilot.Language
badUsageCopilot.Language
bitReverse16Copilot.Language
bitReverse32Copilot.Language
bitReverse64Copilot.Language
bitReverse8Copilot.Language
BitsCopilot.Language.Operators.BitWise, Copilot.Language
Bool 
1 (Type/Class)Copilot.Language.Prelude, Copilot.Language
2 (Data Constructor)Copilot.Language
BoundedCopilot.Language.Prelude, Copilot.Language
breakCopilot.Language.Prelude, Copilot.Language
byteSwap16Copilot.Language
byteSwap32Copilot.Language
byteSwap64Copilot.Language
CastCopilot.Language.Operators.Cast, Copilot.Language
castCopilot.Language.Operators.Cast, Copilot.Language
ceiling 
1 (Function)Copilot.Language.Prelude, Copilot.Language
2 (Function)Copilot.Language.Stream
CharCopilot.Language.Prelude, Copilot.Language
compareCopilot.Language.Prelude, Copilot.Language
complementCopilot.Language.Operators.BitWise, Copilot.Language
concatCopilot.Language.Prelude, Copilot.Language
concatMapCopilot.Language.Prelude, Copilot.Language
ConstCopilot.Language.Stream
constantCopilot.Language.Operators.Constant, Copilot.Language
constBCopilot.Language.Operators.Constant, Copilot.Language
constDCopilot.Language.Operators.Constant, Copilot.Language
constFCopilot.Language.Operators.Constant, Copilot.Language
constI16Copilot.Language.Operators.Constant, Copilot.Language
constI32Copilot.Language.Operators.Constant, Copilot.Language
constI64Copilot.Language.Operators.Constant, Copilot.Language
constI8Copilot.Language.Operators.Constant, Copilot.Language
constW16Copilot.Language.Operators.Constant, Copilot.Language
constW32Copilot.Language.Operators.Constant, Copilot.Language
constW64Copilot.Language.Operators.Constant, Copilot.Language
constW8Copilot.Language.Operators.Constant, Copilot.Language
cosCopilot.Language.Prelude, Copilot.Language
coshCopilot.Language.Prelude, Copilot.Language
csvCopilot.Language
curryCopilot.Language.Prelude, Copilot.Language
decodeFloatCopilot.Language.Prelude, Copilot.Language
divCopilot.Language.Operators.Integral, Copilot.Language
divModCopilot.Language.Prelude, Copilot.Language
Double 
1 (Type/Class)Copilot.Language.Prelude, Copilot.Language
2 (Data Constructor)Copilot.Language
DropCopilot.Language.Stream
dropCopilot.Language.Operators.Temporal, Copilot.Language
dropWhileCopilot.Language.Prelude, Copilot.Language
EitherCopilot.Language.Prelude, Copilot.Language
eitherCopilot.Language.Prelude, Copilot.Language
elemCopilot.Language.Prelude, Copilot.Language
encodeFloatCopilot.Language.Prelude, Copilot.Language
EnumCopilot.Language.Prelude, Copilot.Language
enumFromCopilot.Language.Prelude, Copilot.Language
enumFromThenCopilot.Language.Prelude, Copilot.Language
enumFromThenToCopilot.Language.Prelude, Copilot.Language
enumFromToCopilot.Language.Prelude, Copilot.Language
EQCopilot.Language.Prelude, Copilot.Language
EqCopilot.Language.Prelude, Copilot.Language
errorCopilot.Language.Prelude, Copilot.Language
errorWithoutStackTraceCopilot.Language.Prelude, Copilot.Language
evenCopilot.Language.Prelude, Copilot.Language
ExistentialCopilot.Language.Spec
ExistsCopilot.Language.Spec
existsCopilot.Language.Spec, Copilot.Language
expCopilot.Language.Prelude, Copilot.Language
exponentCopilot.Language.Prelude, Copilot.Language
ExternCopilot.Language.Stream
externCopilot.Language.Operators.Extern, Copilot.Language
externBCopilot.Language.Operators.Extern, Copilot.Language
externDCopilot.Language.Operators.Extern, Copilot.Language
externFCopilot.Language.Operators.Extern, Copilot.Language
externI16Copilot.Language.Operators.Extern, Copilot.Language
externI32Copilot.Language.Operators.Extern, Copilot.Language
externI64Copilot.Language.Operators.Extern, Copilot.Language
externI8Copilot.Language.Operators.Extern, Copilot.Language
externW16Copilot.Language.Operators.Extern, Copilot.Language
externW32Copilot.Language.Operators.Extern, Copilot.Language
externW64Copilot.Language.Operators.Extern, Copilot.Language
externW8Copilot.Language.Operators.Extern, Copilot.Language
extractPropCopilot.Language.Spec
failCopilot.Language.Prelude, Copilot.Language
FalseCopilot.Language.Prelude, Copilot.Language
falseCopilot.Language.Operators.Boolean, Copilot.Language
Field 
1 (Data Constructor)Copilot.Language
2 (Type/Class)Copilot.Language
fieldnameCopilot.Language
FilePathCopilot.Language.Prelude, Copilot.Language
filterCopilot.Language.Prelude, Copilot.Language
flipCopilot.Language.Prelude, Copilot.Language
Float 
1 (Type/Class)Copilot.Language.Prelude, Copilot.Language
2 (Data Constructor)Copilot.Language
floatDigitsCopilot.Language.Prelude, Copilot.Language
FloatingCopilot.Language.Prelude, Copilot.Language
floatRadixCopilot.Language.Prelude, Copilot.Language
floatRangeCopilot.Language.Prelude, Copilot.Language
floor 
1 (Function)Copilot.Language.Prelude, Copilot.Language
2 (Function)Copilot.Language.Stream
fmapCopilot.Language.Prelude, Copilot.Language
FoldableCopilot.Language.Prelude, Copilot.Language
foldlCopilot.Language.Prelude, Copilot.Language
foldl1Copilot.Language.Prelude, Copilot.Language
foldMapCopilot.Language.Prelude, Copilot.Language
foldrCopilot.Language.Prelude, Copilot.Language
foldr1Copilot.Language.Prelude, Copilot.Language
ForallCopilot.Language.Spec
forallCopilot.Language.Spec, Copilot.Language
FractionalCopilot.Language.Prelude, Copilot.Language
fromEnumCopilot.Language.Prelude, Copilot.Language
fromIntegerCopilot.Language.Prelude, Copilot.Language
fromIntegralCopilot.Language.Prelude, Copilot.Language
fromRationalCopilot.Language.Prelude, Copilot.Language
fstCopilot.Language.Prelude, Copilot.Language
FunctorCopilot.Language.Prelude, Copilot.Language
gcdCopilot.Language.Prelude, Copilot.Language
getCharCopilot.Language.Prelude, Copilot.Language
getContentsCopilot.Language.Prelude, Copilot.Language
getLineCopilot.Language.Prelude, Copilot.Language
GTCopilot.Language.Prelude, Copilot.Language
headCopilot.Language.Prelude, Copilot.Language
idCopilot.Language.Prelude, Copilot.Language
ifThenElseCopilot.Language.Operators.Mux, Copilot.Language
impossibleCopilot.Language
initCopilot.Language.Prelude, Copilot.Language
IntCopilot.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
IntegerCopilot.Language.Prelude, Copilot.Language
IntegralCopilot.Language.Prelude, Copilot.Language
interactCopilot.Language.Prelude, Copilot.Language
interpretCopilot.Language
IOCopilot.Language.Prelude, Copilot.Language
IOErrorCopilot.Language.Prelude, Copilot.Language
ioErrorCopilot.Language.Prelude, Copilot.Language
isDenormalizedCopilot.Language.Prelude, Copilot.Language
isIEEECopilot.Language.Prelude, Copilot.Language
isInfiniteCopilot.Language.Prelude, Copilot.Language
isNaNCopilot.Language.Prelude, Copilot.Language
isNegativeZeroCopilot.Language.Prelude, Copilot.Language
iterateCopilot.Language.Prelude, Copilot.Language
JustCopilot.Language.Prelude, Copilot.Language
LabelCopilot.Language.Stream
labelCopilot.Language.Operators.Label, Copilot.Language
lastCopilot.Language.Prelude, Copilot.Language
lcmCopilot.Language.Prelude, Copilot.Language
LeftCopilot.Language.Prelude, Copilot.Language
lengthCopilot.Language.Prelude, Copilot.Language
lexCopilot.Language.Prelude, Copilot.Language
linesCopilot.Language.Prelude, Copilot.Language
LocalCopilot.Language.Stream
localCopilot.Language.Operators.Local, Copilot.Language
logCopilot.Language.Prelude, Copilot.Language
logBaseCopilot.Language.Prelude, Copilot.Language
lookupCopilot.Language.Prelude, Copilot.Language
LTCopilot.Language.Prelude, Copilot.Language
mapCopilot.Language.Prelude, Copilot.Language
mapMCopilot.Language.Prelude, Copilot.Language
mapM_Copilot.Language.Prelude, Copilot.Language
mappendCopilot.Language.Prelude, Copilot.Language
maxBoundCopilot.Language.Prelude, Copilot.Language
maximumCopilot.Language.Prelude, Copilot.Language
MaybeCopilot.Language.Prelude, Copilot.Language
maybeCopilot.Language.Prelude, Copilot.Language
mconcatCopilot.Language.Prelude, Copilot.Language
memptyCopilot.Language.Prelude, Copilot.Language
minBoundCopilot.Language.Prelude, Copilot.Language
minimumCopilot.Language.Prelude, Copilot.Language
modCopilot.Language.Operators.Integral, Copilot.Language
MonadCopilot.Language.Prelude, Copilot.Language
MonadFailCopilot.Language.Prelude, Copilot.Language
MonoidCopilot.Language.Prelude, Copilot.Language
muxCopilot.Language.Operators.Mux, Copilot.Language
NameCopilot.Language
negateCopilot.Language.Prelude, Copilot.Language
not 
1 (Function)Copilot.Language.Operators.Boolean, Copilot.Language
2 (Function)Copilot.Language.Operators.Propositional
notElemCopilot.Language.Prelude, Copilot.Language
NothingCopilot.Language.Prelude, Copilot.Language
nullCopilot.Language.Prelude, Copilot.Language
NumCopilot.Language.Prelude, Copilot.Language
Observer 
1 (Type/Class)Copilot.Language.Spec
2 (Data Constructor)Copilot.Language.Spec
observerCopilot.Language.Spec, Copilot.Language
observersCopilot.Language.Spec
oddCopilot.Language.Prelude, Copilot.Language
Op1Copilot.Language.Stream
Op2Copilot.Language.Stream
Op3Copilot.Language.Stream
orCopilot.Language.Prelude, Copilot.Language
OrdCopilot.Language.Prelude, Copilot.Language
OrderingCopilot.Language.Prelude, Copilot.Language
otherwiseCopilot.Language.Prelude, Copilot.Language
piCopilot.Language.Prelude, Copilot.Language
predCopilot.Language.Prelude, Copilot.Language
printCopilot.Language.Prelude, Copilot.Language
productCopilot.Language.Prelude, Copilot.Language
PropCopilot.Language.Spec
propCopilot.Language.Spec, Copilot.Language
properFractionCopilot.Language.Prelude, Copilot.Language
propertiesCopilot.Language.Spec
Property 
1 (Type/Class)Copilot.Language.Spec
2 (Data Constructor)Copilot.Language.Spec
pureCopilot.Language.Prelude, Copilot.Language
putCharCopilot.Language.Prelude, Copilot.Language
putStrCopilot.Language.Prelude, Copilot.Language
putStrLnCopilot.Language.Prelude, Copilot.Language
quotCopilot.Language.Prelude, Copilot.Language
quotRemCopilot.Language.Prelude, Copilot.Language
RationalCopilot.Language.Prelude, Copilot.Language
ReadCopilot.Language.Prelude, Copilot.Language
readCopilot.Language.Prelude, Copilot.Language
readFileCopilot.Language.Prelude, Copilot.Language
readIOCopilot.Language.Prelude, Copilot.Language
readListCopilot.Language.Prelude, Copilot.Language
readLnCopilot.Language.Prelude, Copilot.Language
readParenCopilot.Language.Prelude, Copilot.Language
ReadSCopilot.Language.Prelude, Copilot.Language
readsCopilot.Language.Prelude, Copilot.Language
readsPrecCopilot.Language.Prelude, Copilot.Language
RealCopilot.Language.Prelude, Copilot.Language
RealFloatCopilot.Language.Prelude, Copilot.Language
RealFracCopilot.Language.Prelude, Copilot.Language
realToFracCopilot.Language.Prelude, Copilot.Language
recipCopilot.Language.Prelude, Copilot.Language
reifyCopilot.Language.Reify
remCopilot.Language.Prelude, Copilot.Language
repeatCopilot.Language.Prelude, Copilot.Language
replicateCopilot.Language.Prelude, Copilot.Language
returnCopilot.Language.Prelude, Copilot.Language
reverseCopilot.Language.Prelude, Copilot.Language
RightCopilot.Language.Prelude, Copilot.Language
roundCopilot.Language.Prelude, Copilot.Language
runSpecCopilot.Language.Spec
SArrayCopilot.Language
SBoolCopilot.Language
scaleFloatCopilot.Language.Prelude, Copilot.Language
scanlCopilot.Language.Prelude, Copilot.Language
scanl1Copilot.Language.Prelude, Copilot.Language
scanrCopilot.Language.Prelude, Copilot.Language
scanr1Copilot.Language.Prelude, Copilot.Language
SDoubleCopilot.Language
SemigroupCopilot.Language.Prelude, Copilot.Language
seqCopilot.Language.Prelude, Copilot.Language
sequenceCopilot.Language.Prelude, Copilot.Language
sequenceACopilot.Language.Prelude, Copilot.Language
sequence_Copilot.Language.Prelude, Copilot.Language
SFloatCopilot.Language
ShowCopilot.Language.Prelude, Copilot.Language
showCopilot.Language.Prelude, Copilot.Language
showCharCopilot.Language.Prelude, Copilot.Language
showListCopilot.Language.Prelude, Copilot.Language
showParenCopilot.Language.Prelude, Copilot.Language
ShowSCopilot.Language.Prelude, Copilot.Language
showsCopilot.Language.Prelude, Copilot.Language
showsPrecCopilot.Language.Prelude, Copilot.Language
showStringCopilot.Language.Prelude, Copilot.Language
significandCopilot.Language.Prelude, Copilot.Language
signumCopilot.Language.Prelude, Copilot.Language
SimpleTypeCopilot.Language
simpleTypeCopilot.Language
sinCopilot.Language.Prelude, Copilot.Language
sinhCopilot.Language.Prelude, Copilot.Language
SInt16Copilot.Language
SInt32Copilot.Language
SInt64Copilot.Language
SInt8Copilot.Language
sndCopilot.Language.Prelude, Copilot.Language
spanCopilot.Language.Prelude, Copilot.Language
SpecCopilot.Language.Spec, Copilot.Language
Spec'Copilot.Language.Spec
SpecItemCopilot.Language.Spec
splitAtCopilot.Language.Prelude, Copilot.Language
sqrtCopilot.Language.Prelude, Copilot.Language
SStructCopilot.Language
StreamCopilot.Language.Stream, Copilot.Language
StringCopilot.Language.Prelude, Copilot.Language
Struct 
1 (Type/Class)Copilot.Language
2 (Data Constructor)Copilot.Language
subtractCopilot.Language.Prelude, Copilot.Language
succCopilot.Language.Prelude, Copilot.Language
SWord16Copilot.Language
SWord32Copilot.Language
SWord64Copilot.Language
SWord8Copilot.Language
tailCopilot.Language.Prelude, Copilot.Language
takeWhileCopilot.Language.Prelude, Copilot.Language
tanCopilot.Language.Prelude, Copilot.Language
tanhCopilot.Language.Prelude, Copilot.Language
theoremCopilot.Language.Spec, Copilot.Language
theoremsCopilot.Language.Spec
toEnumCopilot.Language.Prelude, Copilot.Language
toIntegerCopilot.Language.Prelude, Copilot.Language
toRationalCopilot.Language.Prelude, Copilot.Language
toValuesCopilot.Language
TraversableCopilot.Language.Prelude, Copilot.Language
traverseCopilot.Language.Prelude, Copilot.Language
Trigger 
1 (Type/Class)Copilot.Language.Spec
2 (Data Constructor)Copilot.Language.Spec
triggerCopilot.Language.Spec, Copilot.Language
triggersCopilot.Language.Spec
TrueCopilot.Language.Prelude, Copilot.Language
trueCopilot.Language.Operators.Boolean, Copilot.Language
truncateCopilot.Language.Prelude, Copilot.Language
tylengthCopilot.Language
TypeCopilot.Language
TypedCopilot.Language
typenameCopilot.Language
typeOfCopilot.Language
tysizeCopilot.Language
uncurryCopilot.Language.Prelude, Copilot.Language
undefinedCopilot.Language.Prelude, Copilot.Language
UniversalCopilot.Language.Spec
unlinesCopilot.Language.Prelude, Copilot.Language
UnsafeCastCopilot.Language.Operators.Cast, Copilot.Language
unsafeCastCopilot.Language.Operators.Cast, Copilot.Language
unwordsCopilot.Language.Prelude, Copilot.Language
unzipCopilot.Language.Prelude, Copilot.Language
unzip3Copilot.Language.Prelude, Copilot.Language
userErrorCopilot.Language.Prelude, Copilot.Language
UType 
1 (Data Constructor)Copilot.Language
2 (Type/Class)Copilot.Language
uTypeTypeCopilot.Language
Value 
1 (Data Constructor)Copilot.Language
2 (Type/Class)Copilot.Language
VarCopilot.Language.Stream
WordCopilot.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
wordsCopilot.Language.Prelude, Copilot.Language
writeFileCopilot.Language.Prelude, Copilot.Language
xorCopilot.Language.Operators.Boolean, Copilot.Language
zipCopilot.Language.Prelude, Copilot.Language
zip3Copilot.Language.Prelude, Copilot.Language
zipWithCopilot.Language.Prelude, Copilot.Language
zipWith3Copilot.Language.Prelude, Copilot.Language
^Copilot.Language.Operators.Integral, Copilot.Language
^^Copilot.Language.Prelude, Copilot.Language
||Copilot.Language.Operators.Boolean, Copilot.Language