Language.Atom

Code

data Config

defaults

data Clock

defaultClock

writeC

cType

type RuleCoverage

Compilation

compile

reportSchedule

type Schedule

Common

data Timer

timer

startTimer

startTimerIf

timerDone

oneShotRise

oneShotFall

debounce

lookupTable

linear

hysteresis

data Channel a

channel

writeChannel

readChannel

Signal fading

data Fader

data FaderInit

fader

fadeToA

fadeToB

fadeToCenter

Thresholds

boolThreshold

doubleThreshold

Valid/Invalid data

data ValidData a

validData

getValidData

whenValid

whenInvalid

Language & EDSL

type Atom

atom

period

getPeriod

phase

exactPhase

getPhase

cond

class Assign a

incr

decr

var

var'

array

array'

bool

bool'

int8

int8'

int16

int16'

int32

int32'

int64

int64'

word8

word8'

word16

word16'

word32

word32'

word64

word64'

float

float'

double

double'

action

call

probe

probes

assert

cover

assertImply

type Name

liftIO

path

clock

nextCoverage

Expressions

data E a

data V a

data UE

data UV

data A a

data UA

class Expr a

data Expression

data Variable

data Type

data Const

class Width a

class TypeOf a

bytes

ue

uv

class NumE a

class IntegralE a

class FloatingE a

class EqE a

class OrdE a

true

false

value

not_

(&&.)

(||.)

and_

or_

any_

all_

imply

(.&.)

complement

(.|.)

xor

(.<<.)

(.>>.)

rol

ror

bitSize

isSigned

(==.)

(/=.)

(<.)

(<=.)

(>.)

(>=.)

min_

minimum_

max_

maximum_

limit

div_

div0_

mod_

mod0_

mux

(!)

(!.)

ubool

unot

uand

uor

ueq

umux

Testing

data Test

defaultTest

class Random a

runTests

printStrLn

printIntegralE

printFloatingE

printProbe