# | 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 |
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.Stream |
2 (Data Constructor) | Copilot.Language.Stream |
arg | Copilot.Language.Spec, Copilot.Language |
Array | |
1 (Data Constructor) | Copilot.Language |
2 (Type/Class) | Copilot.Language |
array | Copilot.Language |
arrayelems | 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 (Data Constructor) | Copilot.Language |
2 (Type/Class) | Copilot.Language |
fieldname | Copilot.Language |
FilePath | Copilot.Language.Prelude, Copilot.Language |
filter | Copilot.Language.Prelude, Copilot.Language |
Flatten | Copilot.Language |
flatten | 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 |
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 |
InnerType | 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 |
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 |
prettyPrint | Copilot.Language |
print | Copilot.Language.Prelude, Copilot.Language |
product | Copilot.Language.Prelude, 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 |
size | 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 (Type/Class) | Copilot.Language |
2 (Data Constructor) | 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 |
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 |
tylength | Copilot.Language |
Type | Copilot.Language |
Typed | Copilot.Language |
typename | Copilot.Language |
typeOf | Copilot.Language |
tysize | 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 |
userError | Copilot.Language.Prelude, Copilot.Language |
UType | |
1 (Data Constructor) | Copilot.Language |
2 (Type/Class) | Copilot.Language |
uTypeType | Copilot.Language |
Value | |
1 (Data Constructor) | Copilot.Language |
2 (Type/Class) | 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 |