moltap Contents Index

Moltap.Base.Parser Portability portable Stability experimental Maintainer twanvl@gmail.com

Description

Parser for modal formulas

Synopsis

unsafeParse :: Parsable a => String -> a tryParse :: Parsable a => String -> Either ParseError a tryParseNamed :: Parsable a => String -> String -> Either ParseError a class Parsable a where parser :: CharParser () a

Documentation

unsafeParse :: Parsable a => String -> a

Parse something, throw an error if it fails

tryParse :: Parsable a => String -> Either ParseError a

Parse something, return either an error, or the result

tryParseNamed :: Parsable a => String -> String -> Either ParseError a

Parse something with a name, return either an error, or the result

class Parsable a where

Things that can be parsed Methods parser :: CharParser () a Instances Parsable Formula Parsable Program

Produced by Haddock version 0.8