rest-rewrite-0.4.4: Rewriting library with online termination checking

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Op

Synopsis

newtype Op = Op Text

Documentation

newtype Op Source #

The operators used in RuntimeTerm and MetaTerm

Constructors

Instances

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
Instance details Defined in Language.REST.Op type Rep Op = D1 ('MetaData "Op" "Language.REST.Op" "rest-rewrite-0.4.4-A53K0Fl2ieA4Eel1rqijsb" 'True) (C1 ('MetaCons "Op" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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 #

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.4-A53K0Fl2ieA4Eel1rqijsb" 'True) (C1 ('MetaCons "Op" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))