riscv-isa-0.1.0.0: Haskell representation of the RISC-V instruction set architecture

Index

ADDRiscV.RV32I
ADDIRiscV.RV32I
ANDRiscV.RV32I
ANDIRiscV.RV32I
AUIPCRiscV.RV32I
BEQRiscV.RV32I
BGERiscV.RV32I
BGEURiscV.RV32I
bitMaskFromToRiscV.Internal.Util
bitsFromToRiscV.Internal.Util
BLTRiscV.RV32I
BLTURiscV.RV32I
BNERiscV.RV32I
BranchRiscV.RV32I
BranchCondRiscV.RV32I
BranchInstr 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
ByteRiscV.RV32I
ByteUnsignedRiscV.RV32I
CSRIInstrRiscV.RV32I
CSRInstr 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
CSRRegister 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
CSRRInstrRiscV.RV32I
CSRTypeRiscV.RV32I
decodeInstrRiscV.Decode.RV32I
DecodingError 
1 (Type/Class)RiscV.Decode.RV32I
2 (Data Constructor)RiscV.Decode.RV32I
deviceInputRiscV.RV32I
deviceOutputRiscV.RV32I
EBREAKRiscV.RV32I
ECALLRiscV.RV32I
encodeInstrRiscV.Encode.RV32I
EnvironmentInstr 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
errorMsgRiscV.Decode.RV32I
extractBitsRiscV.Internal.Util
FENCERiscV.RV32I
FENCEIRiscV.RV32I
HalfRiscV.RV32I
HalfUnsignedRiscV.RV32I
IInstrRiscV.RV32I
InstrRiscV.RV32I
IOpcodeRiscV.RV32I
JALRiscV.RV32I
JALRRiscV.RV32I
JumpInstr 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
LOADRiscV.RV32I
LoadWidthRiscV.RV32I
LUIRiscV.RV32I
MemoryInstr 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
memoryReadsRiscV.RV32I
memoryWritesRiscV.RV32I
ORRiscV.RV32I
ORIRiscV.RV32I
ReadClearRiscV.RV32I
ReadSetRiscV.RV32I
ReadWriteRiscV.RV32I
RegisterRiscV.RV32I
RegisterImmediateInstrRiscV.RV32I
RegisterRegisterInstrRiscV.RV32I
RIInstrRiscV.RV32I
RInstrRiscV.RV32I
ROpcodeRiscV.RV32I
RRInstrRiscV.RV32I
ShiftInstrRiscV.RV32I
ShiftOpcodeRiscV.RV32I
SLLRiscV.RV32I
SLLIRiscV.RV32I
SLTRiscV.RV32I
SLTIRiscV.RV32I
SLTIURiscV.RV32I
SLTURiscV.RV32I
SRARiscV.RV32I
SRAIRiscV.RV32I
SRLRiscV.RV32I
SRLIRiscV.RV32I
STORERiscV.RV32I
SUBRiscV.RV32I
SynchronizationInstrRiscV.RV32I
SyncInstrRiscV.RV32I
SyncOrdRiscV.RV32I
SyncOrderingRiscV.RV32I
Width 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
WordRiscV.RV32I
Word12 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
Word20 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
Word5 
1 (Type/Class)RiscV.RV32I
2 (Data Constructor)RiscV.RV32I
X0RiscV.RV32I
X1RiscV.RV32I
X10RiscV.RV32I
X11RiscV.RV32I
X12RiscV.RV32I
X13RiscV.RV32I
X14RiscV.RV32I
X15RiscV.RV32I
X16RiscV.RV32I
X17RiscV.RV32I
X18RiscV.RV32I
X19RiscV.RV32I
X2RiscV.RV32I
X20RiscV.RV32I
X21RiscV.RV32I
X22RiscV.RV32I
X23RiscV.RV32I
X24RiscV.RV32I
X25RiscV.RV32I
X26RiscV.RV32I
X27RiscV.RV32I
X28RiscV.RV32I
X29RiscV.RV32I
X3RiscV.RV32I
X30RiscV.RV32I
X31RiscV.RV32I
X4RiscV.RV32I
X5RiscV.RV32I
X6RiscV.RV32I
X7RiscV.RV32I
X8RiscV.RV32I
X9RiscV.RV32I
XORRiscV.RV32I
XORIRiscV.RV32I