Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Expressible Source #
Instances
Instances
Eq Operator Source # | |
Read Operator Source # | |
Show Operator Source # | |
Generic Operator Source # | |
type Rep Operator Source # | |
Defined in Satyros.QFIDL.Expressible type Rep Operator = D1 ('MetaData "Operator" "Satyros.QFIDL.Expressible" "satyros-0.2.2.0-Cg3zl5q62ScLjXxMHwCbZF" '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)))) |