TonaParser

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.

Run parser

data Parser a

Main type representing how to construct system configuration.

Instances

Monad Parser

Defined in TonaParser

Methods

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

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

return :: a -> Parser a

Functor Parser

Defined in TonaParser

Methods

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

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

Applicative Parser

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

MonadIO Parser

Defined in TonaParser

Methods

liftIO :: IO a -> Parser a

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

Construct primitive parsers

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

A Parser constructor for optional values.

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

A Parser constructor for required values.

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

A Parser constructor for optional values.

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

A Parser constructor for required values.

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

A Parser constructor from cont.

data 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

Var Bool

Defined in System.Envy

Methods

toVar :: Bool -> String

fromVar :: String -> Maybe Bool

Var Double

Defined in System.Envy

Methods

toVar :: Double -> String

fromVar :: String -> Maybe Double

Var Int

Defined in System.Envy

Methods

toVar :: Int -> String

fromVar :: String -> Maybe Int

Var Int8

Defined in System.Envy

Methods

toVar :: Int8 -> String

fromVar :: String -> Maybe Int8

Var Int16

Defined in System.Envy

Methods

toVar :: Int16 -> String

fromVar :: String -> Maybe Int16

Var Int32

Defined in System.Envy

Methods

toVar :: Int32 -> String

fromVar :: String -> Maybe Int32

Var Int64

Defined in System.Envy

Methods

toVar :: Int64 -> String

fromVar :: String -> Maybe Int64

Var Integer

Defined in System.Envy

Methods

toVar :: Integer -> String

fromVar :: String -> Maybe Integer

Var Word8

Defined in System.Envy

Methods

toVar :: Word8 -> String

fromVar :: String -> Maybe Word8

Var Word16

Defined in System.Envy

Methods

toVar :: Word16 -> String

fromVar :: String -> Maybe Word16

Var Word32

Defined in System.Envy

Methods

toVar :: Word32 -> String

fromVar :: String -> Maybe Word32

Var Word64

Defined in System.Envy

Methods

toVar :: Word64 -> String

fromVar :: String -> Maybe Word64

Var ()

Defined in System.Envy

Methods

toVar :: () -> String

fromVar :: String -> Maybe ()

Var String

Defined in System.Envy

Methods

toVar :: String -> String

fromVar :: String -> Maybe String

Var ByteString

Defined in System.Envy

Methods

toVar :: ByteString -> String

fromVar :: String -> Maybe ByteString

Var ByteString

Defined in System.Envy

Methods

toVar :: ByteString -> String

fromVar :: String -> Maybe ByteString

Var Day

Defined in System.Envy

Methods

toVar :: Day -> String

fromVar :: String -> Maybe Day

Var UTCTime

Defined in System.Envy

Methods

toVar :: UTCTime -> String

fromVar :: String -> Maybe UTCTime

Var Text

Defined in System.Envy

Methods

toVar :: Text -> String

fromVar :: String -> Maybe Text

Var Text

Defined in System.Envy

Methods

toVar :: Text -> String

fromVar :: String -> Maybe Text

Var a => Var (Maybe a)

Defined in System.Envy

Methods

toVar :: Maybe a -> String

fromVar :: String -> Maybe (Maybe a)

(Var a, Typeable a) => Var (Identity a)

Defined in System.Envy

Methods

toVar :: Identity a -> String

fromVar :: String -> Maybe (Identity a)

(Var a, Typeable a) => Var (First a)

Defined in System.Envy

Methods

toVar :: First a -> String

fromVar :: String -> Maybe (First a)

(Var a, Typeable a) => Var (Last a)

Defined in System.Envy

Methods

toVar :: Last a -> String

fromVar :: String -> Maybe (Last a)

(Typeable a, Show a, Read a) => Var (ReadShowVar a)

Defined in System.Envy

Methods

toVar :: ReadShowVar a -> String

fromVar :: String -> Maybe (ReadShowVar a)

data Description

Instances

Eq Description

Defined in TonaParser

Methods

(==) :: Description -> Description -> Bool

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

Read Description

Defined in TonaParser

Methods

readsPrec :: Int -> ReadS Description

readList :: ReadS [Description]

readPrec :: ReadPrec Description

readListPrec :: ReadPrec [Description]

Show Description

Defined in TonaParser

Methods

showsPrec :: Int -> Description -> ShowS

show :: Description -> String

showList :: [Description] -> ShowS

IsString Description

Defined in TonaParser

Methods

fromString :: String -> Description

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

envVar :: String -> Source

argLong :: String -> Source

Modify parsers

modify :: ParserMods -> Parser a -> Parser a

defParserMods :: ParserMods

data ParserMods

Instances

Semigroup ParserMods

Defined in TonaParser

Methods

(<>) :: ParserMods -> ParserMods -> ParserMods

sconcat :: NonEmpty ParserMods -> ParserMods

stimes :: Integral b => b -> ParserMods -> ParserMods

Monoid ParserMods

Defined in TonaParser

Methods

mempty :: ParserMods

mappend :: ParserMods -> ParserMods -> ParserMods

mconcat :: [ParserMods] -> ParserMods

cmdLineLongMods :: ParserMods -> String -> String

envVarMods :: ParserMods -> String -> String