Index
! Language.Atom.Expressions, Language.Atom.Language, Language.Atom
!. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
&&. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
/=. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
<. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
<=. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
<== Language.Atom.Language, Language.Atom
==. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
>. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
>=. Language.Atom.Expressions, Language.Atom.Language, Language.Atom
A
1 (Type/Class) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Data Constructor) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Acos Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Acosh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
action Language.Atom.Language, Language.Atom
Add Language.Atom.Expressions, Language.Atom.Language, Language.Atom
addName Language.Atom.Elaboration
allUEs Language.Atom.Elaboration
allUVs Language.Atom.Elaboration
all_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
And Language.Atom.Expressions, Language.Atom.Language, Language.Atom
and_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
any_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
array Language.Atom.Elaboration, Language.Atom.Language, Language.Atom
array' Language.Atom.Elaboration, Language.Atom.Language, Language.Atom
arrayIndices Language.Atom.UeMap
Asin Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Asinh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Assert Language.Atom.Elaboration
assert Language.Atom.Language, Language.Atom
assertImply Language.Atom.Language, Language.Atom
Assign Language.Atom.Language, Language.Atom
Atan Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Atanh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Atom
1 (Type/Class) Language.Atom.Elaboration
2 (Type/Class) Language.Atom.Language, Language.Atom
atom Language.Atom.Language, Language.Atom
atomActions Language.Atom.Elaboration
atomAsserts Language.Atom.Elaboration
atomAssigns Language.Atom.Elaboration
atomCovers Language.Atom.Elaboration
AtomDB
1 (Type/Class) Language.Atom.Elaboration
2 (Data Constructor) Language.Atom.Elaboration
atomEnable Language.Atom.Elaboration
atomId Language.Atom.Elaboration
atomName Language.Atom.Elaboration
atomNames Language.Atom.Elaboration
atomPeriod Language.Atom.Elaboration
atomPhase Language.Atom.Elaboration
atomSubs Language.Atom.Elaboration
B2D Language.Atom.Expressions, Language.Atom.Language, Language.Atom
B2F Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Bool Language.Atom.Expressions, Language.Atom.Language, Language.Atom
bool Language.Atom.Language, Language.Atom
bool' Language.Atom.Language, Language.Atom
buildAtom Language.Atom.Elaboration
BWAnd Language.Atom.Expressions, Language.Atom.Language, Language.Atom
BWNot Language.Atom.Expressions, Language.Atom.Language, Language.Atom
BWOr Language.Atom.Expressions, Language.Atom.Language, Language.Atom
bytes Language.Atom.Expressions, Language.Atom.Language, Language.Atom
call Language.Atom.Language, Language.Atom
cAssert Language.Atom.Code, Language.Atom
cAssertName Language.Atom.Code, Language.Atom
Cast Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CBool Language.Atom.Expressions, Language.Atom.Language, Language.Atom
cCode Language.Atom.Code, Language.Atom
cCoverName Language.Atom.Code, Language.Atom
CDouble Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CFloat Language.Atom.Expressions, Language.Atom.Language, Language.Atom
cFuncName Language.Atom.Code, Language.Atom
CInt16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CInt32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CInt64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CInt8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Clock
1 (Type/Class) Language.Atom.Code, Language.Atom
2 (Data Constructor) Language.Atom.Code, Language.Atom
clock Language.Atom.Language, Language.Atom
clockName Language.Atom.Code, Language.Atom
clockType Language.Atom.Code, Language.Atom
compile Language.Atom.Compile, Language.Atom
compileExample Language.Atom.Example
cond Language.Atom.Language, Language.Atom
Config
1 (Type/Class) Language.Atom.Code, Language.Atom
2 (Data Constructor) Language.Atom.Code, Language.Atom
Const
1 (Data Constructor) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Type/Class) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
constant Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Cos Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Cosh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
cover Language.Atom.Language, Language.Atom
cRuleCoverage Language.Atom.Code, Language.Atom
cStateName Language.Atom.Code, Language.Atom
cType Language.Atom.Code, Language.Atom
CWord16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CWord32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CWord64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
CWord8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
cycles Language.Atom.Unit
D2B Language.Atom.Expressions, Language.Atom.Language, Language.Atom
debounce Language.Atom.Common, Language.Atom
declCode Language.Atom.Unit
decr Language.Atom.Language, Language.Atom
defaultClock Language.Atom.Code, Language.Atom
defaults Language.Atom.Code, Language.Atom
defaultTest Language.Atom.Unit
delay Language.Atom.Code, Language.Atom
delta Language.Atom.Code, Language.Atom
Div Language.Atom.Expressions, Language.Atom.Language, Language.Atom
div0_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
div_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Double Language.Atom.Expressions, Language.Atom.Language, Language.Atom
double Language.Atom.Language, Language.Atom
double' Language.Atom.Language, Language.Atom
E Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EBool Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EDouble Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EFloat Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EInt16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EInt32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EInt64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EInt8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
elaborate Language.Atom.Elaboration
emptyMap Language.Atom.UeMap
endCode Language.Atom.Unit
Eq Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EqE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
err Language.Atom.Code, Language.Atom
eType Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EWord16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EWord32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EWord64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
EWord8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ExactPhase Language.Atom.Elaboration
exactPhase Language.Atom.Language, Language.Atom
example Language.Atom.Example
Exp Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Expr Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Expression Language.Atom.Expressions, Language.Atom.Language, Language.Atom
expression Language.Atom.Expressions, Language.Atom.Language, Language.Atom
F2B Language.Atom.Expressions, Language.Atom.Language, Language.Atom
false Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Float Language.Atom.Expressions, Language.Atom.Language, Language.Atom
float Language.Atom.Language, Language.Atom
float' Language.Atom.Language, Language.Atom
FloatingE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
gArrayId Language.Atom.Elaboration
getPeriod Language.Atom.Language, Language.Atom
getPhase Language.Atom.Language, Language.Atom
getUE Language.Atom.UeMap
Global
1 (Type/Class) Language.Atom.Elaboration
2 (Data Constructor) Language.Atom.Elaboration
gPeriod Language.Atom.Elaboration
gPhase Language.Atom.Elaboration
gProbes Language.Atom.Elaboration
gRuleId Language.Atom.Elaboration
gState Language.Atom.Elaboration
gVarId Language.Atom.Elaboration
hardwareClock Language.Atom.Code, Language.Atom
Hash Language.Atom.UeMap
hysteresis Language.Atom.Common, Language.Atom
imply Language.Atom.Expressions, Language.Atom.Language, Language.Atom
includes Language.Atom.Unit
incr Language.Atom.Language, Language.Atom
initCode Language.Atom.Unit
Int16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
int16 Language.Atom.Language, Language.Atom
int16' Language.Atom.Language, Language.Atom
Int32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
int32 Language.Atom.Language, Language.Atom
int32' Language.Atom.Language, Language.Atom
Int64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
int64 Language.Atom.Language, Language.Atom
int64' Language.Atom.Language, Language.Atom
Int8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
int8 Language.Atom.Language, Language.Atom
int8' Language.Atom.Language, Language.Atom
IntegralE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
isMathHCall Language.Atom.UeMap
liftIO Language.Atom.Language, Language.Atom
limit Language.Atom.Expressions, Language.Atom.Language, Language.Atom
linear Language.Atom.Common, Language.Atom
Log Language.Atom.Expressions, Language.Atom.Language, Language.Atom
lookupTable Language.Atom.Common, Language.Atom
loopCode Language.Atom.Unit
Lt Language.Atom.Expressions, Language.Atom.Language, Language.Atom
maximum_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
max_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
maybeUpdate Language.Atom.UeMap
minimum_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
MinPhase Language.Atom.Elaboration
min_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Mod Language.Atom.Expressions, Language.Atom.Language, Language.Atom
mod0_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
modules Language.Atom.Unit
mod_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
MonadIO Language.Atom
MUAcos Language.Atom.UeMap
MUAcosh Language.Atom.UeMap
MUAdd Language.Atom.UeMap
MUAnd Language.Atom.UeMap
MUAsin Language.Atom.UeMap
MUAsinh Language.Atom.UeMap
MUAtan Language.Atom.UeMap
MUAtanh Language.Atom.UeMap
MUB2D Language.Atom.UeMap
MUB2F Language.Atom.UeMap
MUBWAnd Language.Atom.UeMap
MUBWNot Language.Atom.UeMap
MUBWOr Language.Atom.UeMap
MUCast Language.Atom.UeMap
MUConst Language.Atom.UeMap
MUCos Language.Atom.UeMap
MUCosh Language.Atom.UeMap
MUD2B Language.Atom.UeMap
MUDiv Language.Atom.UeMap
MUEq Language.Atom.UeMap
MUExp Language.Atom.UeMap
MUF2B Language.Atom.UeMap
Mul Language.Atom.Expressions, Language.Atom.Language, Language.Atom
MULog Language.Atom.UeMap
MULt Language.Atom.UeMap
MUMod Language.Atom.UeMap
MUMul Language.Atom.UeMap
MUMux Language.Atom.UeMap
MUNot Language.Atom.UeMap
MUPi Language.Atom.UeMap
MUPow Language.Atom.UeMap
MUShift Language.Atom.UeMap
MUSin Language.Atom.UeMap
MUSinh Language.Atom.UeMap
MUSqrt Language.Atom.UeMap
MUSub Language.Atom.UeMap
MUV
1 (Type/Class) Language.Atom.UeMap
2 (Data Constructor) Language.Atom.UeMap
MUVArray Language.Atom.UeMap
MUVExtern Language.Atom.UeMap
MUVRef Language.Atom.UeMap
Mux Language.Atom.Expressions, Language.Atom.Language, Language.Atom
mux Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Name Language.Atom.Elaboration, Language.Atom.Language, Language.Atom
name Language.Atom.Unit
nearestUVs Language.Atom.UeMap
newUE Language.Atom.UeMap
newUV Language.Atom.UeMap
nextCoverage Language.Atom.Language, Language.Atom
Not Language.Atom.Expressions, Language.Atom.Language, Language.Atom
not_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
NumE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
oneShotFall Language.Atom.Common, Language.Atom
oneShotRise Language.Atom.Common, Language.Atom
OrdE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
or_ Language.Atom.Expressions, Language.Atom.Language, Language.Atom
path Language.Atom.Language, Language.Atom
period Language.Atom.Language, Language.Atom
phase Language.Atom.Language, Language.Atom
Pi Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Pow Language.Atom.Expressions, Language.Atom.Language, Language.Atom
printFloatingE Language.Atom.Unit
printIntegralE Language.Atom.Unit
printStrLn Language.Atom.Unit
probe Language.Atom.Language, Language.Atom
probes Language.Atom.Language, Language.Atom
Random Language.Atom.Unit
random Language.Atom.Unit
rawBits Language.Atom.Expressions, Language.Atom.Language, Language.Atom
recoverUE Language.Atom.UeMap
reportSchedule Language.Atom.Scheduling, Language.Atom.Compile, Language.Atom
Retype Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Rule
1 (Type/Class) Language.Atom.Elaboration
2 (Data Constructor) Language.Atom.Elaboration
ruleActions Language.Atom.Elaboration
ruleAssert Language.Atom.Elaboration
ruleAssigns Language.Atom.Elaboration
ruleComplexity Language.Atom.Analysis
ruleCover Language.Atom.Elaboration
RuleCoverage Language.Atom.Code, Language.Atom
ruleEnable Language.Atom.Elaboration
ruleId Language.Atom.Elaboration
ruleName Language.Atom.Elaboration
rulePeriod Language.Atom.Elaboration
rulePhase Language.Atom.Elaboration
runTests Language.Atom.Unit
Schedule Language.Atom.Scheduling, Language.Atom.Compile, Language.Atom
schedule Language.Atom.Scheduling
Shift Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Sin Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Sinh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Sqrt Language.Atom.Expressions, Language.Atom.Language, Language.Atom
startTimer Language.Atom.Common, Language.Atom
startTimerIf Language.Atom.Common, Language.Atom
StateArray Language.Atom.Elaboration
StateHierarchy
1 (Type/Class) Language.Atom.Elaboration
2 (Data Constructor) Language.Atom.Elaboration
StateVariable Language.Atom.Elaboration
Sub Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Test
1 (Type/Class) Language.Atom.Unit
2 (Data Constructor) Language.Atom.Unit
testbench Language.Atom.Unit
Timer Language.Atom.Common, Language.Atom
timer Language.Atom.Common, Language.Atom
timerDone Language.Atom.Common, Language.Atom
true Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Type Language.Atom.Expressions, Language.Atom.Language, Language.Atom
TypeOf Language.Atom.Expressions, Language.Atom.Language, Language.Atom
typeOf
1 (Function) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Function) Language.Atom.UeMap
UA
1 (Type/Class) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Data Constructor) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAcos Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAcosh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAdd Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAExtern Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAnd Language.Atom.Expressions, Language.Atom.Language, Language.Atom
uand Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAsin Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAsinh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAtan Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UAtanh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UB2D Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UB2F Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ubool Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UBWAnd Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UBWNot Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UBWOr Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UCast Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UConst Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UCos Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UCosh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UD2B Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UDiv Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UE Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ue Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UeElem Language.Atom.UeMap
UeMap Language.Atom.UeMap
UEq Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ueq Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UeState Language.Atom.UeMap
ueUpstream Language.Atom.UeMap
UExp Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UF2B Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ULog Language.Atom.Expressions, Language.Atom.Language, Language.Atom
ULt Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UMod Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UMul Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UMux Language.Atom.Expressions, Language.Atom.Language, Language.Atom
umux Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UNot Language.Atom.Expressions, Language.Atom.Language, Language.Atom
unot Language.Atom.Expressions, Language.Atom.Language, Language.Atom
uor Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UPi Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UPow Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UShift Language.Atom.Expressions, Language.Atom.Language, Language.Atom
USin Language.Atom.Expressions, Language.Atom.Language, Language.Atom
USinh Language.Atom.Expressions, Language.Atom.Language, Language.Atom
USqrt Language.Atom.Expressions, Language.Atom.Language, Language.Atom
USub Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UV
1 (Type/Class) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Data Constructor) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
uv Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UVArray Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UVExtern Language.Atom.Expressions, Language.Atom.Language, Language.Atom
UVRef Language.Atom.Expressions, Language.Atom.Language, Language.Atom
V
1 (Type/Class) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
2 (Data Constructor) Language.Atom.Expressions, Language.Atom.Language, Language.Atom
value Language.Atom.Expressions, Language.Atom.Language, Language.Atom
var Language.Atom.Elaboration, Language.Atom.Language, Language.Atom
var' Language.Atom.Elaboration, Language.Atom.Language, Language.Atom
Variable Language.Atom.Expressions, Language.Atom.Language, Language.Atom
variable Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VBool Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VDouble Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VFloat Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VInt16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VInt32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VInt64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VInt8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VRef Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VWord16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VWord32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VWord64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
VWord8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Width Language.Atom.Expressions, Language.Atom.Language, Language.Atom
width Language.Atom.Expressions, Language.Atom.Language, Language.Atom
Word16 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
word16 Language.Atom.Language, Language.Atom
word16' Language.Atom.Language, Language.Atom
Word32 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
word32 Language.Atom.Language, Language.Atom
word32' Language.Atom.Language, Language.Atom
Word64 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
word64 Language.Atom.Language, Language.Atom
word64' Language.Atom.Language, Language.Atom
Word8 Language.Atom.Expressions, Language.Atom.Language, Language.Atom
word8 Language.Atom.Language, Language.Atom
word8' Language.Atom.Language, Language.Atom
writeC Language.Atom.Code, Language.Atom
||. Language.Atom.Expressions, Language.Atom.Language, Language.Atom