TOML.Parse

Documentation

data Value

Constructors

Table Table

Array [Value]

String Text

Integer Integer

Float Double

Boolean Bool

OffsetDateTime (LocalTime, TimeZone)

LocalDateTime LocalTime

LocalDate Day

LocalTime TimeOfDay

Instances

Generic Value

Defined in TOML.Value

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

Show Value

Defined in TOML.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

NFData Value

Defined in TOML.Value

Methods

rnf :: Value -> ()

Eq Value

Defined in TOML.Value

Methods

(==) :: Value -> Value -> Bool

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

DecodeTOML Value

Defined in TOML.Decode

Methods

tomlDecoder :: Decoder Value

FromToml Value Text

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Text

FromToml Value String

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser String

FromToml Value Bool

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Bool

FromToml Value Double

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Double

FromToml Value Int

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Int

FromToml Value a => FromToml Value (Vector a)

Defined in TOML.Parse

Methods

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

FromToml Value a => FromToml Value (NonEmpty a)

Defined in TOML.Parse

Methods

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

FromToml Value a => FromToml Value [a]

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser [a]

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

Defined in TOML.Parse

Methods

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

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

Defined in TOML.Parse

Methods

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

Index (L Table)

Defined in TOML.Parse

Methods

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

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

Index (L Value)

Defined in TOML.Parse

Methods

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

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

type Rep Value

Defined in TOML.Value

