RefSerialize-0.4.0: Write to and read from ByteStrings maintaining internal memory references

Safe HaskellNone
LanguageHaskell98

Data.RefSerialize.Parser

Description

A Parsec parser for the refSerialize monad. See package Parsec. all the functions have the same meaning

Documentation

data STR a #

Constructors

STR (StatR -> Either Error (StatR, a)) 

Instances

Monad STR #

monadic serialization & deserialization

Methods

(>>=) :: STR a -> (a -> STR b) -> STR b #

(>>) :: STR a -> STR b -> STR b #

return :: a -> STR a #

fail :: String -> STR a #

Functor STR # 

Methods

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

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

Applicative STR # 

Methods

pure :: a -> STR a #

(<*>) :: STR (a -> b) -> STR a -> STR b #

(*>) :: STR a -> STR b -> STR b #

(<*) :: STR a -> STR b -> STR a #

Alternative STR # 

Methods

empty :: STR a #

(<|>) :: STR a -> STR a -> STR a #

some :: STR a -> STR [a] #

many :: STR a -> STR [a] #

MonadPlus STR # 

Methods

mzero :: STR a #

mplus :: STR a -> STR a -> STR a #

data StatR #

Constructors

StatR (Context, ByteString, ByteString) 

(<?>) :: STR a -> String -> STR a infix 0 #

(<|>) :: STR a -> STR a -> STR a infixr 1 #

char :: Char -> STR Char #

anyChar :: STR Char #

string :: [Char] -> STR [Char] #

upper :: STR Char #

space :: STR Char #

digit :: STR Char #

sepBy :: STR a -> STR sep -> STR [a] #

between :: Monad m => m a1 -> m a -> m b -> m b #

choice :: Foldable t => t (STR a) -> STR a #

option :: a -> STR a -> STR a #

notFollowedBy :: Show t => STR t -> STR () #

many :: STR a -> STR [a] #

manyTill :: STR t -> STR a -> STR [t] #

oneOf :: Foldable t => t Char -> STR Char #

noneOf :: Foldable t => t Char -> STR Char #

bool :: STR Bool #

try :: STR b -> STR b #

empty :: STR () #

readContent :: STR ByteString #

charLiteral :: STR Char #

stringLiteral :: STR [Char] #

natural :: STR Integer #

integer :: STR Integer #

float :: STR Double #

naturalOrFloat :: STR (Either Integer Double) #

decimal :: STR Integer #

hexadecimal :: STR Integer #

octal :: STR Integer #

symbol :: [Char] -> STR [Char] #

lexeme :: STR b -> STR b #

whiteSpace :: STR () #

parens :: STR a -> STR a #

braces :: STR a -> STR a #

angles :: STR a -> STR a #

brackets :: STR a -> STR a #

semi :: STR [Char] #

comma :: STR [Char] #

colon :: STR [Char] #

dot :: STR [Char] #

semiSep :: STR a -> STR [a] #

semiSep1 :: STR a -> STR [a] #

commaSep :: STR a -> STR [a] #

commaSep1 :: STR a -> STR [a] #