Safe Haskell	None
Language	Haskell2010

Satyros.QFIDL.Expressible

Documentation

data Expressible Source #

Constructors

Singleton Variable Operator Double
Difference Variable Variable Operator Double

Instances

Instances details

Eq Expressible Source #
Instance details Defined in Satyros.QFIDL.Expressible Methods (==) :: Expressible -> Expressible -> Bool # (/=) :: Expressible -> Expressible -> Bool #
Show Expressible Source #
Instance details Defined in Satyros.QFIDL.Expressible Methods showsPrec :: Int -> Expressible -> ShowS # show :: Expressible -> String # showList :: [Expressible] -> ShowS #
Generic Expressible Source #
Instance details Defined in Satyros.QFIDL.Expressible Associated Types type Rep Expressible :: Type -> Type # Methods from :: Expressible -> Rep Expressible x # to :: Rep Expressible x -> Expressible #
type Rep Expressible Source #
Instance details Defined in Satyros.QFIDL.Expressible type Rep Expressible = D1 ('MetaData "Expressible" "Satyros.QFIDL.Expressible" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'False) (C1 ('MetaCons "Singleton" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operator) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: C1 ('MetaCons "Difference" '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 Operator) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))

data Operator Source #

Constructors

(::<?)
(::<=?)
(::>?)
(::>=?)
(::=?)
(::<>?)

Instances

Instances details

Eq Operator Source #
Instance details Defined in Satyros.QFIDL.Expressible Methods (==) :: Operator -> Operator -> Bool # (/=) :: Operator -> Operator -> Bool #
Read Operator Source #
Instance details Defined in Satyros.QFIDL.Expressible Methods readsPrec :: Int -> ReadS Operator # readList :: ReadS [Operator] # readPrec :: ReadPrec Operator # readListPrec :: ReadPrec [Operator] #
Show Operator Source #
Instance details Defined in Satyros.QFIDL.Expressible Methods showsPrec :: Int -> Operator -> ShowS # show :: Operator -> String # showList :: [Operator] -> ShowS #
Generic Operator Source #
Instance details Defined in Satyros.QFIDL.Expressible Associated Types type Rep Operator :: Type -> Type # Methods from :: Operator -> Rep Operator x # to :: Rep Operator x -> Operator #
type Rep Operator Source #
Instance details Defined in Satyros.QFIDL.Expressible type Rep Operator = D1 ('MetaData "Operator" "Satyros.QFIDL.Expressible" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'False) ((C1 ('MetaCons "::<?" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "::<=?" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "::>?" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "::>=?" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "::=?" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "::<>?" 'PrefixI 'False) (U1 :: Type -> Type))))