Copyright | (c) Sebastian Graf 2017-2020 |
---|---|
License | ISC |
Maintainer | sgraf1337@gmail.com |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Dense data-flow graph representation based on IOVector
.
Synopsis
- data Ref domain
- newRef :: MonoMapKey (Products (ParamTypes domain)) => Int -> IO (Ref domain)
Documentation
Reference to a dense data-flow graph representation.
Instances
GraphRef Ref Source # | |
Defined in Datafix.Worklist.Graph.Dense 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 :: MonoMapKey (Products (ParamTypes domain)) => Int -> IO (Ref domain) Source #
Allocates a new dense graph Ref
.