datafix-0.0.1.0: Fixing data-flow problems

Copyright(c) Sebastian Graf 2017-2020
LicenseISC
Maintainersgraf1337@gmail.com
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Datafix.Worklist.Graph.Sparse

Description

Sparse data-flow graph representation based on IntMap.

Synopsis

Documentation

data Ref domain Source #

Reference to a sparse data-flow graph representation.

Instances
GraphRef Ref Source # 
Instance details

Defined in Datafix.Worklist.Graph.Sparse

Methods

updatePoint :: MonoMapKey (Products (ParamTypes domain)) => Int -> Products (ParamTypes domain) -> ReturnType domain -> IntArgsMonoSet (Products (ParamTypes domain)) -> ReaderT (Ref domain) IO (PointInfo domain) Source #

lookup :: MonoMapKey (Products (ParamTypes domain)) => Int -> Products (ParamTypes domain) -> ReaderT (Ref domain) IO (Maybe (PointInfo domain)) Source #

lookupLT :: MonoMapKey (Products (ParamTypes domain)) => Int -> Products (ParamTypes domain) -> ReaderT (Ref domain) IO [(Products (ParamTypes domain), PointInfo domain)] Source #

newRef :: IO (Ref domain) Source #

Allocates a new sparse graph Ref.