Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family WithSpecialCases rules a :: Type where ... Source #
WithSpecialCases rules a = WithSpecialCasesInner (FoldSpecialCases rules) a |
newtype WithSpecialCasesInner (rules :: SpecialCaseList) a Source #
Instances
(RunSpecialCase rules, Typeable a, Generic a, GFromJSON Zero (Rep a)) => FromJSON (WithSpecialCasesInner rules a) Source # | |
Defined in Calamity.Internal.AesonThings parseJSON :: Value -> Parser (WithSpecialCasesInner rules a) # parseJSONList :: Value -> Parser [WithSpecialCasesInner rules a] # |
type IfNoneThen label d = SpecialRule label (IfNoneThen d) Source #
type ExtractField label field = SpecialRule label (ExtractField field) Source #
type ExtractFields label field = SpecialRule label (ExtractFields field) Source #
type InjectID label mn idn = SpecialRule label (InjectID mn idn) Source #
data SpecialRule (label :: Symbol) (action :: SpecialRuleAction) Source #
data DefaultToEmptyArray Source #
Instances
Reifies DefaultToEmptyArray Value Source # | |
Defined in Calamity.Internal.AesonThings reflect :: proxy DefaultToEmptyArray -> Value # |
data DefaultToZero Source #
Instances
Reifies DefaultToZero Value Source # | |
Defined in Calamity.Internal.AesonThings reflect :: proxy DefaultToZero -> Value # |
data DefaultToFalse Source #
Instances
Reifies DefaultToFalse Value Source # | |
Defined in Calamity.Internal.AesonThings reflect :: proxy DefaultToFalse -> Value # |
newtype CalamityJSON a Source #
Instances
(Typeable a, Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (CalamityJSON a) Source # | |
Defined in Calamity.Internal.AesonThings toJSON :: CalamityJSON a -> Value # toEncoding :: CalamityJSON a -> Encoding # toJSONList :: [CalamityJSON a] -> Value # toEncodingList :: [CalamityJSON a] -> Encoding # | |
(Typeable a, Generic a, GFromJSON Zero (Rep a)) => FromJSON (CalamityJSON a) Source # | |
Defined in Calamity.Internal.AesonThings parseJSON :: Value -> Parser (CalamityJSON a) # parseJSONList :: Value -> Parser [CalamityJSON a] # |