ConditionalRestriction.Internal.Parse.ParserLib

Parsing library. Implements a simple Parser type, and some basic parsers, e.g. ws, dbl.

Documentation

newtype Parser i a

A generic parser. Takes an input type i and returns an output type a.

Constructors

Parser

Fields

• parse :: i -> Result String (a, i)

Instances

Alternative (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

empty :: Parser i a

(<|>) :: Parser i a -> Parser i a -> Parser i a

some :: Parser i a -> Parser i [a]

many :: Parser i a -> Parser i [a]

Applicative (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

pure :: a -> Parser i a

(<*>) :: Parser i (a -> b) -> Parser i a -> Parser i b

liftA2 :: (a -> b -> c) -> Parser i a -> Parser i b -> Parser i c

(*>) :: Parser i a -> Parser i b -> Parser i b

(<*) :: Parser i a -> Parser i b -> Parser i a

Functor (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

fmap :: (a -> b) -> Parser i a -> Parser i b

(<$) :: a -> Parser i b -> Parser i a

Monad (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

(>>=) :: Parser i a -> (a -> Parser i b) -> Parser i b

(>>) :: Parser i a -> Parser i b -> Parser i b

return :: a -> Parser i a

str :: String -> Parser String String

anyOf :: [Char] -> Parser String Char

noneOf :: [Char] -> Parser String Char

ws :: Parser String String

word :: String -> Parser String String

tok :: Parser String String

dbl :: Parser String Double

bint :: Int -> Parser String Int

end :: Parser String ()

shorten :: Int -> String -> String

strip :: String -> String