Language.Atom

Code

data Clock

type RuleCoverage

Compilation

Common

data Timer

data Channel a

Signal fading

data Fader

Thresholds

doubleThreshold

Valid/Invalid data

data ValidData a

Language & EDSL

type Atom

class Assign a

type Name

Expressions

data E a

data V a

data UE

data UV

data A a

data UA

class Expr a

data Expression

data Type

data Const

class Width a

class TypeOf a

class NumE a

class IntegralE a

class FloatingE a

class EqE a

class OrdE a

Testing

data Test

class Random a