Satyros.QFIDL.Expressible

Documentation

data Expressible

Constructors

Singleton Variable Operator Double

Difference Variable Variable Operator Double

Instances

Eq Expressible

Defined in Satyros.QFIDL.Expressible

Methods

(==) :: Expressible -> Expressible -> Bool

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

Show Expressible

Defined in Satyros.QFIDL.Expressible

Methods

showsPrec :: Int -> Expressible -> ShowS

show :: Expressible -> String

showList :: [Expressible] -> ShowS

data Operator

Constructors

(::<?)

(::<=?)

(::>?)

(::>=?)

(::=?)

(::<>?)

Instances

Eq Operator

Defined in Satyros.QFIDL.Expressible

Methods

(==) :: Operator -> Operator -> Bool

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

Show Operator

Defined in Satyros.QFIDL.Expressible

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS