TParsec.Running

interface MonadRun 

runMonad : MonadRun mn => mn a -> List a

interface Pointed 

point : Pointed a => a

data Singleton : a -> Type

MkSingleton : (v : a) -> Singleton v

interface SizedInput 

sizedInput : SizedInput tok toks => (ts : List tok) -> toks (length ts)

interface Tokenizer 

tokenize : Tokenizer tok => String -> List tok

parseMaybe : MonadRun mn => Tokenizer (Tok p) => SizedInput (Tok p) (Toks p) => String -> All (Parser mn p a) -> Maybe a

parseResult : MonadRun mn => Tokenizer (Tok p) => SizedInput (Tok p) (Toks p) => String -> All (Parser (TParsecT e an mn) p a) -> Result e (Maybe a)

parseResults : MonadRun mn => Tokenizer (Tok p) => SizedInput (Tok p) (Toks p) => String -> All (Parser (TParsecT e an mn) p a) -> Result e (List a)

parseType : MonadRun mn => Tokenizer (Tok p) => SizedInput (Tok p) (Toks p) => String -> All (Parser mn p a) -> Type