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] #

omittedField :: Maybe 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-17jwKbhv0keFSsYC44qGYe-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 #