Data.Aeson.Deriving.Utils

Documentation

mapObjects :: (Object -> Object) -> Value -> Value

mapField :: Text -> (Value -> Value) -> Object -> Object

type family All (predicate :: k -> Constraint) (types :: [k]) :: Constraint where ...

Convenience constraint family. All types in the list satisfy the predicate.

Equations

All predicate '[] = ()

All predicate (t ': ts) = (predicate t, All predicate ts)

textVal :: KnownSymbol s => Proxy s -> Text