Nest

Errors

data NestError

Constructors

NestMissing ByteString

NestParseError ByteString Text

NestContextError Text NestError

Instances

Eq NestError

Methods

(==) :: NestError -> NestError -> Bool

(/=) :: NestError -> NestError -> Bool

Ord NestError

Methods

compare :: NestError -> NestError -> Ordering

(<) :: NestError -> NestError -> Bool

(<=) :: NestError -> NestError -> Bool

(>) :: NestError -> NestError -> Bool

(>=) :: NestError -> NestError -> Bool

max :: NestError -> NestError -> NestError

min :: NestError -> NestError -> NestError

Show NestError

Methods

showsPrec :: Int -> NestError -> ShowS

show :: NestError -> String

showList :: [NestError] -> ShowS

renderNestError :: NestError -> Text

Types

newtype Environment

Constructors

Environment

Fields

• getEnvironment :: Map ByteString ByteString

Instances

Eq Environment

Methods

(==) :: Environment -> Environment -> Bool

(/=) :: Environment -> Environment -> Bool

Ord Environment

Methods

compare :: Environment -> Environment -> Ordering

(<) :: Environment -> Environment -> Bool

(<=) :: Environment -> Environment -> Bool

(>) :: Environment -> Environment -> Bool

(>=) :: Environment -> Environment -> Bool

max :: Environment -> Environment -> Environment

min :: Environment -> Environment -> Environment

Show Environment

Methods

showsPrec :: Int -> Environment -> ShowS

show :: Environment -> String

showList :: [Environment] -> ShowS

newtype Parser m a

Constructors

Parser

Fields

• parse :: Environment -> EitherT NestError m a

Instances

MonadTrans Parser

Methods

lift :: Monad m => m a -> Parser m a

Monad m => Monad (Parser m)

Methods

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

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

return :: a -> Parser m a

fail :: String -> Parser m a

Functor m => Functor (Parser m)

Methods

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

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

Monad m => Applicative (Parser m)

Methods

pure :: a -> Parser m a

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

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

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

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

MonadIO m => MonadIO (Parser m)

Methods

liftIO :: IO a -> Parser m a

Basic parsers

variable :: Monad m => ByteString -> Parser m ByteString

string :: (Monad m, IsString s) => ByteString -> Parser m s

numeric :: (Monad m, Read n, Num n) => ByteString -> Parser m n

flag :: Monad m => ByteString -> a -> a -> Parser m a

setting :: Monad m => ByteString -> Map Text a -> Parser m a

failure :: Monad m => ByteString -> Text -> Parser m a

Combinators for enriching parsers

option :: Monad m => Parser m a -> Parser m (Maybe a)

withDefault :: Monad m => Parser m a -> a -> Parser m a

withContext :: Monad m => Parser m a -> Text -> Parser m a

Run parsers with environment

run :: MonadIO m => Parser m a -> m (Either NestError a)

runT :: MonadIO m => Parser m a -> EitherT NestError m a

runWith :: MonadIO m => Environment -> Parser m a -> m (Either NestError a)

runWithT :: MonadIO m => Environment -> Parser m a -> EitherT NestError m a

force :: MonadIO m => Parser m a -> m a