CurryInfo: smtlib-3.0.0 / Language.SMTLIB.Parser.parseResponse

parseResponse :: SMTParser SMT.CmdResponse
parseResponse =  terminal KW_success     *> return SMT.SuccessRsp
             <|> terminal KW_sat         *> return (SMT.CheckSatRsp SMT.Sat)
             <|> terminal KW_unsat       *> return (SMT.CheckSatRsp SMT.Unsat)
             <|> terminal KW_unknown     *> return (SMT.CheckSatRsp SMT.Unknown)
             <|> terminal KW_unsupported *> return SMT.UnsupportedRsp
             <|> terminal LParen *> parseErrorRsp         <* terminal RParen
             <|> terminal LParen *> parseGetValueRsp      <* terminal RParen
             <|> terminal LParen *> parseGetModelRsp      <* terminal RParen
             <|> terminal LParen *> parseGetAssertionsRsp <* terminal RParen
             <|> terminal LParen *> parseGetAssignmentRsp <* terminal RParen
             <|> terminal LParen *> parseGetInfoRsp       <* terminal RParen
             <|> return SMT.EchoRsp <*> parseStr
             <|> return SMT.GetOptionRsp <*> parseAttrValue
             <|> return SMT.GetProofRsp <*> parseSExpr

no demanded arguments

deterministic operation

<FAILING>

referentially transparent operation

no fixity defined

{() |-> _}

parseResponse

no precedence defined

_

ParserComb.Parser Language.SMTLIB.Scanner.Token Language.SMTLIB.Types.CmdResponse

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term