Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
pattern ZeroVariable :: Variable | |
pattern Variable :: Word -> Variable |
Instances
Eq Variable Source # | |
Ord Variable Source # | |
Defined in Satyros.QFIDL.Variable | |
Show Variable Source # | |
Generic Variable Source # | |
MonadState Storage BellmanFord Source # | |
Defined in Satyros.BellmanFord.Effect get :: BellmanFord Storage # put :: Storage -> BellmanFord () # state :: (Storage -> (a, Storage)) -> BellmanFord a # | |
type Rep Variable Source # | |
Defined in Satyros.QFIDL.Variable |