hoopl-3.7.4.0: A library to support dataflow analysis and optimization

Compiler.Hoopl.Label

Documentation

data Label Source

Instances

Eq Label
Ord Label
Show Label
Labels Label

allLabels :: [Label]Source

type LabelMap a = IntMap aSource

type FactBase a = IntMap aSource

noFacts :: FactBase fSource

mkFactBase :: [(Label, f)] -> FactBase fSource

unitFact :: Label -> FactBase f -> FactBase fSource

lookupFact :: FactBase f -> Label -> Maybe fSource

extendFactBase :: FactBase f -> Label -> f -> FactBase fSource

delFromFactBase :: FactBase f -> [(Label, a)] -> FactBase fSource

unionFactBase :: FactBase f -> FactBase f -> FactBase fSource

elemFactBase :: Label -> FactBase f -> Bool Source

factBaseLabels :: FactBase f -> [Label]Source

factBaseList :: FactBase f -> [(Label, f)]Source

type LabelSet = IntSet Source

emptyLabelSet :: LabelSet Source

extendLabelSet :: LabelSet -> Label -> LabelSet Source

reduceLabelSet :: LabelSet -> Label -> LabelSet Source

mkLabelSet :: [Label] -> LabelSet Source

elemLabelSet :: Label -> LabelSet -> Bool Source

labelSetElems :: LabelSet -> [Label]Source

minusLabelSet :: LabelSet -> LabelSet -> LabelSet Source

unionLabelSet :: LabelSet -> LabelSet -> LabelSet Source

interLabelSet :: LabelSet -> LabelSet -> LabelSet Source

sizeLabelSet :: LabelSet -> Int Source