Safe Haskell	Safe-Inferred
Language	Haskell2010

TonaParser

Contents

Run parser
Construct primitive parsers
Modify parsers

Description

Integrated parser library created for tonatona meta application framework. It can construct system configuration from environment variables, command line arguments, and any IO values depends on them. See details for example/Main.hs.

Synopsis

data Parser a
withConfig :: Parser a -> (a -> IO ()) -> IO ()
optionalVal :: Var a => Description -> Source -> a -> Parser a
requiredVal :: Var a => Description -> Source -> Parser a
optionalEnum :: (Var a, Enum a, Bounded a) => Description -> Source -> a -> Parser a
requiredEnum :: (Var a, Enum a, Bounded a) => Description -> Source -> Parser a
liftWith :: ((a -> IO ()) -> IO ()) -> Parser a
data Source
class Typeable a => Var a where
- toVar :: a -> String
- fromVar :: String -> Maybe a
data Description
(.||) :: Source -> Source -> Source
envVar :: String -> Source
argLong :: String -> Source
modify :: ParserMods -> Parser a -> Parser a
defParserMods :: ParserMods
data ParserMods
cmdLineLongMods :: ParserMods -> String -> String
envVarMods :: ParserMods -> String -> String

Run parser

data Parser a Source #

Main type representing how to construct system configuration.

Instances

Instances details

MonadIO Parser Source #
Instance details Defined in TonaParser Methods liftIO :: IO a -> Parser a #
Applicative Parser Source #
Instance details Defined in TonaParser Methods pure :: a -> Parser a # (<>) :: Parser (a -> b) -> Parser a -> Parser b # liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c # (>) :: Parser a -> Parser b -> Parser b # (<*) :: Parser a -> Parser b -> Parser a #
Functor Parser Source #
Instance details Defined in TonaParser Methods fmap :: (a -> b) -> Parser a -> Parser b # (<$) :: a -> Parser b -> Parser a #
Monad Parser Source #
Instance details Defined in TonaParser Methods (>>=) :: Parser a -> (a -> Parser b) -> Parser b # (>>) :: Parser a -> Parser b -> Parser b # return :: a -> Parser a #

withConfig :: Parser a -> (a -> IO ()) -> IO () Source #

Construct primitive parsers

optionalVal :: Var a => Description -> Source -> a -> Parser a Source #

A Parser constructor for optional values.

requiredVal :: Var a => Description -> Source -> Parser a Source #

A Parser constructor for required values.

optionalEnum :: (Var a, Enum a, Bounded a) => Description -> Source -> a -> Parser a Source #

A Parser constructor for optional values.

requiredEnum :: (Var a, Enum a, Bounded a) => Description -> Source -> Parser a Source #

A Parser constructor for required values.

liftWith :: ((a -> IO ()) -> IO ()) -> Parser a Source #

A Parser constructor from cont.

data Source Source #

class Typeable a => Var a where #

Class for converting to / from an environment variable

Methods

toVar :: a -> String #

Convert a value into an environment variable.

fromVar :: String -> Maybe a #

Parse an environment variable.

Instances

Instances details

