Moduletomland-1.3.3.3Haskell2010

Toml.Type.AnyValue

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

Existential wrapper over Value type and matching functions.

datadata AnyValue

Existential wrapper for Value.

Instances3Eq, Show, NFData

valuereifyAnyValues

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

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

Function for creating Array from list of AnyValue.

Matching

12 declarations

datadata MatchError

Value type mismatch error.

Instances5Eq, Show, Generic, NFData, Rep

Eq MatchErrorDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
Show MatchErrorDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
Generic MatchErrorDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
NFData MatchErrorDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
type Rep MatchError = D1 ('MetaData "MatchError" "Toml.Type.AnyValue" "tomland-1.3.3.3-IZ1IPk9NxLy7CYVHjydqUA" 'False) (C1 ('MetaCons "MatchError" 'PrefixI 'True) (S1 ('MetaSel ('Just "valueExpected") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TValue) :*: S1 ('MetaSel ('Just "valueActual") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AnyValue)))Defined in tomland-1.3.3.3 · Toml.Type.AnyValue

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

Helper function to create MatchError.

valuematchBool :: Value t -> Either MatchError Bool

Extract Bool from Value.

valuematchInteger :: Value t -> Either MatchError Integer

Extract Integer from Value.

valuematchDouble :: Value t -> Either MatchError Double

Extract Double from Value.

valuematchText :: Value t -> Either MatchError Text

Extract Text from Value.

valuematchZoned :: Value t -> Either MatchError ZonedTime

Extract ZonedTime from Value.

valuematchLocal :: Value t -> Either MatchError LocalTime

Extract LocalTime from Value.

valuematchDay :: Value t -> Either MatchError Day

Extract Day from Value.

valuematchHours :: Value t -> Either MatchError TimeOfDay

Extract TimeOfDay from Value.

valuematchArray

Extract list of elements of type a from array.

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

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