Copyright | (c) Sebastian Graf 2017-2020 |
---|---|
License | ISC |
Maintainer | sgraf1337@gmail.com |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Datafix.Worklist.Graph.Sparse
Description
Sparse data-flow graph representation based on IntMap
.
Documentation
Reference to a sparse data-flow graph representation.
Instances
GraphRef Ref Source # | |
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 # |