Copyright	(c) Sergey Vinokurov 2018
License	Apache-2.0 (see LICENSE)
Maintainer	serg.foo@gmail.com
Safe Haskell	None
Language	Haskell2010

Data.Toml.Parse

Description

Synopsis

data Node
- = VTable Table
- | VTArray VTArray
- | VString Text
- | VInteger Int64
- | VFloat Double
- | VBoolean Bool
- | VDatetime UTCTime
- | VArray VArray
data Parser a
runParser :: a -> (L a -> Parser b) -> Either (Doc Void) b
mkTomlError :: L a -> Doc Void -> TomlError
data AtomicTomlError
- = UnexpectedType !TomlType Node
- | MissingKey !Text Table
- | IndexOutOfBounds !Int Node
- | OtherError (Doc Void)
data TomlError
(<?>) :: L a -> Text -> L a
data L a
extract :: Comonad w => w a -> a
class (Applicative m, Alternative m) => TomlParse m where
- throwParseError :: L b -> AtomicTomlError -> m a
class FromToml a b where
- fromToml :: L a -> Parser b
class Index a where
- (.:) :: FromToml Node b => a -> Text -> Parser b
- (.:?) :: FromToml Node b => a -> Text -> Parser (Maybe b)
(.!=) :: Functor m => m (Maybe a) -> a -> m a
pTable :: TomlParse m => L Node -> m (L Table)
pKey :: TomlParse m => Text -> L Table -> m (L Node)
pKeyMaybe :: Text -> L Table -> L (Maybe Node)
pStr :: TomlParse m => L Node -> m Text
pStrL :: TomlParse m => L Node -> m (L Text)
pBool :: TomlParse m => L Node -> m Bool
pInt :: TomlParse m => L Node -> m Int
pIntL :: TomlParse m => L Node -> m (L Int)
pDouble :: TomlParse m => L Node -> m Double
pDoubleL :: TomlParse m => L Node -> m (L Double)
pDatetime :: TomlParse m => L Node -> m UTCTime
pDatetimeL :: TomlParse m => L Node -> m (L UTCTime)
pTArray :: TomlParse m => L Node -> m (Vector (L Table))
pArray :: TomlParse m => L Node -> m (Vector (L Node))
pCases :: (Ord k, FromToml Node k, Pretty k) => Map k v -> L Node -> Parser v
ppToml :: Node -> Doc ann

Documentation

data Node #

Constructors

VTable Table
VTArray VTArray
VString Text
VInteger Int64
VFloat Double
VBoolean Bool
VDatetime UTCTime
VArray VArray

Instances

Instances details

