Safe Haskell	Safe-Inferred
Language	Haskell2010

Kempe.Asm.Type

Synopsis

Documentation

Control-flow annotations

Constructors

ControlAnn
Fields node :: !Int conn :: [Int] usesNode :: IntSet defsNode :: IntSet

Instances details

Generic ControlAnn Source #
Instance details Defined in Kempe.Asm.Type Associated Types type Rep ControlAnn :: Type -> Type # Methods from :: ControlAnn -> Rep ControlAnn x # to :: Rep ControlAnn x -> ControlAnn #
NFData ControlAnn Source #
Instance details Defined in Kempe.Asm.Type Methods rnf :: ControlAnn -> () #
type Rep ControlAnn Source #
Instance details Defined in Kempe.Asm.Type type Rep ControlAnn = D1 ('MetaData "ControlAnn" "Kempe.Asm.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (C1 ('MetaCons "ControlAnn" 'PrefixI 'True) ((S1 ('MetaSel ('Just "node") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "conn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :: (S1 ('MetaSel ('Just "usesNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntSet) :*: S1 ('MetaSel ('Just "defsNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntSet))))

Constructors

Liveness
Fields ins :: !IntSet out :: !IntSet

Instances details

Eq Liveness Source #
Instance details Defined in Kempe.Asm.Type Methods (==) :: Liveness -> Liveness -> Bool # (/=) :: Liveness -> Liveness -> Bool #
Generic Liveness Source #
Instance details Defined in Kempe.Asm.Type Associated Types type Rep Liveness :: Type -> Type # Methods from :: Liveness -> Rep Liveness x # to :: Rep Liveness x -> Liveness #
NFData Liveness Source #
Instance details Defined in Kempe.Asm.Type Methods rnf :: Liveness -> () #
Pretty Liveness Source #
Instance details Defined in Kempe.Asm.Type Methods pretty :: Liveness -> Doc ann prettyList :: [Liveness] -> Doc ann
type Rep Liveness Source #
Instance details Defined in Kempe.Asm.Type type Rep Liveness = D1 ('MetaData "Liveness" "Kempe.Asm.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (C1 ('MetaCons "Liveness" 'PrefixI 'True) (S1 ('MetaSel ('Just "ins") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IntSet) :*: S1 ('MetaSel ('Just "out") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IntSet)))