Text.Parser: flip argument order of `parse`
commit5d0b8a35ee7a8b19e685d77241b261d42300404e
authorMichael Morgan <morgan.michael@me.com>
dateMon 30 Oct 2017, 15:03 (9 years ago)
parenta33e785
libs/contrib/Text/Parser/Core.idr+2−2
@@ -242,9 +242,9 @@ data ParseError tok = Error String (List tok)
242242||| returns a pair of the parse result and the unparsed tokens (the remaining
243243||| input).
244244export
245−parse : (xs : List tok) -> (act : Grammar tok c ty) ->
245+parse : (act : Grammar tok c ty) -> (xs : List tok) ->
246246 Either (ParseError tok) (ty, List tok)
247−parse xs act
247+parse act xs
248248 = case doParse False xs act of
249249 Failure _ msg ts => Left (Error msg ts)
250250 EmptyRes _ val rest => pure (val, rest)