Safe Haskell | None |
---|---|
Language | Haskell98 |
Camfort.Analysis.Annotations
Documentation
data ReduceType Source #
data AccessPatternType Source #
Constructors
Regular | |
RegularAndConstants | |
Irregular | |
Undecidable |
type A = Annotation Source #
data Annotation Source #
Constructors
A | |
Fields
|
Instances
liveOut :: Annotation -> [Access] Source #
liveIn :: Annotation -> [Access] Source #
pRefactored :: Annotation -> Bool Source #