| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Kempe.Asm.Liveness
Description
Based on the Appel book.
Documentation
Instances
| Eq Liveness Source # | |
| Generic Liveness Source # | |
| NFData Liveness Source # | |
Defined in Kempe.Asm.Type | |
| Pretty Liveness Source # | |
Defined in Kempe.Asm.Type | |
| type Rep Liveness Source # | |
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 #