tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Processor.Parse

Description

This module defines utilities for parsing processors.

Documentation

parseTimeout :: CharParser st (Maybe Int)

natural :: CharParser st Int

double :: CharParser st Double

identifier :: CharParser st String

whiteSpace :: CharParser st ()

bool :: CharParser st Bool

eltOf :: [String] -> CharParser st String

stringLit :: CharParser st String

parens :: CharParser st a -> CharParser st a

brackets :: CharParser st a -> CharParser st a

fromString :: CharParser st a -> st -> SourceName -> String -> Either ParseError a