CurryInfo: det-parse-3.0.0 / DetParse.yield

definition: Info
 
yield :: a -> Parser a
yield x = \s -> [(x, s)]
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
A parser that consumes no input and results in the given value.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {yield._#lambda3}}
name: Info
 yield
precedence: Info
 no precedence defined
result-values: Info
 {yield._#lambda3}
signature: Info
 a -> String -> [(a, String)]
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms