Data.Toml.Parse

Documentation

data Node

Constructors

VTable Table

VTArray VTArray

VString Text

VInteger Int64

VFloat Double

VBoolean Bool

VDatetime UTCTime

VArray VArray

Instances

Eq Node

Defined in Text.Toml.Types

Methods

(==) :: Node -> Node -> Bool

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

Show Node

Defined in Text.Toml.Types

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Generic Node

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

Defined in Text.Toml.Types

Methods

rnf :: Node -> ()

FromToml Node Bool

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Bool

FromToml Node Double

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Double

FromToml Node Int

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Int

FromToml Node String

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser String

FromToml Node Text

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Text

FromToml Node UTCTime

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser UTCTime

FromToml Node a => FromToml Node (NonEmpty a)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (NonEmpty a)

FromToml Node a => FromToml Node (Vector a)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (Vector a)

(Ord k, FromToml Text k, FromToml Node v) => FromToml Node (Map k v)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (Map k v)

(Ord k, FromToml Text k, FromToml Node v) => FromToml Table (Map k v)

Defined in Data.Toml.Parse

Methods

fromToml :: L Table -> Parser (Map k v)

Index (L Node)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Node -> Text -> Parser b

(.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b)

Index (L Table)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Table -> Text -> Parser b

(.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b)

type Rep Node

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

Instances

Monad Parser

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

Defined in Data.Toml.Parse

Methods

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

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

Applicative Parser

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

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

Defined in Data.Toml.Parse

Methods

mzero :: Parser a

mplus :: Parser a -> Parser a -> Parser a

TomlParse Parser

Defined in Data.Toml.Parse

Methods

throwParseError :: L b -> AtomicTomlError -> Parser a

a ~ L Node => Index (Parser a)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => Parser a -> Text -> Parser b

(.:?) :: FromToml Node b => Parser a -> Text -> Parser (Maybe b)

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

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

data AtomicTomlError

Constructors

UnexpectedType

Fields

• !TomlType

  Expected

• Node

  Got

MissingKey !Text Table

IndexOutOfBounds !Int Node

OtherError (Doc Void)

Instances

Show AtomicTomlError

Defined in Data.Toml.Parse

Methods

showsPrec :: Int -> AtomicTomlError -> ShowS

show :: AtomicTomlError -> String

showList :: [AtomicTomlError] -> ShowS

Generic AtomicTomlError

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

Defined in Data.Toml.Parse

Methods

pretty :: AtomicTomlError -> Doc ann

prettyList :: [AtomicTomlError] -> Doc ann

type Rep AtomicTomlError

Defined in Data.Toml.Parse

type Rep AtomicTomlError

data TomlError

Instances

Show TomlError

Defined in Data.Toml.Parse

Methods

showsPrec :: Int -> TomlError -> ShowS

show :: TomlError -> String

showList :: [TomlError] -> ShowS

Generic TomlError

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

Defined in Data.Toml.Parse

Methods

pretty :: TomlError -> Doc ann

prettyList :: [TomlError] -> Doc ann

type Rep TomlError

Defined in Data.Toml.Parse

type Rep TomlError

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

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

Adds to a its provenance in the toml file.

Instances

Functor L

Defined in Data.Toml.Parse

Methods

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

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

Foldable L

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

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

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)

Defined in Data.Toml.Parse

Methods

fromToml :: L a -> Parser (L a)

Eq a => Eq (L a)

Defined in Data.Toml.Parse

Methods

(==) :: L a -> L a -> Bool

(/=) :: L a -> L a -> Bool

Ord a => Ord (L a)

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)

Defined in Data.Toml.Parse

Methods

showsPrec :: Int -> L a -> ShowS

show :: L a -> String

showList :: [L a] -> ShowS

Generic (L a)

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)

Defined in Data.Toml.Parse

Methods

pretty :: L a -> Doc ann

prettyList :: [L a] -> Doc ann

Index (L Node)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Node -> Text -> Parser b

(.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b)

Index (L Table)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Table -> Text -> Parser b

(.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b)

type Rep (L a)

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

Methods

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

Instances

TomlParse Parser

Defined in Data.Toml.Parse

Methods

throwParseError :: L b -> AtomicTomlError -> Parser a

class FromToml a b where

Methods

fromToml :: L a -> Parser b

Instances

FromToml a a

Defined in Data.Toml.Parse

Methods

fromToml :: L a -> Parser a

FromToml Node Bool

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Bool

FromToml Node Double

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Double

FromToml Node Int

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Int

FromToml Node String

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser String

FromToml Node Text

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser Text

FromToml Node UTCTime

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser UTCTime

FromToml a (L a)

Defined in Data.Toml.Parse

Methods

fromToml :: L a -> Parser (L a)

FromToml Node a => FromToml Node (NonEmpty a)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (NonEmpty a)

FromToml Node a => FromToml Node (Vector a)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (Vector a)

(Ord k, FromToml Text k, FromToml Node v) => FromToml Node (Map k v)

Defined in Data.Toml.Parse

Methods

fromToml :: L Node -> Parser (Map k v)

(Ord k, FromToml Text k, FromToml Node v) => FromToml Table (Map k v)

Defined in Data.Toml.Parse

Methods

fromToml :: L Table -> Parser (Map k v)

class Index a where

Methods

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

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

Instances

Index (L Node)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Node -> Text -> Parser b

(.:?) :: FromToml Node b => L Node -> Text -> Parser (Maybe b)

Index (L Table)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => L Table -> Text -> Parser b

(.:?) :: FromToml Node b => L Table -> Text -> Parser (Maybe b)

a ~ L Node => Index (Parser a)

Defined in Data.Toml.Parse

Methods

(.:) :: FromToml Node b => Parser a -> Text -> Parser b

(.:?) :: FromToml Node b => Parser a -> Text -> Parser (Maybe b)

(.!=) :: Functor m => m (Maybe a) -> a -> m a infixl 5

Assign default value to a parser that produces Maybe. Typically used together with .:?:

foo .:? "bar" .!= 10

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

Prettyprint toml value.