| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Satyros.QFIDL.Variable
Documentation
Instances
| Eq Variable Source # | |
| Ord Variable Source # | |
Defined in Satyros.QFIDL.Variable | |
| Show Variable Source # | |
| MonadState BellmanFordStore BellmanFord Source # | |
Defined in Satyros.BellmanFord.Effect Methods get :: BellmanFord BellmanFordStore # put :: BellmanFordStore -> BellmanFord () # state :: (BellmanFordStore -> (a, BellmanFordStore)) -> BellmanFord a # | |