Toml.Type.AnyValue

Existential wrapper over Value type and matching functions.

Since: 0.0.0

Documentation

data AnyValue

Existential wrapper for Value.

Since: 0.0.0

Constructors

forall (t :: TValue). AnyValue (Value t)

Instances

Show AnyValue

Defined in Toml.Type.AnyValue

Methods

showsPrec :: Int -> AnyValue -> ShowS

show :: AnyValue -> String

showList :: [AnyValue] -> ShowS

NFData AnyValue

Defined in Toml.Type.AnyValue

Methods

rnf :: AnyValue -> ()

Eq AnyValue

Defined in Toml.Type.AnyValue

Methods

(==) :: AnyValue -> AnyValue -> Bool

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

reifyAnyValues :: Value t -> [AnyValue] -> Either TypeMismatchError [Value t]

Checks whether all elements inside given list of AnyValue have the same type as given Value. Returns list of Value t without given Value.

toMArray :: [AnyValue] -> Either MatchError (Value 'TArray)

Function for creating Array from list of AnyValue.

Matching

data MatchError

Value type mismatch error.

Constructors

MatchError

Fields

• valueExpected :: !TValue
• valueActual :: !AnyValue

Instances

Generic MatchError

Defined in Toml.Type.AnyValue

Associated Types

type Rep MatchError :: Type -> Type

Methods

from :: MatchError -> Rep MatchError x

to :: Rep MatchError x -> MatchError

Show MatchError

Defined in Toml.Type.AnyValue

Methods

showsPrec :: Int -> MatchError -> ShowS

show :: MatchError -> String

showList :: [MatchError] -> ShowS

NFData MatchError

Defined in Toml.Type.AnyValue

Methods

rnf :: MatchError -> ()

Eq MatchError

Defined in Toml.Type.AnyValue

Methods

(==) :: MatchError -> MatchError -> Bool

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

type Rep MatchError

Defined in Toml.Type.AnyValue

type Rep MatchError = D1 ('MetaData "MatchError" "Toml.Type.AnyValue" "tomland-1.3.3.2-JRrBhNpiCh26pzVBpYNNR0" 'False) (C1 ('MetaCons "MatchError" 'PrefixI 'True) (S1 ('MetaSel ('Just "valueExpected") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TValue) :*: S1 ('MetaSel ('Just "valueActual") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AnyValue)))

mkMatchError :: TValue -> Value t -> Either MatchError a

Helper function to create MatchError.

matchBool :: Value t -> Either MatchError Bool

Extract Bool from Value.

matchInteger :: Value t -> Either MatchError Integer

Extract Integer from Value.

matchDouble :: Value t -> Either MatchError Double

Extract Double from Value.

matchText :: Value t -> Either MatchError Text

Extract Text from Value.

matchZoned :: Value t -> Either MatchError ZonedTime

Extract ZonedTime from Value.

matchLocal :: Value t -> Either MatchError LocalTime

Extract LocalTime from Value.

matchDay :: Value t -> Either MatchError Day

Extract Day from Value.

matchHours :: Value t -> Either MatchError TimeOfDay

Extract TimeOfDay from Value.

matchArray :: (AnyValue -> Either MatchError a) -> Value t -> Either MatchError [a]

Extract list of elements of type a from array.

applyAsToAny :: (AnyValue -> r) -> Value t -> r

Make function that works with AnyValue also work with specific Value.