Satyros.QFIDL.Expressed
data Expressed Source #
Constructors
Defined in Satyros.QFIDL.Expressed
Methods
(==) :: Expressed -> Expressed -> Bool #
(/=) :: Expressed -> Expressed -> Bool #
compare :: Expressed -> Expressed -> Ordering #
(<) :: Expressed -> Expressed -> Bool #
(<=) :: Expressed -> Expressed -> Bool #
(>) :: Expressed -> Expressed -> Bool #
(>=) :: Expressed -> Expressed -> Bool #
max :: Expressed -> Expressed -> Expressed #
min :: Expressed -> Expressed -> Expressed #
showsPrec :: Int -> Expressed -> ShowS #
show :: Expressed -> String #
showList :: [Expressed] -> ShowS #
variablesInExpressed :: Expressed -> Set Variable Source #