Safe Haskell	Safe-Inferred
Language	GHC2021

Symparsec

Contents

Synopsis

type Run p sym = MapLeftRender (Run' p sym)
run' :: forall {s} {r} (p :: PParser s r) r'. SingParser p => (forall a. PR p a -> r') -> String -> Either (ERun String) (r', String)
module Symparsec.Parsers

Base definitions

Run the given parser on the given Symbol, returning an ErrorMessage on failure.

run' :: forall {s} {r} (p :: PParser s r) r'. SingParser p => (forall a. PR p a -> r') -> String -> Either (ERun String) (r', String) Source #

Run the singled version of type-level parser on the given String, returning an ERun on failure.

You must provide a function for demoting the singled return type. (demote can do this for you automatically.)

Parsers