Safe Haskell	None
Language	Haskell2010

Data.Aeson.AutoType.Extract

Description

Extraction and unification of AutoType's Type from Aeson Value.

Synopsis

Documentation

valueSize :: Value -> Int Source

Compute total number of nodes (and leaves) within the value tree. Each simple JavaScript type (including String) is counted as of size 1, whereas both Array or object types are counted as 1+sum of the sizes of their member values.

valueTypeSize :: Value -> Int Source

Compute total size of the type of the Value. For: * simple types it is always 1, * for arrays it is just 1+_maximum_ size of the (single) element type, * for objects it is _sum_ of the sizes of fields (since each field type is assumed to be different.)

valueDepth :: Value -> Int Source

Compute total depth of the value. For: * simple types it is 1 * for either Array or Object, it is 1 + maximum of depths of their members

newtype Dict Source

Dictionary of types indexed by names.

Constructors

Dict
Fields unDict :: Map Text Type

Instances

Eq Dict Source
Data Dict Source
Ord Dict Source
Show Dict Source
Generic Dict Source
Out Dict Source
type Rep Dict Source

data Type Source

Union types for JSON values.

Constructors

TNull
TBool
TNum
TString
TUnion (Set Type)
TLabel Text
TObj Dict
TArray Type

Instances

Eq Type Source
Data Type Source
Ord Type Source
Show Type Source
Generic Type Source
Out Type Source
Uniplate Type Source
type Rep Type Source

emptyType :: Type Source

Empty type

extractType :: Value -> Type Source

Extract Type from the JSON Value. Unifying types of array elements, if necessary.

unifyTypes :: Type -> Type -> Type Source

Standard unification procedure on Types, with inclusion of Type unions.

typeCheck :: Value -> Type -> Bool Source

Type check the value with the derived type.