Language.Copilot.Language

Operators and functions

mod

div

mod0

div0

(<)

(<=)

(==)

(/=)

(>=)

(>)

not

(||)

(&&)

(^)

(==>)

Boolean constants

data Bool

Arithmetic operators (derived)

class Num a

Division

class Fractional a

mux

Copilot variable declarations.

var

varB

varI8

varI16

varI32

varI64

varW8

varW16

varW32

varW64

varF

varD

The next functions provide easier access to typed external variables.

extB

extI8

extI16

extI32

extI64

extW8

extW16

extW32

extW64

extF

extD

The next functions provide easier access to typed external arrays.

extArrB

extArrI8

extArrI16

extArrI32

extArrI64

extArrW8

extArrW16

extArrW32

extArrW64

extArrF

extArrD

Set of operators from which to choose during the generation of random streams

opsF

opsF2

opsF3

Constructs of the copilot language

drop

(++)

(.=)

The next functions help typing the send operations

send

port

Triggers

trigger

void

(<>)

(<>>)

Safe casting

cast

Boolean stream constants

const

true

false