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

Generic Variable

Defined in Satyros.QFIDL.Variable

Associated Types

type Rep Variable :: Type -> Type

Methods

from :: Variable -> Rep Variable x

to :: Rep Variable x -> Variable

MonadState Storage BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

get :: BellmanFord Storage

put :: Storage -> BellmanFord ()

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

type Rep Variable

Defined in Satyros.QFIDL.Variable

type Rep Variable = D1 ('MetaData "Variable" "Satyros.QFIDL.Variable" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "VariableInternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))