Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Op

Synopsis

Documentation

newtype Op Source #

The operators used in RuntimeTerm and MetaTerm

Constructors

Instances details

IsString Op Source #
Instance details Defined in Language.REST.Op Methods fromString :: String -> Op #
Generic Op Source #
Instance details Defined in Language.REST.Op Associated Types type Rep Op :: Type -> Type # Methods from :: Op -> Rep Op x # to :: Rep Op x -> Op #
Show Op Source #
Instance details Defined in Language.REST.Op Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
Eq Op Source #
Instance details Defined in Language.REST.Op Methods (==) :: Op -> Op -> Bool # (/=) :: Op -> Op -> Bool #
Ord Op Source #
Instance details Defined in Language.REST.Op Methods compare :: Op -> Op -> Ordering # (<) :: Op -> Op -> Bool # (<=) :: Op -> Op -> Bool # (>) :: Op -> Op -> Bool # (>=) :: Op -> Op -> Bool # max :: Op -> Op -> Op # min :: Op -> Op -> Op #
Hashable Op Source #
Instance details Defined in Language.REST.Op Methods hashWithSalt :: Int -> Op -> Int # hash :: Op -> Int #
ToRuntimeTerm Op Source #
Instance details Defined in Language.REST.RuntimeTerm Methods toRuntimeTerm :: Op -> RuntimeTerm Source #
ToSMTVar Op Int Source #
Instance details Defined in Language.REST.Op Methods toSMTVar :: Op -> SMTVar Int Source #
type Rep Op Source #
Instance details Defined in Language.REST.Op type Rep Op = D1 ('MetaData "Op" "Language.REST.Op" "rest-rewrite-0.4.1-nnmMncO1JP25mfUNet9Kl" 'True) (C1 ('MetaCons "Op" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))