Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

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.

Contents

Matching

Synopsis

data AnyValue
value reifyAnyValues
value toMArray
data MatchError
value mkMatchError
value matchBool
value matchInteger
value matchDouble
value matchText
value matchZoned
value matchLocal
value matchDay
value matchHours
value matchArray
value applyAsToAny

Packagetomland-1.3.3.3
Exports15
LanguageHaskell2010
LicenceMPL-2.0
SourceAnyValue.hs

datadata AnyValue

Existential wrapper for Value.

Constructors

forall t. AnyValue (Value t)

Instances3Eq, Show, NFData

Eq AnyValueDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
Show AnyValueDefined in tomland-1.3.3.3 · Toml.Type.AnyValue
NFData AnyValueDefined in tomland-1.3.3.3 · Toml.Type.AnyValue

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

datadata MatchError

Value type mismatch error.

Constructors

MatchError
- valueExpected :: !TValue
- valueActual :: !AnyValue

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-LJnkrEBIZd1ILDFs176NM4" '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

:: AnyValue -> Either MatchError a
-> Value t
-> Either MatchError [a]

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.