CurryInfo: smtlib-3.0.0 / ParserComb.unexpected

definition:
unexpected :: Show tok => tok -> Parser tok a
unexpected t = Parser $ \_ -> Left $ "Unexpected token " ++ show t
demand:
no demanded arguments
deterministic:
deterministic operation
failfree:
(_, _)
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_) |-> _}
name:
unexpected
precedence:
no precedence defined
result-values:
_
signature:
Prelude.Show a => a -> Parser a b
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms