cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Tools.ParsingCombinators

Documentation

type Doc = Doc Source #

errorMessage :: ParseResult a -> Maybe Doc Source #

data ParseResult a Source #

Constructors

Parsed 

Fields

Instances

Instances details
Functor ParseResult Source # 
Instance details

Defined in Math.Tools.ParsingCombinators

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b #

(<$) :: a -> ParseResult b -> ParseResult a #

okparse :: String -> LineInfo -> a -> ParseResult a Source #

syntaxerror :: String -> LineInfo -> Doc -> ParseResult a Source #

mapValue :: (Either a Doc :==: Either a Doc) -> ParseResult a :==: ParseResult a Source #

mapLineInfo :: (LineInfo :==: LineInfo) -> ParseResult a :==: ParseResult a Source #

mapString :: (String :==: String) -> ParseResult a :==: ParseResult a Source #

mapError :: (Doc :==: Doc) -> ParseResult a :==: ParseResult a Source #

open :: ParseResult a :==: ((String, LineInfo), Either a Doc) Source #

newtype ParsingA i o Source #

Constructors

ParsingA 

Fields

Instances

Instances details
BiArrow ParsingA Source # 
Instance details

Defined in Math.Tools.ParsingCombinators

Methods

(<->) :: (a -> b) -> (b -> a) -> ParsingA a b Source #

Isomorphic ParsingA Source # 
Instance details

Defined in Math.Tools.ParsingCombinators

Methods

iso :: ParsingA a b -> a :==: b Source #

Category ParsingA Source # 
Instance details

Defined in Math.Tools.ParsingCombinators

Methods

id :: forall (a :: k). ParsingA a a #

(.) :: forall (b :: k) (c :: k) (a :: k). ParsingA b c -> ParsingA a b -> ParsingA a c #

Groupoid ParsingA Source # 
Instance details

Defined in Math.Tools.ParsingCombinators

Methods

invertA :: forall (a :: k) (b :: k). ParsingA a b -> ParsingA b a Source #

nextColumn :: ParsingA i i Source #

readChar :: ParsingA () Char Source #

eof :: ParsingA () () Source #

readWhile :: (Char -> Bool) -> ParsingA () String Source #