Safe Haskell	None
Language	Haskell2010

Text.Parser.Wrapper

Description

Newtype wrappers for parsers

Synopsis

newtype Lazy f a = Lazy {
- getLazy :: f a
}
newtype Strict f a = Strict {
- getStrict :: f a
}

Documentation

newtype Lazy f a Source #

Wrapper that signifies lazy ByteString inputs

Constructors

Lazy
Fields getLazy :: f a

Instances

Instances details

Monad f => Monad (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods (>>=) :: Lazy f a -> (a -> Lazy f b) -> Lazy f b # (>>) :: Lazy f a -> Lazy f b -> Lazy f b # return :: a -> Lazy f a #
Functor f => Functor (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods fmap :: (a -> b) -> Lazy f a -> Lazy f b # (<$) :: a -> Lazy f b -> Lazy f a #
Applicative f => Applicative (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods pure :: a -> Lazy f a # (<>) :: Lazy f (a -> b) -> Lazy f a -> Lazy f b # liftA2 :: (a -> b -> c) -> Lazy f a -> Lazy f b -> Lazy f c # (>) :: Lazy f a -> Lazy f b -> Lazy f b # (<*) :: Lazy f a -> Lazy f b -> Lazy f a #
Alternative f => Alternative (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods empty :: Lazy f a # (<\|>) :: Lazy f a -> Lazy f a -> Lazy f a # some :: Lazy f a -> Lazy f [a] # many :: Lazy f a -> Lazy f [a] #
MonadPlus f => MonadPlus (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods mzero :: Lazy f a # mplus :: Lazy f a -> Lazy f a -> Lazy f a #
TokenParsing f => TokenParsing (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods someSpace :: Lazy f () # nesting :: Lazy f a -> Lazy f a # semi :: Lazy f Char # highlight :: Highlight -> Lazy f a -> Lazy f a # token :: Lazy f a -> Lazy f a #
LookAheadParsing f => LookAheadParsing (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods lookAhead :: Lazy f a -> Lazy f a #
CharParsing f => CharParsing (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods satisfy :: (Char -> Bool) -> Lazy f Char # char :: Char -> Lazy f Char # notChar :: Char -> Lazy f Char # anyChar :: Lazy f Char # string :: String -> Lazy f String # text :: Text -> Lazy f Text #
Parsing f => Parsing (Lazy f) Source #
Instance details Defined in Text.Parser.Wrapper Methods try :: Lazy f a -> Lazy f a # (<?>) :: Lazy f a -> String -> Lazy f a # skipMany :: Lazy f a -> Lazy f () # skipSome :: Lazy f a -> Lazy f () # unexpected :: String -> Lazy f a # eof :: Lazy f () # notFollowedBy :: Show a => Lazy f a -> Lazy f () #
ConsumedInputParsing (Lazy Get) Source #
Instance details Defined in Text.Parser.Input Methods match :: Lazy Get a -> Lazy Get (ParserInput (Lazy Get), a) Source #
InputParsing (Lazy Get) Source #
Instance details Defined in Text.Parser.Input Associated Types type ParserInput (Lazy Get) Source # type ParserPosition (Lazy Get) Source # Methods getInput :: Lazy Get (ParserInput (Lazy Get)) Source # getSourcePos :: Lazy Get (ParserPosition (Lazy Get)) Source # anyToken :: Lazy Get (ParserInput (Lazy Get)) Source # take :: Int -> Lazy Get (ParserInput (Lazy Get)) Source # satisfy :: (ParserInput (Lazy Get) -> Bool) -> Lazy Get (ParserInput (Lazy Get)) Source # notSatisfy :: (ParserInput (Lazy Get) -> Bool) -> Lazy Get () Source # scan :: state -> (state -> ParserInput (Lazy Get) -> Maybe state) -> Lazy Get (ParserInput (Lazy Get)) Source # string :: ParserInput (Lazy Get) -> Lazy Get (ParserInput (Lazy Get)) Source # takeWhile :: (ParserInput (Lazy Get) -> Bool) -> Lazy Get (ParserInput (Lazy Get)) Source # takeWhile1 :: (ParserInput (Lazy Get) -> Bool) -> Lazy Get (ParserInput (Lazy Get)) Source #
DeterministicParsing (Lazy Get) Source #
Instance details Defined in Text.Parser.Deterministic Methods (<<\|>) :: Lazy Get a -> Lazy Get a -> Lazy Get a Source # takeOptional :: Lazy Get a -> Lazy Get (Maybe a) Source # takeMany :: Lazy Get a -> Lazy Get [a] Source # takeSome :: Lazy Get a -> Lazy Get [a] Source # concatAll :: Monoid a => Lazy Get a -> Lazy Get a Source # skipAll :: Lazy Get a -> Lazy Get () Source #
Eq (f a) => Eq (Lazy f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods (==) :: Lazy f a -> Lazy f a -> Bool # (/=) :: Lazy f a -> Lazy f a -> Bool #
Ord (f a) => Ord (Lazy f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods compare :: Lazy f a -> Lazy f a -> Ordering # (<) :: Lazy f a -> Lazy f a -> Bool # (<=) :: Lazy f a -> Lazy f a -> Bool # (>) :: Lazy f a -> Lazy f a -> Bool # (>=) :: Lazy f a -> Lazy f a -> Bool # max :: Lazy f a -> Lazy f a -> Lazy f a # min :: Lazy f a -> Lazy f a -> Lazy f a #
Read (f a) => Read (Lazy f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods readsPrec :: Int -> ReadS (Lazy f a) # readList :: ReadS [Lazy f a] # readPrec :: ReadPrec (Lazy f a) # readListPrec :: ReadPrec [Lazy f a] #
Show (f a) => Show (Lazy f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods showsPrec :: Int -> Lazy f a -> ShowS # show :: Lazy f a -> String # showList :: [Lazy f a] -> ShowS #
type ParserInput (Lazy Get) Source #
Instance details Defined in Text.Parser.Input type ParserInput (Lazy Get) = ByteString
type ParserPosition (Lazy Get) Source #
Instance details Defined in Text.Parser.Input type ParserPosition (Lazy Get) = Int

newtype Strict f a Source #

Wrapper that signifies strict ByteString inputs

Constructors

Strict
Fields getStrict :: f a

Instances

Instances details

Monad f => Monad (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods (>>=) :: Strict f a -> (a -> Strict f b) -> Strict f b # (>>) :: Strict f a -> Strict f b -> Strict f b # return :: a -> Strict f a #
Functor f => Functor (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods fmap :: (a -> b) -> Strict f a -> Strict f b # (<$) :: a -> Strict f b -> Strict f a #
Applicative f => Applicative (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods pure :: a -> Strict f a # (<>) :: Strict f (a -> b) -> Strict f a -> Strict f b # liftA2 :: (a -> b -> c) -> Strict f a -> Strict f b -> Strict f c # (>) :: Strict f a -> Strict f b -> Strict f b # (<*) :: Strict f a -> Strict f b -> Strict f a #
Alternative f => Alternative (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods empty :: Strict f a # (<\|>) :: Strict f a -> Strict f a -> Strict f a # some :: Strict f a -> Strict f [a] # many :: Strict f a -> Strict f [a] #
MonadPlus f => MonadPlus (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods mzero :: Strict f a # mplus :: Strict f a -> Strict f a -> Strict f a #
TokenParsing f => TokenParsing (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods someSpace :: Strict f () # nesting :: Strict f a -> Strict f a # semi :: Strict f Char # highlight :: Highlight -> Strict f a -> Strict f a # token :: Strict f a -> Strict f a #
LookAheadParsing f => LookAheadParsing (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods lookAhead :: Strict f a -> Strict f a #
CharParsing f => CharParsing (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods satisfy :: (Char -> Bool) -> Strict f Char # char :: Char -> Strict f Char # notChar :: Char -> Strict f Char # anyChar :: Strict f Char # string :: String -> Strict f String # text :: Text -> Strict f Text #
Parsing f => Parsing (Strict f) Source #
Instance details Defined in Text.Parser.Wrapper Methods try :: Strict f a -> Strict f a # (<?>) :: Strict f a -> String -> Strict f a # skipMany :: Strict f a -> Strict f () # skipSome :: Strict f a -> Strict f () # unexpected :: String -> Strict f a # eof :: Strict f () # notFollowedBy :: Show a => Strict f a -> Strict f () #
ConsumedInputParsing (Strict Get) Source #
Instance details Defined in Text.Parser.Input Methods match :: Strict Get a -> Strict Get (ParserInput (Strict Get), a) Source #
InputParsing (Strict Get) Source #
Instance details Defined in Text.Parser.Input Associated Types type ParserInput (Strict Get) Source # type ParserPosition (Strict Get) Source # Methods getInput :: Strict Get (ParserInput (Strict Get)) Source # getSourcePos :: Strict Get (ParserPosition (Strict Get)) Source # anyToken :: Strict Get (ParserInput (Strict Get)) Source # take :: Int -> Strict Get (ParserInput (Strict Get)) Source # satisfy :: (ParserInput (Strict Get) -> Bool) -> Strict Get (ParserInput (Strict Get)) Source # notSatisfy :: (ParserInput (Strict Get) -> Bool) -> Strict Get () Source # scan :: state -> (state -> ParserInput (Strict Get) -> Maybe state) -> Strict Get (ParserInput (Strict Get)) Source # string :: ParserInput (Strict Get) -> Strict Get (ParserInput (Strict Get)) Source # takeWhile :: (ParserInput (Strict Get) -> Bool) -> Strict Get (ParserInput (Strict Get)) Source # takeWhile1 :: (ParserInput (Strict Get) -> Bool) -> Strict Get (ParserInput (Strict Get)) Source #
DeterministicParsing (Strict Get) Source #
Instance details Defined in Text.Parser.Deterministic Methods (<<\|>) :: Strict Get a -> Strict Get a -> Strict Get a Source # takeOptional :: Strict Get a -> Strict Get (Maybe a) Source # takeMany :: Strict Get a -> Strict Get [a] Source # takeSome :: Strict Get a -> Strict Get [a] Source # concatAll :: Monoid a => Strict Get a -> Strict Get a Source # skipAll :: Strict Get a -> Strict Get () Source #
Eq (f a) => Eq (Strict f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods (==) :: Strict f a -> Strict f a -> Bool # (/=) :: Strict f a -> Strict f a -> Bool #
Ord (f a) => Ord (Strict f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods compare :: Strict f a -> Strict f a -> Ordering # (<) :: Strict f a -> Strict f a -> Bool # (<=) :: Strict f a -> Strict f a -> Bool # (>) :: Strict f a -> Strict f a -> Bool # (>=) :: Strict f a -> Strict f a -> Bool # max :: Strict f a -> Strict f a -> Strict f a # min :: Strict f a -> Strict f a -> Strict f a #
Read (f a) => Read (Strict f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods readsPrec :: Int -> ReadS (Strict f a) # readList :: ReadS [Strict f a] # readPrec :: ReadPrec (Strict f a) # readListPrec :: ReadPrec [Strict f a] #
Show (f a) => Show (Strict f a) Source #
Instance details Defined in Text.Parser.Wrapper Methods showsPrec :: Int -> Strict f a -> ShowS # show :: Strict f a -> String # showList :: [Strict f a] -> ShowS #
type ParserInput (Strict Get) Source #
Instance details Defined in Text.Parser.Input type ParserInput (Strict Get) = ByteString
type ParserPosition (Strict Get) Source #
Instance details Defined in Text.Parser.Input type ParserPosition (Strict Get) = Int