| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Aeson.AutoType.Type
Description
Union types describing JSON objects, and operations for querying these types.
- typeSize :: Type -> Int
- newtype Dict = Dict {}
- keys :: Dict -> Set Text
- get :: Text -> Dict -> Type
- withDict :: (Map Text Type -> Map Text Type) -> Dict -> Dict
- data Type
- emptyType :: Type
- isSimple :: Type -> Bool
- isArray :: Type -> Bool
- isObject :: Type -> Bool
- typeAsSet :: Type -> Set Type
- hasNonTopTObj :: Type -> Bool
- hasTObj :: Type -> Bool
- isNullable :: Type -> Bool
- emptySetLikes :: Set Type
Documentation
newtype Dict
Dictionary of types indexed by names.
withDict :: (Map Text Type -> Map Text Type) -> Dict -> Dict
Make operation on a map to an operation on a Dict.
data Type
Union types for JSON values.
Is the top-level constructor a TArray? | Check if the given type has non-top TObj.
hasNonTopTObj :: Type -> Bool
Check if the given type has non-top TObj.
isNullable :: Type -> Bool
Check if this is nullable (Maybe) type, or not. Nullable type will always accept TNull or missing key that contains it.
emptySetLikes :: Set Type
Null-ish types