CurryInfo: det-parse-3.0.0 / DetParse.<!>

 
(<!>) :: Parser a -> Parser a -> Parser a
p <!> q = \s -> case p s of
                  [] -> q s
                  xs -> xs

 no demanded arguments

 deterministic operation

 
Builds a parser that tries its first argument parser and alternatively, if
the first one does not succeed, its second argument parser. In contrast to
`<|>`, this combinator does not backtrack. The second parser is applied to
the leftovers of the first parser. Use it if the alternatives are mutually
exclusive.

 (_, _)

 referentially transparent operation

 infixl

 {(_,_) |-> {<!>._#lambda7}}

 <!>

 3

 {<!>._#lambda7}

 (String -> [(a, String)]) -> (String -> [(a, String)]) -> String
-> [(a, String)]

 operation might suspend on free variables

 yes

 reducible on all ground data terms