-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Environment variable combinators.
@package nest
@version 0.0.2

module Nest.EitherT
type EitherT = ExceptT

-- | A monad transformer that adds exceptions to other monads.
--   
--   <tt>ExceptT</tt> constructs a monad parameterized over two things:
--   
--   <ul>
--   <li>e - The exception type.</li>
--   <li>m - The inner monad.</li>
--   </ul>
--   
--   The <a>return</a> function yields a computation that produces the
--   given value, while <tt>&gt;&gt;=</tt> sequences two subcomputations,
--   exiting on the first exception.
data ExceptT e (m :: * -> *) a :: * -> (* -> *) -> * -> *
newEitherT :: f (Either e a) -> EitherT e f a
runEitherT :: EitherT e f a -> f (Either e a)
eitherT :: Monad m => (x -> m b) -> (a -> m b) -> EitherT x m a -> m b
mapEitherT :: (m (Either x a) -> n (Either y b)) -> EitherT x m a -> EitherT y n b
bimapEitherT :: Functor m => (x -> y) -> (a -> b) -> EitherT x m a -> EitherT y m b
firstEitherT :: Functor m => (x -> y) -> EitherT x m a -> EitherT y m a
secondEitherT :: Functor m => (a -> b) -> EitherT x m a -> EitherT x m b
left :: Applicative f => e -> EitherT e f a

module Nest.Prelude
fromMaybeM :: Applicative f => f a -> Maybe a -> f a
whenM :: Monad m => m Bool -> m () -> m ()
unlessM :: Monad m => m Bool -> m () -> m ()
with :: Functor f => f a -> (a -> b) -> f b

module Nest
data NestError
NestMissing :: ByteString -> NestError
NestParseError :: ByteString -> Text -> NestError
NestContextError :: Text -> NestError -> NestError
renderNestError :: NestError -> Text
newtype Environment
Environment :: Map ByteString ByteString -> Environment
[getEnvironment] :: Environment -> Map ByteString ByteString
newtype Parser m a
Parser :: (Environment -> EitherT NestError m a) -> Parser m a
[parse] :: Parser m a -> Environment -> EitherT NestError m a
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
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 :: 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
instance GHC.Show.Show Nest.Environment
instance GHC.Classes.Ord Nest.Environment
instance GHC.Classes.Eq Nest.Environment
instance GHC.Show.Show Nest.NestError
instance GHC.Classes.Ord Nest.NestError
instance GHC.Classes.Eq Nest.NestError
instance GHC.Base.Functor m => GHC.Base.Functor (Nest.Parser m)
instance GHC.Base.Monad m => GHC.Base.Applicative (Nest.Parser m)
instance GHC.Base.Monad m => GHC.Base.Monad (Nest.Parser m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Nest.Parser m)
instance Control.Monad.Trans.Class.MonadTrans Nest.Parser