Var Int16
Instance details Defined in System.Envy Methods toVar :: Int16 -> String # fromVar :: String -> Maybe Int16 #
Var Int32
Instance details Defined in System.Envy Methods toVar :: Int32 -> String # fromVar :: String -> Maybe Int32 #
Var Int64
Instance details Defined in System.Envy Methods toVar :: Int64 -> String # fromVar :: String -> Maybe Int64 #
Var Int8
Instance details Defined in System.Envy Methods toVar :: Int8 -> String # fromVar :: String -> Maybe Int8 #
Var Word16
Instance details Defined in System.Envy Methods toVar :: Word16 -> String # fromVar :: String -> Maybe Word16 #
Var Word32
Instance details Defined in System.Envy Methods toVar :: Word32 -> String # fromVar :: String -> Maybe Word32 #
Var Word64
Instance details Defined in System.Envy Methods toVar :: Word64 -> String # fromVar :: String -> Maybe Word64 #
Var Word8
Instance details Defined in System.Envy Methods toVar :: Word8 -> String # fromVar :: String -> Maybe Word8 #
Var ByteString
Instance details Defined in System.Envy Methods toVar :: ByteString -> String # fromVar :: String -> Maybe ByteString #
Var ByteString
Instance details Defined in System.Envy Methods toVar :: ByteString -> String # fromVar :: String -> Maybe ByteString #
Var Text
Instance details Defined in System.Envy Methods toVar :: Text -> String # fromVar :: String -> Maybe Text #
Var Text
Instance details Defined in System.Envy Methods toVar :: Text -> String # fromVar :: String -> Maybe Text #
Var Day
Instance details Defined in System.Envy Methods toVar :: Day -> String # fromVar :: String -> Maybe Day #
Var UTCTime
Instance details Defined in System.Envy Methods toVar :: UTCTime -> String # fromVar :: String -> Maybe UTCTime #
Var String
Instance details Defined in System.Envy Methods toVar :: String -> String # fromVar :: String -> Maybe String #
Var Integer
Instance details Defined in System.Envy Methods toVar :: Integer -> String # fromVar :: String -> Maybe Integer #
Var ()
Instance details Defined in System.Envy Methods toVar :: () -> String # fromVar :: String -> Maybe () #
Var Bool
Instance details Defined in System.Envy Methods toVar :: Bool -> String # fromVar :: String -> Maybe Bool #
Var Double
Instance details Defined in System.Envy Methods toVar :: Double -> String # fromVar :: String -> Maybe Double #
Var Int
Instance details Defined in System.Envy Methods toVar :: Int -> String # fromVar :: String -> Maybe Int #
(Var a, Typeable a) => Var (Identity a)
Instance details Defined in System.Envy Methods toVar :: Identity a -> String # fromVar :: String -> Maybe (Identity a) #
(Var a, Typeable a) => Var (First a)
Instance details Defined in System.Envy Methods toVar :: First a -> String # fromVar :: String -> Maybe (First a) #
(Var a, Typeable a) => Var (Last a)
Instance details Defined in System.Envy Methods toVar :: Last a -> String # fromVar :: String -> Maybe (Last a) #
(Typeable a, Show a, Read a) => Var (ReadShowVar a)
Instance details Defined in System.Envy Methods toVar :: ReadShowVar a -> String # fromVar :: String -> Maybe (ReadShowVar a) #
Var a => Var (Maybe a)
Instance details Defined in System.Envy Methods toVar :: Maybe a -> String # fromVar :: String -> Maybe (Maybe a) #

data Description Source #

Instances

Instances details

IsString Description Source #
Instance details Defined in TonaParser Methods fromString :: String -> Description #
Read Description Source #
Instance details Defined in TonaParser Methods readsPrec :: Int -> ReadS Description # readList :: ReadS [Description] # readPrec :: ReadPrec Description # readListPrec :: ReadPrec [Description] #
Show Description Source #
Instance details Defined in TonaParser Methods showsPrec :: Int -> Description -> ShowS # show :: Description -> String # showList :: [Description] -> ShowS #
Eq Description Source #
Instance details Defined in TonaParser Methods (==) :: Description -> Description -> Bool # (/=) :: Description -> Description -> Bool #

(.||) :: Source -> Source -> Source Source #

envVar :: String -> Source Source #

argLong :: String -> Source Source #

Modify parsers

modify :: ParserMods -> Parser a -> Parser a Source #

defParserMods :: ParserMods Source #

data ParserMods Source #

Instances

Instances details

Monoid ParserMods Source #
Instance details Defined in TonaParser Methods mempty :: ParserMods # mappend :: ParserMods -> ParserMods -> ParserMods # mconcat :: [ParserMods] -> ParserMods #
Semigroup ParserMods Source #
Instance details Defined in TonaParser Methods (<>) :: ParserMods -> ParserMods -> ParserMods # sconcat :: NonEmpty ParserMods -> ParserMods # stimes :: Integral b => b -> ParserMods -> ParserMods #

cmdLineLongMods :: ParserMods -> String -> String Source #

envVarMods :: ParserMods -> String -> String Source #