Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class (MonadError e m_e, MonadError e' m_e') => MonadMapError e m_e e' m_e' | m_e -> e, m_e' -> e', m_e e' -> m_e', m_e' e -> m_e where
- (?=>>) :: (MonadMapError e m_e (Either e e') m_Either_e_e', MonadMapError Void m_Void (Either e e') m_Either_e_e', MonadMapError (Either e e') m_Either_e_e' e' m_e') => m_e a -> (e -> m_Void e') -> m_e' a
- (?>>) :: (MonadMapError () m_Unit (Maybe e) m_Maybe_e, MonadMapError Void m_Void (Maybe e) m_Maybe_e, MonadMapError (Maybe e) m_Maybe_e e m_e) => m_Unit a -> m_Void e -> m_e a
- class (DecodingState s, DecodingToken s ~ Text, DecodingTextRead s) => DefaultParsingState s
- type GetT s i o e m = ConduitT i o (GetC s i e m)
- type Parser e a = forall s o m. (DefaultParsingState s, Monad m) => GetT s Text o e m a
- runParser :: Monad m => GetT TextOffset i o e m a -> ConduitT i o m (Either e a)
- charsRead :: (DecodingState s, DecodingElemsRead s, Monad m) => GetT s i o e m Word64
- linesRead :: (DecodingState s, DecodingLinesRead s, Monad m) => GetT s i o e m Word64
- columnsRead :: (DecodingState s, DecodingColumnsRead s, Monad m) => GetT s i o e m Word64
- castParser :: (DecodingState s, DecodingToken s ~ Text, Monad m) => Parser a -> GetT s Text o (NonEmpty String) m a
- pCharIs :: Char -> Parser () Char
- skipCharIs :: Char -> Parser () ()
- pChar :: Parser () Char
- pCharIsNot :: Char -> Parser () Char
- satisfy :: (Char -> Bool) -> Parser () Char
- satisfyWith :: (Char -> a) -> (a -> Bool) -> Parser () a
- skip1 :: (Char -> Bool) -> Parser () ()
- peekChar :: Parser e (Maybe Char)
- peekChar' :: Parser e Char
- pDigit :: Integral a => Parser () a
- pHexDigit :: Integral a => Parser () a
- pHexByte :: Parser () Word8
- pLetter :: Parser () Char
- pSpace :: Parser () Char
- inClass :: String -> Char -> Bool
- notInClass :: String -> Char -> Bool
- pStringIs :: Text -> Parser () Text
- skipStringIs :: Text -> Parser () ()
- pAsciiIgnoringCaseIs :: Text -> Parser () Text
- skipSpace :: Parser () ()
- skipWhile :: (Char -> Bool) -> Parser e ()
- scan :: s -> (s -> Char -> Maybe s) -> Parser e Text
- runScanner :: s -> (s -> Char -> Maybe s) -> Parser e (Text, s)
- pString :: Int -> Parser () Text
- pStringWhile :: (Char -> Bool) -> Parser e Text
- pStringWhile1 :: (Char -> Bool) -> Parser () Text
- pStringTill :: (Char -> Bool) -> Parser e Text
- pRemainingString :: Parser e Text
- pRemainingLazyString :: Parser e Text
- skipEndOfLine :: Parser () ()
- isEndOfLine :: Char -> Bool
- isHorizontalSpace :: Char -> Bool
- pDecimal :: Integral a => Parser () a
- pHexadecimal :: (Integral a, Bits a) => Parser () a
- pSignedDecimal :: Integral a => Parser () a
- pSignedHexadecimal :: (Integral a, Bits a) => Parser () a
- pDouble :: Parser () Double
- pRational :: Fractional a => Parser () a
- pScientific :: Parser () Scientific
- choice :: Alternative f => [f a] -> f a
- count :: Monad m => Int -> m a -> m [a]
- option'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' (Maybe a)
- many'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' [a]
- many1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e (NonEmpty a)
- manyTill'' :: (MonadPlus m_Unit, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e' b -> m_e [a]
- sepBy'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e'' m_e'', MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e'' [a]
- sepBy1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e (NonEmpty a)
- skipMany'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' ()
- skipMany1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e ()
- eitherP :: Alternative f => f a -> f b -> f (Either a b)
- matchP :: (DecodingState s, Monoid (DecodingToken s), Monad m) => GetT s (DecodingToken s) o e m a -> GetT s (DecodingToken s) o e m (DecodingToken s, a)
- tryP :: Monad m => GetT s i o e m a -> GetT s i o e m a
- pEnum :: (Eq a, Ord a, Enum a, Bounded a, Show a) => Int -> Parser () a
- endOfInput :: (DecodingState s, MonoFoldable (DecodingToken s), Monad m) => GetT s (DecodingToken s) o () m ()
Documentation
class (MonadError e m_e, MonadError e' m_e') => MonadMapError e m_e e' m_e' | m_e -> e, m_e' -> e', m_e e' -> m_e', m_e' e -> m_e where Source #
Instances
MonadMapError e (Either e) e' (Either e') Source # | |
Monad m => MonadMapError e (ExceptT e m) e' (ExceptT e' m) Source # | |
MonadMapError e m_e e' m_e' => MonadMapError e (ConduitT i o m_e) e' (ConduitT i o m_e') Source # | |
Monad m => MonadMapError e (GetC s i e m) e' (GetC s i e' m) Source # | |
(?=>>) :: (MonadMapError e m_e (Either e e') m_Either_e_e', MonadMapError Void m_Void (Either e e') m_Either_e_e', MonadMapError (Either e e') m_Either_e_e' e' m_e') => m_e a -> (e -> m_Void e') -> m_e' a infixl 1 Source #
(?>>) :: (MonadMapError () m_Unit (Maybe e) m_Maybe_e, MonadMapError Void m_Void (Maybe e) m_Maybe_e, MonadMapError (Maybe e) m_Maybe_e e m_e) => m_Unit a -> m_Void e -> m_e a infixl 1 Source #
class (DecodingState s, DecodingToken s ~ Text, DecodingTextRead s) => DefaultParsingState s Source #
Instances
(DecodingState s, DecodingToken s ~ Text, DecodingTextRead s) => DefaultParsingState s Source # | |
Defined in Data.Conduit.Parsers.Text.Parser |
type GetT s i o e m = ConduitT i o (GetC s i e m) Source #
A ConduitT
with internal transformers supposed to a binary deserialization.
type Parser e a = forall s o m. (DefaultParsingState s, Monad m) => GetT s Text o e m a Source #
The shortening of GetT
for the most common use case of text deserialization.
runParser :: Monad m => GetT TextOffset i o e m a -> ConduitT i o m (Either e a) Source #
Run a decoder presented as a Get
monad.
Returns decoder result and consumed bytes count.
charsRead :: (DecodingState s, DecodingElemsRead s, Monad m) => GetT s i o e m Word64 Source #
Get the total number of bytes read to this point.
linesRead :: (DecodingState s, DecodingLinesRead s, Monad m) => GetT s i o e m Word64 Source #
Get the total number of bytes read to this point.
columnsRead :: (DecodingState s, DecodingColumnsRead s, Monad m) => GetT s i o e m Word64 Source #
Get the total number of bytes read to this point.
castParser :: (DecodingState s, DecodingToken s ~ Text, Monad m) => Parser a -> GetT s Text o (NonEmpty String) m a Source #
Run the given Get
monad from binary package
and convert result into Get
.
skipCharIs :: Char -> Parser () () Source #
inClass :: String -> Char -> Bool #
Match any character in a set.
vowel = inClass "aeiou"
Range notation is supported.
halfAlphabet = inClass "a-nA-N"
To add a literal '-'
to a set, place it at the beginning or end
of the string.
notInClass :: String -> Char -> Bool #
Match any character not in a set.
skipStringIs :: Text -> Parser () () Source #
pRemainingString :: Parser e Text Source #
skipEndOfLine :: Parser () () Source #
isEndOfLine :: Char -> Bool #
A predicate that matches either a carriage return '\r'
or
newline '\n'
character.
isHorizontalSpace :: Char -> Bool #
A predicate that matches either a space ' '
or horizontal tab
'\t'
character.
pSignedDecimal :: Integral a => Parser () a Source #
pRational :: Fractional a => Parser () a Source #
pScientific :: Parser () Scientific Source #
choice :: Alternative f => [f a] -> f a #
choice ps
tries to apply the actions in the list ps
in order,
until one of them succeeds. Returns the value of the succeeding
action.
option'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' (Maybe a) Source #
many'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' [a] Source #
many1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e (NonEmpty a) Source #
manyTill'' :: (MonadPlus m_Unit, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e' b -> m_e [a] Source #
sepBy'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e'' m_e'', MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e'' [a] Source #
sepBy1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e (NonEmpty a) Source #
skipMany'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' () Source #
skipMany1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e () Source #
eitherP :: Alternative f => f a -> f b -> f (Either a b) #
Combine two alternatives.
matchP :: (DecodingState s, Monoid (DecodingToken s), Monad m) => GetT s (DecodingToken s) o e m a -> GetT s (DecodingToken s) o e m (DecodingToken s, a) Source #
endOfInput :: (DecodingState s, MonoFoldable (DecodingToken s), Monad m) => GetT s (DecodingToken s) o () m () Source #