Safe Haskell	None
Language	Haskell2010

Satyros.QFIDL.Expressed

Documentation

data Expressed Source #

Constructors

LessThanEqualTo Variable Variable Int

Instances

Instances details

Eq Expressed Source #
Instance details Defined in Satyros.QFIDL.Expressed Methods (==) :: Expressed -> Expressed -> Bool # (/=) :: Expressed -> Expressed -> Bool #
Ord Expressed Source #
Instance details Defined in Satyros.QFIDL.Expressed Methods compare :: Expressed -> Expressed -> Ordering # (<) :: Expressed -> Expressed -> Bool # (<=) :: Expressed -> Expressed -> Bool # (>) :: Expressed -> Expressed -> Bool # (>=) :: Expressed -> Expressed -> Bool # max :: Expressed -> Expressed -> Expressed # min :: Expressed -> Expressed -> Expressed #
Show Expressed Source #
Instance details Defined in Satyros.QFIDL.Expressed Methods showsPrec :: Int -> Expressed -> ShowS # show :: Expressed -> String # showList :: [Expressed] -> ShowS #
Generic Expressed Source #
Instance details Defined in Satyros.QFIDL.Expressed Associated Types type Rep Expressed :: Type -> Type # Methods from :: Expressed -> Rep Expressed x # to :: Rep Expressed x -> Expressed #
type Rep Expressed Source #
Instance details Defined in Satyros.QFIDL.Expressed type Rep Expressed = D1 ('MetaData "Expressed" "Satyros.QFIDL.Expressed" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'False) (C1 ('MetaCons "LessThanEqualTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

variablesInExpressed :: Expressed -> Set Variable Source #