Toml.BiMap

Implementation of partial bidirectional mapping as a data type.

BiMap idea

data BiMap a b

Partial bidirectional isomorphism. BiMap a b contains two function:

1. a -> Maybe b

2. b -> Maybe a

Constructors

BiMap

Fields

• forward :: a -> Maybe b
• backward :: b -> Maybe a

Instances

Category BiMap

Defined in Toml.BiMap

Methods

id :: BiMap a a

(.) :: BiMap b c -> BiMap a b -> BiMap a c

invert :: BiMap a b -> BiMap b a

Inverts bidirectional mapping.

iso :: (a -> b) -> (b -> a) -> BiMap a b

Creates BiMap from isomorphism.

prism :: (object -> Maybe field) -> (field -> object) -> BiMap object field

Creates BiMap from prism-like pair of functions.

Helpers for BiMap and AnyValue

matchValueForward :: BiMap AnyValue a -> Value t -> Maybe a

Allows to match against given Value using provided prism for AnyValue.

mkAnyValueBiMap :: (forall t. Value t -> Maybe a) -> (a -> Value tag) -> BiMap AnyValue a

Creates prism for AnyValue.

Some predefined bi mappings

_Array :: BiMap AnyValue a -> BiMap AnyValue [a]

Array bimap for AnyValue. Usually used with arrayOf combinator.

_Bool :: BiMap AnyValue Bool

Bool bimap for AnyValue. Usually used with arrayOf combinator.

_Double :: BiMap AnyValue Double

Double bimap for AnyValue. Usually used with arrayOf combinator.

_Integer :: BiMap AnyValue Integer

Integer bimap for AnyValue. Usually used with arrayOf combinator.

_String :: BiMap AnyValue String

_Text :: BiMap AnyValue Text

Text bimap for AnyValue. Usually used with arrayOf combinator.

_TextToString :: BiMap Text String

_Left :: BiMap l (Either l r)

_Right :: BiMap r (Either l r)

Useful utility functions

toMArray :: [AnyValue] -> Maybe (Value TArray)

Function for creating Array from list of AnyValue.