Safe Haskell	Safe-Inferred
Language	Haskell2010

OutputGeneration.NASM.NASM

Description

Synopsis

data NASM = NASM {
- nasm_externals :: Set String
- nasm_globals :: Set String
- nasm_sections :: [NASM_Section]
- nasm_footer :: [String]
}
data NASM_Label
- = Label Word64 String
- | Macro String String Word64 Word64
data NASM_Section
- = NASM_Section_Text NASM_TextSection
- | NASM_Section_Data [NASM_DataSection]
type Annot = [(Word64, NASM_Label, Word64)]
data NASM_TextSection = NASM_TextSection {
- nasm_function_name :: String
- nasm_blocks :: [(Int, [NASM_Line])]
- nasm_cfg :: IntMap IntSet
}
data NASM_Line
- = NASM_Comment Int String
- | NASM_Line NASM_Instruction
- | NASM_Label NASM_Label
data NASM_Instruction = NASM_Instruction {
- nasm_prefix :: Maybe Prefix
- nasm_mnemonic :: Maybe Opcode
- nasm_operands :: [NASM_Operand]
- nasm_comment :: String
- nasm_annot :: Annot
}
type NASM_SizeDir = (Int, Bool)
data NASM_Address
data NASM_Address_Computation = NASM_Address_Computation {
- nasm_segment :: Maybe Register
- nasm_index :: Maybe Register
- nasm_scale :: Word64
- nasm_base :: Maybe Register
- nasm_displace :: Maybe Word64
}
data NASM_DataEntry
- = DataEntry_Byte Word64 Word8
- | DataEntry_String Word64 [Word8]
- | DataEntry_Pointer Word64 (NASM_Address, Annot)
- | DataEntry_BSS Int
data NASM_DataSection = NASM_DataSection {
- nasm_data_section :: (String, String, Word64)
- nasm_data_section_align :: Int
- nasm_data_section_labels :: IntMap (Set NASM_Label)
- nasm_data_section_data :: [NASM_DataEntry]
}

Documentation

data NASM Source #

NASM contains external symbols, sections, and a footer

Constructors

NASM
Fields nasm_externals :: Set String nasm_globals :: Set String nasm_sections :: [NASM_Section] nasm_footer :: [String]

Instances

Instances details

