Compiler.Hoopl
type Body n
type Body' block n
type Graph
data Graph' block n e x
class NonLocal thing
class LabelsPtr l
data O
data C
data MaybeO ex t
data MaybeC ex t
type family IndexedCO ex a b :: *
data Shape ex
data Block n e x
data AGraph n e x
class IfThenElseable x
class HooplNode n
class IsSet set
class IsMap map
class CheckpointMonad m
data DataflowLattice a
type JoinFun a
data OldFact a
data NewFact a
type family Fact x f :: *
data ChangeFlag
data FwdPass m n f
data FwdTransfer n f
data FwdRewrite m n f
data BwdPass m n f
data BwdTransfer n f
data BwdRewrite m n f
data Label
data LabelSet
data LabelMap v
type FactBase f
data Pointed t b a
type WithTop a
type WithBot a
type WithTopAndBot a
type Fuel
class FuelMonad m
class FuelMonadT fm
data CheckingFuelMonad m a
data InfiniteFuelMonad m a
type SimpleFuelMonad
type Unique
data UniqueSet
data UniqueMap v
class UniqueMonad m
data SimpleUniqueMonad a
data UniqueMonadT m a
type TraceFn