kempe-0.2.0.2: Kempe compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Kempe.Asm.Liveness

Description

Based on the Appel book.

Documentation

data Liveness Source #

Instances

Instances details
Eq Liveness Source # 
Instance details

Defined in Kempe.Asm.Type

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.2.0.2-7aFdeCc8E8gKOrV08w2EMP-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)))

reconstruct :: (Copointed p, Functor p) => [p ControlAnn] -> [p Liveness] Source #