copilot-4.1: A stream DSL for writing embedded C programs.
Contents
Index
Index
!
Language.Copilot
!!
Language.Copilot
!!!
Language.Copilot
#
Language.Copilot
##
Language.Copilot
$
Language.Copilot
$!
Language.Copilot
&&
Language.Copilot
*
Language.Copilot
**
Language.Copilot
*>
Language.Copilot
+
Language.Copilot
++
Language.Copilot
-
Language.Copilot
.
Language.Copilot
.!!
Language.Copilot
.&.
Language.Copilot
.<<.
Language.Copilot
.>>.
Language.Copilot
.^.
Language.Copilot
.|.
Language.Copilot
/
Language.Copilot
/=
Language.Copilot
<
Language.Copilot
<$
Language.Copilot
<$>
Language.Copilot
<*
Language.Copilot
<*>
Language.Copilot
<=
Language.Copilot
<>
Language.Copilot
=$
Language.Copilot
=:
Language.Copilot
=<<
Language.Copilot
==
Language.Copilot
==>
Language.Copilot
>
Language.Copilot
>=
Language.Copilot
>>
Language.Copilot
>>=
Language.Copilot
abs
Language.Copilot
accessorName
Language.Copilot
acos
Language.Copilot
acosh
Language.Copilot
all
Language.Copilot
always
Language.Copilot
alwaysBeen
Language.Copilot
aMajority
Language.Copilot
and
Language.Copilot
any
Language.Copilot
appendFile
Language.Copilot
Applicative
Language.Copilot
arg
Language.Copilot
Array
1 (Data Constructor)
Language.Copilot
2 (Type/Class)
Language.Copilot
array
Language.Copilot
arrayElems
Language.Copilot
arrayUpdate
Language.Copilot
asin
Language.Copilot
asinh
Language.Copilot
asTypeOf
Language.Copilot
atan
Language.Copilot
atan2
Language.Copilot
atanh
Language.Copilot
badUsage
Language.Copilot
bitReverse16
Language.Copilot
bitReverse32
Language.Copilot
bitReverse64
Language.Copilot
bitReverse8
Language.Copilot
Bits
Language.Copilot
Bool
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Bounded
Language.Copilot
break
Language.Copilot
byteSwap16
Language.Copilot
byteSwap32
Language.Copilot
byteSwap64
Language.Copilot
case'
Language.Copilot
Cast
Language.Copilot
cast
Language.Copilot
ceiling
Language.Copilot
Char
Language.Copilot
clk
Language.Copilot
clk1
Language.Copilot
compare
Language.Copilot
complement
Language.Copilot
concat
Language.Copilot
concatMap
Language.Copilot
constant
Language.Copilot
constB
Language.Copilot
constD
Language.Copilot
constF
Language.Copilot
constI16
Language.Copilot
constI32
Language.Copilot
constI64
Language.Copilot
constI8
Language.Copilot
constW16
Language.Copilot
constW32
Language.Copilot
constW64
Language.Copilot
constW8
Language.Copilot
copilotMain
Language.Copilot.Main
,
Language.Copilot
copilotRegexp
Language.Copilot
copilotRegexpB
Language.Copilot
cos
Language.Copilot
cosh
Language.Copilot
csv
Language.Copilot
curry
Language.Copilot
cycle
Language.Copilot
decodeFloat
Language.Copilot
defaultMain
Language.Copilot.Main
,
Language.Copilot
div
Language.Copilot
divMod
Language.Copilot
Double
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
drop
Language.Copilot
dropWhile
Language.Copilot
Either
Language.Copilot
either
Language.Copilot
elem
Language.Copilot
encodeFloat
Language.Copilot
Enum
Language.Copilot
enumFrom
Language.Copilot
enumFromThen
Language.Copilot
enumFromThenTo
Language.Copilot
enumFromTo
Language.Copilot
EQ
Language.Copilot
Eq
Language.Copilot
error
Language.Copilot
errorWithoutStackTrace
Language.Copilot
even
Language.Copilot
eventually
Language.Copilot
eventuallyPrev
Language.Copilot
exists
Language.Copilot
exp
Language.Copilot
exponent
Language.Copilot
extern
Language.Copilot
externB
Language.Copilot
externD
Language.Copilot
externF
Language.Copilot
externI16
Language.Copilot
externI32
Language.Copilot
externI64
Language.Copilot
externI8
Language.Copilot
externW16
Language.Copilot
externW32
Language.Copilot
externW64
Language.Copilot
externW8
Language.Copilot
fail
Language.Copilot
False
Language.Copilot
false
Language.Copilot
Field
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
fieldName
Language.Copilot
FilePath
Language.Copilot
filter
Language.Copilot
flip
Language.Copilot
Float
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
floatDigits
Language.Copilot
Floating
Language.Copilot
floatRadix
Language.Copilot
floatRange
Language.Copilot
floor
Language.Copilot
fmap
Language.Copilot
Foldable
Language.Copilot
foldl
Language.Copilot
foldl1
Language.Copilot
foldMap
Language.Copilot
foldr
Language.Copilot
foldr1
Language.Copilot
forAll
Language.Copilot
Fractional
Language.Copilot
fromEnum
Language.Copilot
fromInteger
Language.Copilot
fromIntegral
Language.Copilot
fromRational
Language.Copilot
fst
Language.Copilot
Functor
Language.Copilot
gcd
Language.Copilot
getChar
Language.Copilot
getContents
Language.Copilot
getLine
Language.Copilot
GT
Language.Copilot
head
Language.Copilot
id
Language.Copilot
ifThenElse
Language.Copilot
impossible
Language.Copilot
init
Language.Copilot
Int
Language.Copilot
Int16
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Int32
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Int64
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Int8
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Integer
Language.Copilot
Integral
Language.Copilot
interact
Language.Copilot
interpret
Language.Copilot
IO
Language.Copilot
IOError
Language.Copilot
ioError
Language.Copilot
isDenormalized
Language.Copilot
isIEEE
Language.Copilot
isInfinite
Language.Copilot
isNaN
Language.Copilot
isNegativeZero
Language.Copilot
iterate
Language.Copilot
Just
Language.Copilot
label
Language.Copilot
last
Language.Copilot
lcm
Language.Copilot
Left
Language.Copilot
length
Language.Copilot
lex
Language.Copilot
liftA2
Language.Copilot
lines
Language.Copilot
local
Language.Copilot
log
Language.Copilot
logBase
Language.Copilot
lookup
Language.Copilot
LT
Language.Copilot
majority
Language.Copilot
map
Language.Copilot
mapM
Language.Copilot
mapM_
Language.Copilot
mappend
Language.Copilot
max
Language.Copilot
maxBound
Language.Copilot
maximum
Language.Copilot
Maybe
Language.Copilot
maybe
Language.Copilot
mconcat
Language.Copilot
mean
Language.Copilot
meanNow
Language.Copilot
mempty
Language.Copilot
min
Language.Copilot
minBound
Language.Copilot
minimum
Language.Copilot
mod
Language.Copilot
Monad
Language.Copilot
MonadFail
Language.Copilot
Monoid
Language.Copilot
mux
Language.Copilot
Name
Language.Copilot
negate
Language.Copilot
next
Language.Copilot
nfoldl
Language.Copilot
nfoldl1
Language.Copilot
nfoldr
Language.Copilot
nfoldr1
Language.Copilot
not
Language.Copilot
notElem
Language.Copilot
Nothing
Language.Copilot
nscanl
Language.Copilot
nscanl1
Language.Copilot
nscanr
Language.Copilot
nscanr1
Language.Copilot
null
Language.Copilot
Num
Language.Copilot
observer
Language.Copilot
odd
Language.Copilot
or
Language.Copilot
Ord
Language.Copilot
Ordering
Language.Copilot
otherwise
Language.Copilot
period
Language.Copilot
phase
Language.Copilot
pi
Language.Copilot
pred
Language.Copilot
previous
Language.Copilot
print
Language.Copilot
product
Language.Copilot
Projectable
Language.Copilot
Projection
Language.Copilot
,
Language.Copilot
prop
Language.Copilot
properFraction
Language.Copilot
pure
Language.Copilot
putChar
Language.Copilot
putStr
Language.Copilot
putStrLn
Language.Copilot
quot
Language.Copilot
quotRem
Language.Copilot
Rational
Language.Copilot
Read
Language.Copilot
read
Language.Copilot
readFile
Language.Copilot
readIO
Language.Copilot
readList
Language.Copilot
readLn
Language.Copilot
readParen
Language.Copilot
ReadS
Language.Copilot
reads
Language.Copilot
readsPrec
Language.Copilot
Real
Language.Copilot
RealFloat
Language.Copilot
RealFrac
Language.Copilot
realToFrac
Language.Copilot
recip
Language.Copilot
reify
Language.Copilot
release
Language.Copilot
rem
Language.Copilot
repeat
Language.Copilot
replicate
Language.Copilot
return
Language.Copilot
reverse
Language.Copilot
Right
Language.Copilot
round
Language.Copilot
SArray
Language.Copilot
SBool
Language.Copilot
scaleFloat
Language.Copilot
scanl
Language.Copilot
scanl1
Language.Copilot
scanr
Language.Copilot
scanr1
Language.Copilot
SDouble
Language.Copilot
Semigroup
Language.Copilot
seq
Language.Copilot
sequence
Language.Copilot
sequenceA
Language.Copilot
sequence_
Language.Copilot
SFloat
Language.Copilot
Show
Language.Copilot
show
Language.Copilot
showChar
Language.Copilot
showList
Language.Copilot
showParen
Language.Copilot
ShowS
Language.Copilot
shows
Language.Copilot
showsPrec
Language.Copilot
showString
Language.Copilot
significand
Language.Copilot
signum
Language.Copilot
SimpleType
Language.Copilot
simpleType
Language.Copilot
sin
Language.Copilot
since
Language.Copilot
sinh
Language.Copilot
SInt16
Language.Copilot
SInt32
Language.Copilot
SInt64
Language.Copilot
SInt8
Language.Copilot
snd
Language.Copilot
span
Language.Copilot
Spec
Language.Copilot
splitAt
Language.Copilot
sqrt
Language.Copilot
SStruct
Language.Copilot
stack
Language.Copilot
stack'
Language.Copilot
Stream
Language.Copilot
String
Language.Copilot
Struct
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
subtract
Language.Copilot
succ
Language.Copilot
sum
Language.Copilot
SWord16
Language.Copilot
SWord32
Language.Copilot
SWord64
Language.Copilot
SWord8
Language.Copilot
tail
Language.Copilot
tails
Language.Copilot
take
Language.Copilot
takeWhile
Language.Copilot
tan
Language.Copilot
tanh
Language.Copilot
theorem
Language.Copilot
toEnum
Language.Copilot
toInteger
Language.Copilot
toRational
Language.Copilot
toValues
Language.Copilot
Traversable
Language.Copilot
traverse
Language.Copilot
trigger
Language.Copilot
True
Language.Copilot
true
Language.Copilot
truncate
Language.Copilot
Type
Language.Copilot
Typed
Language.Copilot
typeLength
Language.Copilot
typeName
Language.Copilot
typeOf
Language.Copilot
typeSize
Language.Copilot
uncurry
Language.Copilot
undefined
Language.Copilot
unlines
Language.Copilot
UnsafeCast
Language.Copilot
unsafeCast
Language.Copilot
until
Language.Copilot
unwords
Language.Copilot
unzip
Language.Copilot
unzip3
Language.Copilot
updateField
Language.Copilot
userError
Language.Copilot
UType
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
uTypeType
Language.Copilot
Value
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Word
Language.Copilot
Word16
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Word32
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Word64
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
Word8
1 (Type/Class)
Language.Copilot
2 (Data Constructor)
Language.Copilot
words
Language.Copilot
writeFile
Language.Copilot
xor
Language.Copilot
zip
Language.Copilot
zip3
Language.Copilot
zipWith
Language.Copilot
zipWith3
Language.Copilot
^
Language.Copilot
^^
Language.Copilot
||
Language.Copilot
~
Language.Copilot