Text.Parsnip.Internal.Parser

Parser

newtype Parser s a

Constructors

Parser

Fields

• runParser :: Addr# -> State# s -> Result s a

Instances

Monad (Parser s)

Defined in Text.Parsnip.Internal.Parser

Methods

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

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

return :: a -> Parser s a

Functor (Parser s)

Defined in Text.Parsnip.Internal.Parser

Methods

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

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

Applicative (Parser s)

Defined in Text.Parsnip.Internal.Parser

Methods

pure :: a -> Parser s a

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

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

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

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

Alternative (Parser s)

Defined in Text.Parsnip.Internal.Parser

Methods

empty :: Parser s a

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

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

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

MonadPlus (Parser s)

Defined in Text.Parsnip.Internal.Parser

Methods

mzero :: Parser s a

mplus :: Parser s a -> Parser s a -> Parser s a

PrimMonad (Parser s)

Defined in Text.Parsnip.Internal.Parser

Associated Types

type PrimState (Parser s)

Methods

primitive :: (State# (PrimState (Parser s)) -> (# State# (PrimState (Parser s)), a #)) -> Parser s a

a ~ ByteString => IsString (Parser s a)

Defined in Text.Parsnip.Internal.Parser

Methods

fromString :: String -> Parser s a

type PrimState (Parser s)

Defined in Text.Parsnip.Internal.Parser

type PrimState (Parser s) = s

newtype Option a

Unlifted Maybe

Constructors

Option# (# a | (# #) #)

Bundled Patterns

pattern Some :: a -> Option a

pattern None :: Option a

mapOption :: (a -> b) -> Option a -> Option b

setOption :: b -> Option a -> Option b

type Result s a = (# Option a, Addr#, State# s #)

pattern OK :: a -> Addr# -> State# s -> Result s a

pattern Fail :: Addr# -> State# s -> Result s a

mapResult :: (a -> b) -> Result s a -> Result s b

setResult :: b -> Result s a -> Result s b

try :: Parser s a -> Parser s a

Unsafe literals

lit :: Addr# -> Parser s ByteString

Super unsafe. Fabricates a bytestring that directly reference constant memory.

Usage:

hello = lit "hello"#

litN :: Addr# -> CSize -> Parser s ByteString

super-duper unsafe. Fabricates bytestrings that directly reference constant memory

word8 :: Word8 -> Parser s Word8

Guts

data Base s

Constructors

Base

Fields

• baseOriginal :: Addr#
• baseContents :: ForeignPtrContents
• baseStart :: Addr#
• baseEnd :: Addr#

bytes :: forall s. KnownBase s => ByteString

start :: forall s. KnownBase s => Addr#

end :: forall s. KnownBase s => Addr#

class KnownBase (s :: Type) where

Methods

reflectBase :: Base s

parse :: (forall s. KnownBase s => Parser s a) -> ByteString -> Either Location a