| Copyright | (c) 2018-2022 Kowainik |
|---|---|
| License | MPL-2.0 |
| Maintainer | Kowainik <xrom.xkov@gmail.com> |
| Stability | Stable |
| Portability | Portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Toml.Type.AnyValue
Contents
Description
Existential wrapper over Value type and matching functions.
Since: 0.0.0
Synopsis
- data AnyValue = forall (t :: TValue). AnyValue (Value t)
- reifyAnyValues :: Value t -> [AnyValue] -> Either TypeMismatchError [Value t]
- toMArray :: [AnyValue] -> Either MatchError (Value 'TArray)
- data MatchError = MatchError {
- valueExpected :: !TValue
- valueActual :: !AnyValue
- mkMatchError :: TValue -> Value t -> Either MatchError a
- matchBool :: Value t -> Either MatchError Bool
- matchInteger :: Value t -> Either MatchError Integer
- matchDouble :: Value t -> Either MatchError Double
- matchText :: Value t -> Either MatchError Text
- matchZoned :: Value t -> Either MatchError ZonedTime
- matchLocal :: Value t -> Either MatchError LocalTime
- matchDay :: Value t -> Either MatchError Day
- matchHours :: Value t -> Either MatchError TimeOfDay
- matchArray :: (AnyValue -> Either MatchError a) -> Value t -> Either MatchError [a]
- applyAsToAny :: (AnyValue -> r) -> Value t -> r
Documentation
Existential wrapper for Value.
Since: 0.0.0
reifyAnyValues :: Value t -> [AnyValue] -> Either TypeMismatchError [Value t] Source #
Matching
data MatchError Source #
Value type mismatch error.
Constructors
| MatchError | |
Fields
| |
Instances
| Generic MatchError Source # | |
Defined in Toml.Type.AnyValue Associated Types type Rep MatchError :: Type -> Type # | |
| Show MatchError Source # | |
Defined in Toml.Type.AnyValue Methods showsPrec :: Int -> MatchError -> ShowS # show :: MatchError -> String # showList :: [MatchError] -> ShowS # | |
| NFData MatchError Source # | |
Defined in Toml.Type.AnyValue Methods rnf :: MatchError -> () # | |
| Eq MatchError Source # | |
Defined in Toml.Type.AnyValue | |
| type Rep MatchError Source # | |
Defined in Toml.Type.AnyValue type Rep MatchError = D1 ('MetaData "MatchError" "Toml.Type.AnyValue" "tomland-1.3.3.3-Ih5ryp7Jmpp9EbGekxhWoS" '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 Source #
Helper function to create MatchError.
matchInteger :: Value t -> Either MatchError Integer Source #
matchDouble :: Value t -> Either MatchError Double Source #
matchZoned :: Value t -> Either MatchError ZonedTime Source #
matchLocal :: Value t -> Either MatchError LocalTime Source #
matchHours :: Value t -> Either MatchError TimeOfDay Source #
matchArray :: (AnyValue -> Either MatchError a) -> Value t -> Either MatchError [a] Source #
Extract list of elements of type a from array.