| Copyright | (c) 2018-2022 Kowainik |
|---|---|
| License | MPL-2.0 |
| Maintainer | Kowainik <xrom.xkov@gmail.com> |
| Stability | Stable |
| Portability | Portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Toml.Codec.Combinator.Map
Description
TOML-specific combinators for converting between TOML and Haskell Map-like data types.
There are two way to represent map-like structures with the tomland library.
Map structure with the key and value represented as key-value pairs:
foo = [ {myKey = "name", myVal = 42} , {myKey = "otherName", myVal = 100} ]Map structure as a table with the
TOMLkey as the map key:[foo] name = 42 otherName = 100
You can find both types of the codecs in this module for different map-like structures. See the following table for the heads up:
| Haskell Type | TOML | TomlCodec |
|---|---|---|
| x = [{k = 42, v = "foo"}] | |
| x = {a = 42, b = 11} | |
| x = [{k = 42, v = "foo"}] | |
| x = {a = 42, b = 11} | |
| x = [{k = 42, v = "foo"}] | |
| x = {1 = "one", 2 = "two"} | |
Note: in case of the missing key on the TOML side an empty map structure
is returned.
Since: 1.3.0.0
Synopsis
- map :: forall k v. Ord k => TomlCodec k -> TomlCodec v -> Key -> TomlCodec (Map k v)
- tableMap :: forall k v. Ord k => TomlBiMap Key k -> (Key -> TomlCodec v) -> Key -> TomlCodec (Map k v)
- hashMap :: forall k v. Hashable k => TomlCodec k -> TomlCodec v -> Key -> TomlCodec (HashMap k v)
- tableHashMap :: forall k v. Hashable k => TomlBiMap Key k -> (Key -> TomlCodec v) -> Key -> TomlCodec (HashMap k v)
- intMap :: forall v. TomlCodec Int -> TomlCodec v -> Key -> TomlCodec (IntMap v)
- tableIntMap :: forall v. TomlBiMap Key Int -> (Key -> TomlCodec v) -> Key -> TomlCodec (IntMap v)
Map codecs
Arguments
| :: forall k v. Ord k | |
| => TomlCodec k | Codec for |
| -> TomlCodec v | Codec for |
| -> Key | TOML key where |
| -> TomlCodec (Map k v) | Codec for the |
Bidirectional codec for Map. It takes birectional converter for keys and
values and produces bidirectional codec for Map. Currently it works only with array
of tables, so you need to specify Maps in TOML files like this:
myMap =
[ { name = "foo", payload = 42 }
, { name = "bar", payload = 69 }
]
TomlCodec for such TOML field can look like this:
Toml.map(Toml.text"name") (Toml.int"payload") "myMap"
If there's no key with the name "myMap" then empty Map is returned.
Since: 1.2.1.0
Arguments
| :: forall k v. Ord k | |
| => TomlBiMap Key k | |
| -> (Key -> TomlCodec v) | |
| -> Key | Table name for |
| -> TomlCodec (Map k v) |
This TomlCodec helps you to convert TOML key-value pairs
directly to Map using TOML keys as Map keys. It can be convenient
if your Map keys are types like Text or Int and you want to work with raw
TOML keys directly.
For example, if you have TOML like this:
[colours]
yellow = "#FFFF00"
red = { red = 255, green = 0, blue = 0 }
pink = "#FFC0CB"
You want to convert such TOML configuration into the following Haskell types:
data Rgb = Rgb
{ rgbRed :: Int
, rgbGreen :: Int
, rgbBlue :: Int
}
data Colour
= Hex Text
| RGB Rgb
colourCodec :: TomlCodec Colour
colourCodec = ...
data ColourConfig = ColourConfig
{ configColours :: Map Text Colour
}
And you want in the result to have a Map like this:
fromList
[ "yellow" -> Hex "#FFFF00"
, "pink" -> Hex "#FFC0CB"
, "red" -> Rgb 255 0 0
]
You can use tableMap to define TomlCodec in the following way:
colourConfigCodec ::TomlCodecColourConfig colourConfigCodec = ColourConfig <$> Toml.tableMapToml._KeyText colourCodec "colours" .= configColours
Hint: You can use _KeyText or
_KeyString to convert betwen TOML keys and Map
keys (or you can write your custom TomlBiMap).
NOTE: Unlike the map codec, this codec is less flexible (i.e. it doesn't
allow to have arbitrary structures as Keys, it works only for
text-like keys), but can be helpful if you want to save a few
keystrokes during TOML configuration. A similar TOML configuration,
but suitable for the map codec will look like this:
colours =
[ { key = "yellow", hex = "#FFFF00" }
, { key = "pink", hex = "#FFC0CB" }
, { key = "red", rgb = { red = 255, green = 0, blue = 0 } }
]
Since: 1.3.0.0
HashMap codecs
Arguments
| :: forall k v. Hashable k | |
| => TomlCodec k | Codec for |
| -> TomlCodec v | Codec for |
| -> Key | TOML key where |
| -> TomlCodec (HashMap k v) | Codec for the |
Bidirectional codec for HashMap. It takes birectional converter for keys and
values and produces bidirectional codec for HashMap. It works with array of
tables, so you need to specify HashMaps in TOML files like this:
myHashMap =
[ { name = "foo", payload = 42 }
, { name = "bar", payload = 69 }
]
TomlCodec for such TOML field can look like this:
Toml.hashMap(Toml.text"name") (Toml.int"payload") "myHashMap"
If there's no key with the name "myHashMap" then empty HashMap is returned.
Since: 1.3.0.0
Arguments
| :: forall k v. Hashable k | |
| => TomlBiMap Key k | |
| -> (Key -> TomlCodec v) | |
| -> Key | Table name for |
| -> TomlCodec (HashMap k v) |
This TomlCodec helps to convert TOML key-value pairs
directly to HashMap using TOML keys as HashMap keys.
It can be convenient if your HashMap keys are types like Text or Int and
you want to work with raw TOML keys directly.
For example, if you can write your HashMap in TOML like this:
[myHashMap] key1 = "value1" key2 = "value2"
Since: 1.3.0.0
IntMap codecs
Arguments
| :: forall v. TomlCodec Int | Codec for |
| -> TomlCodec v | Codec for |
| -> Key | TOML key where |
| -> TomlCodec (IntMap v) | Codec for the |
Bidirectional codec for IntMap. It takes birectional converter for keys and
values and produces bidirectional codec for IntMap. It works with array of
tables, so you need to specify IntMaps in TOML files like this:
myIntMap =
[ { name = "foo", payload = 42 }
, { name = "bar", payload = 69 }
]
TomlCodec for such TOML field can look like this:
Toml.intMap(Toml.text"name") (Toml.int"payload") "myIntMap"
If there's no key with the name "myIntMap" then empty IntMap is returned.
Since: 1.3.0.0