Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via imports)
Safe HaskellNone

PGIP.Query

Description

query strings

Synopsis

Documentation

ppList :: [String] Source #

displayTypes :: [String] Source #

comorphs :: [String] Source #

data NodeCmd Source #

Constructors

Node 
Info 
Theory 
Symbols 
Translate String 

Instances

Eq NodeCmd Source # 

Methods

(==) :: NodeCmd -> NodeCmd -> Bool

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

Show NodeCmd Source # 

Methods

showsPrec :: Int -> NodeCmd -> ShowS

show :: NodeCmd -> String

showList :: [NodeCmd] -> ShowS

nodeCommands :: [String] Source #

proveParams :: [String] Source #

edgeCommands :: [String] Source #

knownQueryKeys :: [String] Source #

data DGQuery Source #

Constructors

DGQuery 

Fields

NewDGQuery 

Fields

Instances

Show DGQuery Source # 

Methods

showsPrec :: Int -> DGQuery -> ShowS

show :: DGQuery -> String

showList :: [DGQuery] -> ShowS

data Query Source #

Constructors

Query 

Instances

Show Query Source # 

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

type NodeIdOrName = Either Int String Source #

type QueryPair = (String, Maybe String) Source #

showQuery :: [QueryPair] -> String Source #

showPath :: [String] -> String Source #

showPathQuery :: [String] -> [QueryPair] -> String Source #

data ProveCmd Source #

Constructors

ProveCmd 

Fields

Instances

Eq ProveCmd Source # 

Methods

(==) :: ProveCmd -> ProveCmd -> Bool

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

Show ProveCmd Source # 

Methods

showsPrec :: Int -> ProveCmd -> ShowS

show :: ProveCmd -> String

showList :: [ProveCmd] -> ShowS

data NodeCommand Source #

Constructors

NcCmd NodeCmd 
NcProvers ProverMode (Maybe String) 
NcTranslations (Maybe String) 
ProveNode ProveCmd 

Instances

Eq NodeCommand Source # 

Methods

(==) :: NodeCommand -> NodeCommand -> Bool

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

Show NodeCommand Source # 

Methods

showsPrec :: Int -> NodeCommand -> ShowS

show :: NodeCommand -> String

showList :: [NodeCommand] -> ShowS

anaUri :: [String] -> [QueryPair] -> [String] -> Either String Query Source #

the path is not empty and leading slashes are removed

isNat :: String -> Bool Source #

getSwitches :: [QueryPair] -> Either String ([QueryPair], [(String, Flag)]) Source #

getArgFlags :: [QueryPair] -> IO (Either String ([QueryPair], [(String, String)], [Flag])) Source #

anaQuery :: [QueryPair] -> [String] -> Either String (Maybe Int, QueryKind) Source #

a leading question mark is removed, possibly a session id is returned

escMap :: [(Char, Char)] Source #

escStr :: String -> String Source #

unEsc :: String -> String Source #

decodePlus :: Char -> Char Source #

decodeQuery :: String -> String Source #

getFragOfCode :: String -> String Source #

getFragment :: String -> String Source #

anaNodeQuery :: [String] -> NodeIdOrName -> [String] -> [String] -> [QueryPair] -> Either String QueryKind Source #