Generic NASM Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM :: Type -> Type # Methods from :: NASM -> Rep NASM x # to :: Rep NASM x -> NASM #
Serialize NASM Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM # get :: Get NASM #
type Rep NASM Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM = D1 ('MetaData "NASM" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nasm_externals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set String)) :: S1 ('MetaSel ('Just "nasm_globals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set String))) :: (S1 ('MetaSel ('Just "nasm_sections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [NASM_Section]) :*: S1 ('MetaSel ('Just "nasm_footer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [String]))))

data NASM_Label Source #

A NASM label is either a string, or a macro. The latter is used when referring to addresses within data sections. For example:

Macro "" ".data" 0x4000 0x23

refers to segment "", and the section ".data" that starts at immediate address 0x4000. So the real adress was 0x4023.

Constructors

Label Word64 String	Normal label
Macro String String Word64 Word64	Macro into data section (segment, section, a0, offset)

Instances

Instances details

Generic NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Label :: Type -> Type # Methods from :: NASM_Label -> Rep NASM_Label x # to :: Rep NASM_Label x -> NASM_Label #
Show NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_Label -> ShowS # show :: NASM_Label -> String # showList :: [NASM_Label] -> ShowS #
Serialize NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Label # get :: Get NASM_Label #
Eq NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods (==) :: NASM_Label -> NASM_Label -> Bool # (/=) :: NASM_Label -> NASM_Label -> Bool #
Ord NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods compare :: NASM_Label -> NASM_Label -> Ordering # (<) :: NASM_Label -> NASM_Label -> Bool # (<=) :: NASM_Label -> NASM_Label -> Bool # (>) :: NASM_Label -> NASM_Label -> Bool # (>=) :: NASM_Label -> NASM_Label -> Bool # max :: NASM_Label -> NASM_Label -> NASM_Label # min :: NASM_Label -> NASM_Label -> NASM_Label #
type Rep NASM_Label Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Label = D1 ('MetaData "NASM_Label" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "Macro" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64))))

data NASM_Section Source #

A NASM section is either a NASM text section or NASM data section

Constructors

NASM_Section_Text NASM_TextSection
NASM_Section_Data [NASM_DataSection]

Instances

Instances details

Generic NASM_Section Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Section :: Type -> Type # Methods from :: NASM_Section -> Rep NASM_Section x # to :: Rep NASM_Section x -> NASM_Section #
Serialize NASM_Section Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Section # get :: Get NASM_Section #
type Rep NASM_Section Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Section = D1 ('MetaData "NASM_Section" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_Section_Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NASM_TextSection)) :+: C1 ('MetaCons "NASM_Section_Data" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [NASM_DataSection])))

type Annot = [(Word64, NASM_Label, Word64)] Source #

An annotation consists of an address that is being symbolized to a label and an offset. The offset will often be 0. For example: 0x1016 --> L1000_2 0x4028 --> L_.bss_0x4020 + 0x8 Annotations translate to NASM comments, and have no effect on the actual NASM itself.

data NASM_TextSection Source #

A NASM text section contains a name and an **ordered** list of basic blocks. Each basic block has an ID and a list of lines.

Constructors

NASM_TextSection
Fields nasm_function_name :: String nasm_blocks :: [(Int, [NASM_Line])] A mapping of blockIDs to instructions nasm_cfg :: IntMap IntSet

Instances

Instances details

Generic NASM_TextSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_TextSection :: Type -> Type # Methods from :: NASM_TextSection -> Rep NASM_TextSection x # to :: Rep NASM_TextSection x -> NASM_TextSection #
Show NASM_TextSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_TextSection -> ShowS # show :: NASM_TextSection -> String # showList :: [NASM_TextSection] -> ShowS #
Serialize NASM_TextSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_TextSection # get :: Get NASM_TextSection #
type Rep NASM_TextSection Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_TextSection = D1 ('MetaData "NASM_TextSection" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_TextSection" 'PrefixI 'True) (S1 ('MetaSel ('Just "nasm_function_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String) :: (S1 ('MetaSel ('Just "nasm_blocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Int, [NASM_Line])]) :: S1 ('MetaSel ('Just "nasm_cfg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (IntMap IntSet)))))

data NASM_Line Source #

A NASM line is either a comment, an instruction or a label

Constructors

NASM_Comment Int String	A comment with an indentation level (number of spaces)
NASM_Line NASM_Instruction	An instruction with an annotation
NASM_Label NASM_Label	A label

Instances

Instances details

Generic NASM_Line Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Line :: Type -> Type # Methods from :: NASM_Line -> Rep NASM_Line x # to :: Rep NASM_Line x -> NASM_Line #
Show NASM_Line Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_Line -> ShowS # show :: NASM_Line -> String # showList :: [NASM_Line] -> ShowS #
Serialize NASM_Line Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Line # get :: Get NASM_Line #
Eq NASM_Line Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods (==) :: NASM_Line -> NASM_Line -> Bool # (/=) :: NASM_Line -> NASM_Line -> Bool #
type Rep NASM_Line Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Line = D1 ('MetaData "NASM_Line" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_Comment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "NASM_Line" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NASM_Instruction)) :+: C1 ('MetaCons "NASM_Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NASM_Label))))

data NASM_Instruction Source #

An instruction consists of a prefix, an opcode, a list of operands, a comment (possibly empty) and an annotation (possibly empty).

Constructors

NASM_Instruction
Fields nasm_prefix :: Maybe Prefix nasm_mnemonic :: Maybe Opcode nasm_operands :: [NASM_Operand] nasm_comment :: String nasm_annot :: Annot

Instances

Instances details

Generic NASM_Instruction Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Instruction :: Type -> Type # Methods from :: NASM_Instruction -> Rep NASM_Instruction x # to :: Rep NASM_Instruction x -> NASM_Instruction #
Show NASM_Instruction Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_Instruction -> ShowS # show :: NASM_Instruction -> String # showList :: [NASM_Instruction] -> ShowS #
Serialize NASM_Instruction Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Instruction # get :: Get NASM_Instruction #
Eq NASM_Instruction Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods (==) :: NASM_Instruction -> NASM_Instruction -> Bool # (/=) :: NASM_Instruction -> NASM_Instruction -> Bool #
type Rep NASM_Instruction Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Instruction = D1 ('MetaData "NASM_Instruction" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_Instruction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nasm_prefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Prefix)) :: S1 ('MetaSel ('Just "nasm_mnemonic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Opcode))) :: (S1 ('MetaSel ('Just "nasm_operands") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [NASM_Operand]) :: (S1 ('MetaSel ('Just "nasm_comment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String) :: S1 ('MetaSel ('Just "nasm_annot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Annot)))))

type NASM_SizeDir = (Int, Bool) Source #

A size directive for a memory operand in bytes. For example (4,True) is the size directive for a 4-byte memory operand. It can be False to indicate that the operand should not be rendered (e.g, in case of an LEA instruction).

data NASM_Address Source #

An address can either be a computation or some symbol.

Constructors

NASM_Addr_Compute NASM_Address_Computation
NASM_Addr_Symbol Symbol
NASM_Addr_Label NASM_Label (Maybe Word64)
NASM_JumpTarget ResolvedJumpTarget

Instances

Instances details

Generic NASM_Address Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Address :: Type -> Type # Methods from :: NASM_Address -> Rep NASM_Address x # to :: Rep NASM_Address x -> NASM_Address #
Show NASM_Address Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_Address -> ShowS # show :: NASM_Address -> String # showList :: [NASM_Address] -> ShowS #
Serialize NASM_Address Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Address # get :: Get NASM_Address #
Eq NASM_Address Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods (==) :: NASM_Address -> NASM_Address -> Bool # (/=) :: NASM_Address -> NASM_Address -> Bool #
type Rep NASM_Address Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Address = D1 ('MetaData "NASM_Address" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((C1 ('MetaCons "NASM_Addr_Compute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NASM_Address_Computation)) :+: C1 ('MetaCons "NASM_Addr_Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Symbol))) :+: (C1 ('MetaCons "NASM_Addr_Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NASM_Label) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word64))) :+: C1 ('MetaCons "NASM_JumpTarget" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ResolvedJumpTarget))))

data NASM_Address_Computation Source #

An address computation within an operand. The computation is: segment + [base + index*scale + disp]

Constructors

NASM_Address_Computation
Fields nasm_segment :: Maybe Register nasm_index :: Maybe Register nasm_scale :: Word64 nasm_base :: Maybe Register nasm_displace :: Maybe Word64

Instances

Instances details

Generic NASM_Address_Computation Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_Address_Computation :: Type -> Type # Methods from :: NASM_Address_Computation -> Rep NASM_Address_Computation x # to :: Rep NASM_Address_Computation x -> NASM_Address_Computation #
Show NASM_Address_Computation Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_Address_Computation -> ShowS # show :: NASM_Address_Computation -> String # showList :: [NASM_Address_Computation] -> ShowS #
Serialize NASM_Address_Computation Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_Address_Computation # get :: Get NASM_Address_Computation #
Eq NASM_Address_Computation Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods (==) :: NASM_Address_Computation -> NASM_Address_Computation -> Bool # (/=) :: NASM_Address_Computation -> NASM_Address_Computation -> Bool #
type Rep NASM_Address_Computation Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_Address_Computation = D1 ('MetaData "NASM_Address_Computation" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_Address_Computation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nasm_segment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Register)) :: S1 ('MetaSel ('Just "nasm_index") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Register))) :: (S1 ('MetaSel ('Just "nasm_scale") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :: (S1 ('MetaSel ('Just "nasm_base") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Register)) :: S1 ('MetaSel ('Just "nasm_displace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word64))))))

data NASM_DataEntry Source #

A data section consists of a list of data section entries. Each DataEntry stores its address and a value.

Constructors

DataEntry_Byte Word64 Word8	A single byte
DataEntry_String Word64 [Word8]	A string of characters (Word8)
DataEntry_Pointer Word64 (NASM_Address, Annot)	A pointer (a label or external symbol)
DataEntry_BSS Int	A BSS section with a given size in bytes

Instances

Instances details

Generic NASM_DataEntry Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_DataEntry :: Type -> Type # Methods from :: NASM_DataEntry -> Rep NASM_DataEntry x # to :: Rep NASM_DataEntry x -> NASM_DataEntry #
Serialize NASM_DataEntry Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_DataEntry # get :: Get NASM_DataEntry #
type Rep NASM_DataEntry Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_DataEntry = D1 ('MetaData "NASM_DataEntry" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((C1 ('MetaCons "DataEntry_Byte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8)) :+: C1 ('MetaCons "DataEntry_String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Word8]))) :+: (C1 ('MetaCons "DataEntry_Pointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NASM_Address, Annot))) :+: C1 ('MetaCons "DataEntry_BSS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

data NASM_DataSection Source #

A data section then consists of:

Constructors

NASM_DataSection
Fields nasm_data_section :: (String, String, Word64) (segment,section,address) nasm_data_section_align :: Int The alignment (0 if unknown) nasm_data_section_labels :: IntMap (Set NASM_Label) Used internally only nasm_data_section_data :: [NASM_DataEntry] A list of DataEntries

Instances

Instances details

Generic NASM_DataSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Associated Types type Rep NASM_DataSection :: Type -> Type # Methods from :: NASM_DataSection -> Rep NASM_DataSection x # to :: Rep NASM_DataSection x -> NASM_DataSection #
Show NASM_DataSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods showsPrec :: Int -> NASM_DataSection -> ShowS # show :: NASM_DataSection -> String # showList :: [NASM_DataSection] -> ShowS #
Serialize NASM_DataSection Source #
Instance details Defined in OutputGeneration.NASM.NASM Methods put :: Putter NASM_DataSection # get :: Get NASM_DataSection #
type Rep NASM_DataSection Source #
Instance details Defined in OutputGeneration.NASM.NASM type Rep NASM_DataSection = D1 ('MetaData "NASM_DataSection" "OutputGeneration.NASM.NASM" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "NASM_DataSection" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nasm_data_section") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (String, String, Word64)) :: S1 ('MetaSel ('Just "nasm_data_section_align") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :: (S1 ('MetaSel ('Just "nasm_data_section_labels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (IntMap (Set NASM_Label))) :*: S1 ('MetaSel ('Just "nasm_data_section_data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [NASM_DataEntry]))))