Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Based on the Appel book.
Documentation
Instances
Eq Liveness Source # | |
Generic Liveness Source # | |
NFData Liveness Source # | |
Defined in Kempe.Asm.X86.Type | |
Pretty Liveness Source # | |
Defined in Kempe.Asm.X86.Type prettyList :: [Liveness] -> Doc ann | |
type Rep Liveness Source # | |
Defined in Kempe.Asm.X86.Type type Rep Liveness = D1 ('MetaData "Liveness" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (C1 ('MetaCons "Liveness" 'PrefixI 'True) (S1 ('MetaSel ('Just "ins") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set AbsReg)) :*: S1 ('MetaSel ('Just "out") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set AbsReg)))) |
reconstruct :: [X86 reg ControlAnn] -> [X86 reg Liveness] Source #