datafix-0.0.0.2: Fixing data-flow problems

Copyright(c) Sebastian Graf 2018
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 # 

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.