Satyros.QFIDL.Variable

Documentation

data Variable where

Bundled Patterns

pattern ZeroVariable :: Variable

pattern Variable :: Word -> Variable

Instances

Eq Variable

Defined in Satyros.QFIDL.Variable

Methods

(==) :: Variable -> Variable -> Bool

(/=) :: Variable -> Variable -> Bool

Ord Variable

Defined in Satyros.QFIDL.Variable

Methods

compare :: Variable -> Variable -> Ordering

(<) :: Variable -> Variable -> Bool

(<=) :: Variable -> Variable -> Bool

(>) :: Variable -> Variable -> Bool

(>=) :: Variable -> Variable -> Bool

max :: Variable -> Variable -> Variable

min :: Variable -> Variable -> Variable

Show Variable

Defined in Satyros.QFIDL.Variable

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

MonadState Storage BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

get :: BellmanFord Storage

put :: Storage -> BellmanFord ()

state :: (Storage -> (a, Storage)) -> BellmanFord a