libriscv-0.1.0.0: A versatile, flexible and executable formal model for the RISC-V architecture.
Safe HaskellSafe-Inferred
LanguageHaskell2010

LibRISCV.Internal.Decoder.YamlParser

Documentation

data InstructionFields Source #

Constructors

InstructionFields 

Fields

Instances

Instances details
FromJSON InstructionFields Source # 
Instance details

Defined in LibRISCV.Internal.Decoder.YamlParser

Methods

parseJSON :: Value -> Parser InstructionFields

parseJSONList :: Value -> Parser [InstructionFields]

Generic InstructionFields Source # 
Instance details

Defined in LibRISCV.Internal.Decoder.YamlParser

Associated Types

type Rep InstructionFields :: Type -> Type

Methods

from :: InstructionFields -> Rep InstructionFields x

to :: Rep InstructionFields x -> InstructionFields

Show InstructionFields Source # 
Instance details

Defined in LibRISCV.Internal.Decoder.YamlParser

Methods

showsPrec :: Int -> InstructionFields -> ShowS

show :: InstructionFields -> String

showList :: [InstructionFields] -> ShowS

Eq InstructionFields Source # 
Instance details

Defined in LibRISCV.Internal.Decoder.YamlParser

Methods

(==) :: InstructionFields -> InstructionFields -> Bool

(/=) :: InstructionFields -> InstructionFields -> Bool

type Rep InstructionFields Source # 
Instance details

Defined in LibRISCV.Internal.Decoder.YamlParser

type Rep InstructionFields = D1 ('MetaData "InstructionFields" "LibRISCV.Internal.Decoder.YamlParser" "libriscv-0.1.0.0-ZvF30Gk0mODuXJ2df2ofX-libriscv-internal" 'False) (C1 ('MetaCons "InstructionFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "extension") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: (S1 ('MetaSel ('Just "mask") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "match") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

type InstructionEntries = Map String InstructionFields Source #