Moduletomland-1.3.3.3Haskell2010

Toml.Codec.Combinator.Monoid

SPDX-License-Identifier : MPL-2.0 Maintainer : Kowainik xrom.xkov@gmail.com Stability : Stable Portability : Portable

TOML-specific combinators for converting between TOML and Haskell Monoid wrapper data types. These codecs are especially handy when you are implementing the Partial Options Monoid pattern.

Haskell Type	`TOML`	TomlCodec	Default on missing field
All	`a = true`	`all "a"`	`All True`
Any	`a = true`	`any "a"`	`Any False`
`Sum Int`	`a = 11`	`sum Toml.int "a"`	`Sum 0`
`Product Int`	`a = 11`	`product Toml.int "a"`	`Product 1`
`First Int`	`a = 42`	`first Toml.int "a"`	`First Nothing`
`Last Bool`	`a = true`	`last Toml.bool "a"`	`Last Nothing`

6 values

Packagetomland-1.3.3.3
Exports6
LanguageHaskell2010
LicenceMPL-2.0
SourceMonoid.hs

Codecs for Monoids

0 declarations

Bool wrappers

valueall :: Key -> TomlCodec All

Codec for All wrapper for boolean values. Returns All True on missing fields.

Decodes to All True when the key is not present.

valueany :: Key -> TomlCodec Any

Codec for Any wrapper for boolean values. Returns Any False on missing fields.

Decodes to Any False when the key is not present.

Num wrappers

valuesum :: Num a => (Key -> TomlCodec a) -> Key -> TomlCodec (Sum a)

Codec for Sum wrapper for given converter's values.

Decodes to Sum 0 when the key is not present.

valueproduct :: Num a => (Key -> TomlCodec a) -> Key -> TomlCodec (Product a)

Codec for Product wrapper for given converter's values.

Decodes to Product 1 when the key is not present.

Maybe wrappers

valuefirst :: (Key -> TomlCodec a) -> Key -> TomlCodec (First a)

Codec for First wrapper for given converter's values.

Decodes to First Nothing when the key is not present.

valuelast :: (Key -> TomlCodec a) -> Key -> TomlCodec (Last a)

Codec for Last wrapper for given converter's values.

Decodes to Last Nothing when the key is not present.