| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Aeson.Deriving.Utils
Synopsis
- mapObjects :: (Object -> Object) -> Value -> Value
- mapField :: Text -> (Value -> Value) -> Object -> Object
- type family All (predicate :: k -> Constraint) (types :: [k]) :: Constraint where ...
- textVal :: KnownSymbol s => Proxy s -> Text
Documentation
type family All (predicate :: k -> Constraint) (types :: [k]) :: Constraint where ... Source #
Convenience constraint family. All types in the list satisfy the predicate.