Toml.Bi.Combinators

Contains TOML-specific combinators for converting between TOML and user data types.

Types

type BiToml a = Bi Env St a

Specialied for Toml monad.

type Env = ExceptT EncodeException (Reader TOML)

Immutable environment for Toml conversion. This is r type variable in Bijection data type.

type St = ExceptT DecodeException (State TOML)

Mutable context for Toml conversion. This is w type variable in Bijection data type.

Exceptions

data EncodeException

Type of exception for converting from Toml to user custom data type.

Instances

Eq EncodeException

Methods

(==) :: EncodeException -> EncodeException -> Bool

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

Show EncodeException

Methods

showsPrec :: Int -> EncodeException -> ShowS

show :: EncodeException -> String

showList :: [EncodeException] -> ShowS

data DecodeException

Write exception for convertion to Toml from user custom data type.

Instances

Eq DecodeException

Methods

(==) :: DecodeException -> DecodeException -> Bool

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

Show DecodeException

Methods

showsPrec :: Int -> DecodeException -> ShowS

show :: DecodeException -> String

showList :: [DecodeException] -> ShowS

Encode/Decode

encode :: BiToml a -> Text -> Either EncodeException a

Convert textual representation of toml into user data type.

decode :: BiToml a -> a -> Either DecodeException Text

Convert object to textual representation.

unsafeDecode :: BiToml a -> a -> Text

Unsafe version of decode function if you're sure that you decoding of structure is correct.

Converters

bijectionMaker

Arguments

:: Text

Name of expected type

-> (forall f. Value f -> Maybe a)

How to convert from AnyValue to a

-> (a -> Value t)

Convert a to Anyvale

-> Key

Key of the value

-> BiToml a

General function to create bidirectional converters for values.

bool :: Key -> BiToml Bool

Parser for boolean values.

int :: Key -> BiToml Int

Parser for integer values.

double :: Key -> BiToml Double

Parser for floating values.

str :: Key -> BiToml Text

Parser for string values.