Cfg.Parser.Value

This module contains the generic machinery for value parsers. The main use case for deriving ValueParser generically is for sum types, as instances for most common types are provided in Cfg.Parser.

Since: 0.0.2.0

Documentation

defaultValueParser :: (Generic a, GValueParser (Rep a)) => Parser a

This is the function that hooks into the generic machinery. It is called by the deriving mechanism in Cfg.Deriving.Value.

Since: 0.0.2.0

class GValueParser (f :: Type -> Type) where

This is a generic version of ValueParser

Since: 0.0.2.0

Methods

gParser :: Parser (f p)

Instances

GValueParser (U1 :: Type -> Type)

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (U1 p)

GValueParser (V1 :: Type -> Type)

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (V1 p)

(GValueParser a, GValueParser b) => GValueParser (a :*: b)

This is also an important instance for product types with unnamed fields that are intended to be parsed as values (not nested configurations).

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser ((a :*: b) p)

(GValueParser a, GValueParser b) => GValueParser (a :+: b)

This is the main instance, which distributs a value parser over a sum type using retry and alternative.

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser ((a :+: b) p)

ValueParser a => GValueParser (K1 R a :: Type -> Type)

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (K1 R a p)

Constructor c => GValueParser (M1 C c (U1 :: Type -> Type))

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (M1 C c (U1 :: Type -> Type) p)

GValueParser f => GValueParser (M1 D s f)

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (M1 D s f p)

GValueParser f => GValueParser (M1 S s f)

Since: 0.0.2.0

Defined in Cfg.Parser.Value

Methods

gParser :: Parser (M1 S s f p)