Eq Node
Instance details Defined in Text.Toml.Types Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Show Node
Instance details Defined in Text.Toml.Types Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Generic Node
Instance details Defined in Text.Toml.Types Associated Types type Rep Node :: Type -> Type # Methods from :: Node -> Rep Node x # to :: Rep Node x -> Node #
NFData Node
Instance details Defined in Text.Toml.Types Methods rnf :: Node -> () #
FromToml Node Bool Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Bool Source #
FromToml Node Double Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Double Source #
FromToml Node Int Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Int Source #
FromToml Node String Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser String Source #
FromToml Node Text Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Text Source #
FromToml Node UTCTime Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser UTCTime Source #
FromToml Node a => FromToml Node (NonEmpty a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (NonEmpty a) Source #
FromToml Node a => FromToml Node (Vector a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (Vector a) Source #
(Ord k, FromToml Text k, FromToml Node v) => FromToml Node (Map k v) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (Map k v) Source #
(Ord k, FromToml Text k, FromToml Node v) => FromToml Table (Map k v) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Table -> Parser (Map k v) Source #
Index (L Node) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Node -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b) Source #
Index (L Table) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Table -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b) Source #
type Rep Node
Instance details Defined in Text.Toml.Types type Rep Node = D1 ('MetaData "Node" "Text.Toml.Types" "htoml-megaparsec-2.1.0.4-IKjKQYk8f8JGFnByU2f1uv-htoml-internal" 'False) (((C1 ('MetaCons "VTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Table)) :+: C1 ('MetaCons "VTArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VTArray))) :+: (C1 ('MetaCons "VString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "VInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))) :+: ((C1 ('MetaCons "VFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "VBoolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "VDatetime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :+: C1 ('MetaCons "VArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VArray)))))

data Parser a Source #

Instances

Instances details

Monad Parser Source #
Instance details Defined in Data.Toml.Parse Methods (>>=) :: Parser a -> (a -> Parser b) -> Parser b # (>>) :: Parser a -> Parser b -> Parser b # return :: a -> Parser a #
Functor Parser Source #
Instance details Defined in Data.Toml.Parse Methods fmap :: (a -> b) -> Parser a -> Parser b # (<$) :: a -> Parser b -> Parser a #
Applicative Parser Source #
Instance details Defined in Data.Toml.Parse 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 #
Alternative Parser Source #
Instance details Defined in Data.Toml.Parse Methods empty :: Parser a # (<\|>) :: Parser a -> Parser a -> Parser a # some :: Parser a -> Parser [a] # many :: Parser a -> Parser [a] #
MonadPlus Parser Source #
Instance details Defined in Data.Toml.Parse Methods mzero :: Parser a # mplus :: Parser a -> Parser a -> Parser a #
TomlParse Parser Source #
Instance details Defined in Data.Toml.Parse Methods throwParseError :: L b -> AtomicTomlError -> Parser a Source #
a ~ L Node => Index (Parser a) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => Parser a -> Text -> Parser b Source # (.:?) :: FromToml Node b => Parser a -> Text -> Parser (Maybe b) Source #

runParser :: a -> (L a -> Parser b) -> Either (Doc Void) b Source #

mkTomlError :: L a -> Doc Void -> TomlError Source #

data AtomicTomlError Source #

Constructors

UnexpectedType
Fields !TomlType Expected Node Got
MissingKey !Text Table
IndexOutOfBounds !Int Node
OtherError (Doc Void)

Instances

Instances details

Show AtomicTomlError Source #
Instance details Defined in Data.Toml.Parse Methods showsPrec :: Int -> AtomicTomlError -> ShowS # show :: AtomicTomlError -> String # showList :: [AtomicTomlError] -> ShowS #
Generic AtomicTomlError Source #
Instance details Defined in Data.Toml.Parse Associated Types type Rep AtomicTomlError :: Type -> Type # Methods from :: AtomicTomlError -> Rep AtomicTomlError x # to :: Rep AtomicTomlError x -> AtomicTomlError #
Pretty AtomicTomlError Source #
Instance details Defined in Data.Toml.Parse Methods pretty :: AtomicTomlError -> Doc ann # prettyList :: [AtomicTomlError] -> Doc ann #
type Rep AtomicTomlError Source #
Instance details Defined in Data.Toml.Parse type Rep AtomicTomlError

data TomlError Source #

Instances

Instances details

Show TomlError Source #
Instance details Defined in Data.Toml.Parse Methods showsPrec :: Int -> TomlError -> ShowS # show :: TomlError -> String # showList :: [TomlError] -> ShowS #
Generic TomlError Source #
Instance details Defined in Data.Toml.Parse Associated Types type Rep TomlError :: Type -> Type # Methods from :: TomlError -> Rep TomlError x # to :: Rep TomlError x -> TomlError #
Pretty TomlError Source #
Instance details Defined in Data.Toml.Parse Methods pretty :: TomlError -> Doc ann # prettyList :: [TomlError] -> Doc ann #
type Rep TomlError Source #
Instance details Defined in Data.Toml.Parse type Rep TomlError

(<?>) :: L a -> Text -> L a infixl 9 Source #

Add textual annotation to the provided located thing. The annotation will be shows as part of error message if the location ultimately gets passed to throwParseError.

data L a Source #

Adds to a its provenance in the toml file.

Instances

Instances details

Functor L Source #
Instance details Defined in Data.Toml.Parse Methods fmap :: (a -> b) -> L a -> L b # (<$) :: a -> L b -> L a #
Foldable L Source #
Instance details Defined in Data.Toml.Parse Methods fold :: Monoid m => L m -> m # foldMap :: Monoid m => (a -> m) -> L a -> m # foldMap' :: Monoid m => (a -> m) -> L a -> m # foldr :: (a -> b -> b) -> b -> L a -> b # foldr' :: (a -> b -> b) -> b -> L a -> b # foldl :: (b -> a -> b) -> b -> L a -> b # foldl' :: (b -> a -> b) -> b -> L a -> b # foldr1 :: (a -> a -> a) -> L a -> a # foldl1 :: (a -> a -> a) -> L a -> a # toList :: L a -> [a] # null :: L a -> Bool # length :: L a -> Int # elem :: Eq a => a -> L a -> Bool # maximum :: Ord a => L a -> a # minimum :: Ord a => L a -> a # sum :: Num a => L a -> a # product :: Num a => L a -> a #
Traversable L Source #
Instance details Defined in Data.Toml.Parse Methods traverse :: Applicative f => (a -> f b) -> L a -> f (L b) # sequenceA :: Applicative f => L (f a) -> f (L a) # mapM :: Monad m => (a -> m b) -> L a -> m (L b) # sequence :: Monad m => L (m a) -> m (L a) #
Comonad L Source #
Instance details Defined in Data.Toml.Parse Methods extract :: L a -> a # duplicate :: L a -> L (L a) # extend :: (L a -> b) -> L a -> L b #
FromToml a (L a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L a -> Parser (L a) Source #
Eq a => Eq (L a) Source #
Instance details Defined in Data.Toml.Parse Methods (==) :: L a -> L a -> Bool # (/=) :: L a -> L a -> Bool #
Ord a => Ord (L a) Source #
Instance details Defined in Data.Toml.Parse Methods compare :: L a -> L a -> Ordering # (<) :: L a -> L a -> Bool # (<=) :: L a -> L a -> Bool # (>) :: L a -> L a -> Bool # (>=) :: L a -> L a -> Bool # max :: L a -> L a -> L a # min :: L a -> L a -> L a #
Show a => Show (L a) Source #
Instance details Defined in Data.Toml.Parse Methods showsPrec :: Int -> L a -> ShowS # show :: L a -> String # showList :: [L a] -> ShowS #
Generic (L a) Source #
Instance details Defined in Data.Toml.Parse Associated Types type Rep (L a) :: Type -> Type # Methods from :: L a -> Rep (L a) x # to :: Rep (L a) x -> L a #
Pretty a => Pretty (L a) Source #
Instance details Defined in Data.Toml.Parse Methods pretty :: L a -> Doc ann # prettyList :: [L a] -> Doc ann #
Index (L Node) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Node -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b) Source #
Index (L Table) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Table -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b) Source #
type Rep (L a) Source #
Instance details Defined in Data.Toml.Parse type Rep (L a)

extract :: Comonad w => w a -> a #

extract . fmap f = f . extract

class (Applicative m, Alternative m) => TomlParse m where Source #

Methods

throwParseError :: L b -> AtomicTomlError -> m a Source #

Instances

Instances details

TomlParse Parser Source #
Instance details Defined in Data.Toml.Parse Methods throwParseError :: L b -> AtomicTomlError -> Parser a Source #

class FromToml a b where Source #

Methods

fromToml :: L a -> Parser b Source #

Instances

Instances details

FromToml a a Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L a -> Parser a Source #
FromToml Node Bool Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Bool Source #
FromToml Node Double Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Double Source #
FromToml Node Int Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Int Source #
FromToml Node String Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser String Source #
FromToml Node Text Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser Text Source #
FromToml Node UTCTime Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser UTCTime Source #
FromToml a (L a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L a -> Parser (L a) Source #
FromToml Node a => FromToml Node (NonEmpty a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (NonEmpty a) Source #
FromToml Node a => FromToml Node (Vector a) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (Vector a) Source #
(Ord k, FromToml Text k, FromToml Node v) => FromToml Node (Map k v) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Node -> Parser (Map k v) Source #
(Ord k, FromToml Text k, FromToml Node v) => FromToml Table (Map k v) Source #
Instance details Defined in Data.Toml.Parse Methods fromToml :: L Table -> Parser (Map k v) Source #

class Index a where Source #

Methods

(.:) :: FromToml Node b => a -> Text -> Parser b infixl 5 Source #

(.:?) :: FromToml Node b => a -> Text -> Parser (Maybe b) infixl 5 Source #

Instances

Instances details

Index (L Node) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Node -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b) Source #
Index (L Table) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => L Table -> Text -> Parser b Source # (.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b) Source #
a ~ L Node => Index (Parser a) Source #
Instance details Defined in Data.Toml.Parse Methods (.:) :: FromToml Node b => Parser a -> Text -> Parser b Source # (.:?) :: FromToml Node b => Parser a -> Text -> Parser (Maybe b) Source #