type Rep Value = D1 ('MetaData "Value" "TOML.Value" "toml-reader-0.1.0.0-KbkBtgY7kRLDbjzwwtOW1F" 'False) (((C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Table)) :+: C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Value]))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Integer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "Float" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))) :+: ((C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "OffsetDateTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LocalTime, TimeZone)))) :+: (C1 ('MetaCons "LocalDateTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalTime)) :+: (C1 ('MetaCons "LocalDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day)) :+: C1 ('MetaCons "LocalTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimeOfDay))))))

data Parser a

Instances

Alternative Parser

Defined in TOML.Parse

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

Applicative Parser

Defined in 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

Functor Parser

Defined in TOML.Parse

Methods

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

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

Monad Parser

Defined in TOML.Parse

Methods

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

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

return :: a -> Parser a

MonadPlus Parser

Defined in TOML.Parse

Methods

mzero :: Parser a

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

TomlParse Parser

Defined in TOML.Parse

Methods

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

a ~ L Value => Index (Parser a)

Defined in TOML.Parse

Methods

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

(.:?) :: FromToml Value 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

• Value

  Got

MissingKey !Text Table

IndexOutOfBounds !Int Value

OtherError (Doc Void)

Instances

Generic AtomicTomlError

Defined in TOML.Parse

Associated Types

type Rep AtomicTomlError :: Type -> Type

Methods

from :: AtomicTomlError -> Rep AtomicTomlError x

to :: Rep AtomicTomlError x -> AtomicTomlError

Show AtomicTomlError

Defined in TOML.Parse

Methods

showsPrec :: Int -> AtomicTomlError -> ShowS

show :: AtomicTomlError -> String

showList :: [AtomicTomlError] -> ShowS

Pretty AtomicTomlError

Defined in TOML.Parse

Methods

pretty :: AtomicTomlError -> Doc ann

prettyList :: [AtomicTomlError] -> Doc ann

type Rep AtomicTomlError

Defined in TOML.Parse

type Rep AtomicTomlError

data TomlError

Instances

Generic TomlError

Defined in TOML.Parse

Associated Types

type Rep TomlError :: Type -> Type

Methods

from :: TomlError -> Rep TomlError x

to :: Rep TomlError x -> TomlError

Show TomlError

Defined in TOML.Parse

Methods

showsPrec :: Int -> TomlError -> ShowS

show :: TomlError -> String

showList :: [TomlError] -> ShowS

Pretty TomlError

Defined in TOML.Parse

Methods

pretty :: TomlError -> Doc ann

prettyList :: [TomlError] -> Doc ann

type Rep TomlError

Defined in 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

Foldable L

Defined in 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 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)

Functor L

Defined in TOML.Parse

Methods

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

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

Comonad L

Defined in TOML.Parse

Methods

extract :: L a -> a

duplicate :: L a -> L (L a)

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

FromToml b a => FromToml b (L a)

Defined in TOML.Parse

Methods

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

Generic (L a)

Defined in 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

Show a => Show (L a)

Defined in TOML.Parse

Methods

showsPrec :: Int -> L a -> ShowS

show :: L a -> String

showList :: [L a] -> ShowS

Eq a => Eq (L a)

Defined in TOML.Parse

Methods

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

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

Ord a => Ord (L a)

Defined in 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

Pretty a => Pretty (L a)

Defined in TOML.Parse

Methods

pretty :: L a -> Doc ann

prettyList :: [L a] -> Doc ann

Index (L Table)

Defined in TOML.Parse

Methods

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

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

Index (L Value)

Defined in TOML.Parse

Methods

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

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

type Rep (L a)

Defined in 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 TOML.Parse

Methods

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

class FromToml a b where

Methods

fromToml :: L a -> Parser b

Instances

FromToml Value Text

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Text

FromToml Value String

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser String

FromToml Value Bool

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Bool

FromToml Value Double

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Double

FromToml Value Int

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser Int

FromToml a a

Defined in TOML.Parse

Methods

fromToml :: L a -> Parser a

FromToml Value a => FromToml Value (Vector a)

Defined in TOML.Parse

Methods

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

FromToml Value a => FromToml Value (NonEmpty a)

Defined in TOML.Parse

Methods

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

FromToml Value a => FromToml Value [a]

Defined in TOML.Parse

Methods

fromToml :: L Value -> Parser [a]

FromToml b a => FromToml b (L a)

Defined in TOML.Parse

Methods

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

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

Defined in TOML.Parse

Methods

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

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

Defined in TOML.Parse

Methods

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

class Index a where

Methods

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

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

Instances

Index (L Table)

Defined in TOML.Parse

Methods

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

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

Index (L Value)

Defined in TOML.Parse

Methods

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

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

a ~ L Value => Index (Parser a)

Defined in TOML.Parse

Methods

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

(.:?) :: FromToml Value 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 Value -> m Table

pTableL :: TomlParse m => L Value -> m (L Table)

pKey :: TomlParse m => Text -> L Table -> m (L Value)

pKeyMaybe :: Text -> L Table -> L (Maybe Value)

pStr :: TomlParse m => L Value -> m Text

pStrL :: TomlParse m => L Value -> m (L Text)

pBool :: TomlParse m => L Value -> m Bool

pInt :: TomlParse m => L Value -> m Int

pIntL :: TomlParse m => L Value -> m (L Int)

pDouble :: TomlParse m => L Value -> m Double

pDoubleL :: TomlParse m => L Value -> m (L Double)

pArray :: TomlParse m => L Value -> m [L Value]

data TomlDateTime

Constructors

TomlLocalDateTime LocalTime

TomlOffsetDateTime (LocalTime, TimeZone)

TomlLocalDate Day

TomlLocalTime TimeOfDay

Instances

Generic TomlDateTime

Defined in TOML.Parse

Associated Types

type Rep TomlDateTime :: Type -> Type

Methods

from :: TomlDateTime -> Rep TomlDateTime x

to :: Rep TomlDateTime x -> TomlDateTime

Show TomlDateTime

Defined in TOML.Parse

Methods

showsPrec :: Int -> TomlDateTime -> ShowS

show :: TomlDateTime -> String

showList :: [TomlDateTime] -> ShowS

NFData TomlDateTime

Defined in TOML.Parse

Methods

rnf :: TomlDateTime -> ()

Eq TomlDateTime

Defined in TOML.Parse

Methods

(==) :: TomlDateTime -> TomlDateTime -> Bool

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

Ord TomlDateTime

Defined in TOML.Parse

Methods

compare :: TomlDateTime -> TomlDateTime -> Ordering

(<) :: TomlDateTime -> TomlDateTime -> Bool

(<=) :: TomlDateTime -> TomlDateTime -> Bool

(>) :: TomlDateTime -> TomlDateTime -> Bool

(>=) :: TomlDateTime -> TomlDateTime -> Bool

max :: TomlDateTime -> TomlDateTime -> TomlDateTime

min :: TomlDateTime -> TomlDateTime -> TomlDateTime

Pretty TomlDateTime

Defined in TOML.Parse

Methods

pretty :: TomlDateTime -> Doc ann

prettyList :: [TomlDateTime] -> Doc ann

type Rep TomlDateTime

Defined in TOML.Parse

type Rep TomlDateTime = D1 ('MetaData "TomlDateTime" "TOML.Parse" "toml-reader-parse-0.1.1.0-KjOY4zo2JaMDPxSsv6QHQh" 'False) ((C1 ('MetaCons "TomlLocalDateTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalTime)) :+: C1 ('MetaCons "TomlOffsetDateTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LocalTime, TimeZone)))) :+: (C1 ('MetaCons "TomlLocalDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day)) :+: C1 ('MetaCons "TomlLocalTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimeOfDay))))

pDatetime :: TomlParse m => L Value -> m TomlDateTime

pDatetimeL :: TomlParse m => L Value -> m (L TomlDateTime)

pCases :: (Ord k, FromToml Value k, Pretty k) => Map k v -> L Value -> Parser v

ppToml :: Value -> Doc ann

Prettyprint toml value.