Data.Aeson.AutoType.Extract

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

Documentation

valueSize :: Value -> Int

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

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

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

Dictionary of types indexed by names.

Constructors

Dict

Fields

• unDict :: Map Text Type

Instances

Eq Dict

Defined in Data.Aeson.AutoType.Type

Methods

(==) :: Dict -> Dict -> Bool

(/=) :: Dict -> Dict -> Bool

Data Dict

Defined in Data.Aeson.AutoType.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dict -> c Dict

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dict

toConstr :: Dict -> Constr

dataTypeOf :: Dict -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Dict)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dict)

gmapT :: (forall b. Data b => b -> b) -> Dict -> Dict

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dict -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dict -> r

gmapQ :: (forall d. Data d => d -> u) -> Dict -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Dict -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dict -> m Dict

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dict -> m Dict

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dict -> m Dict

Ord Dict

Defined in Data.Aeson.AutoType.Type

Methods

compare :: Dict -> Dict -> Ordering

(<) :: Dict -> Dict -> Bool

(<=) :: Dict -> Dict -> Bool

(>) :: Dict -> Dict -> Bool

(>=) :: Dict -> Dict -> Bool

max :: Dict -> Dict -> Dict

min :: Dict -> Dict -> Dict

Show Dict

Defined in Data.Aeson.AutoType.Type

Methods

showsPrec :: Int -> Dict -> ShowS

show :: Dict -> String

showList :: [Dict] -> ShowS

Generic Dict

Defined in Data.Aeson.AutoType.Type

Associated Types

type Rep Dict :: Type -> Type

Methods

from :: Dict -> Rep Dict x

to :: Rep Dict x -> Dict

Out Dict

Defined in Data.Aeson.AutoType.Type

Methods

docPrec :: Int -> Dict -> Doc

doc :: Dict -> Doc

docList :: [Dict] -> Doc

type Rep Dict

Defined in Data.Aeson.AutoType.Type

type Rep Dict

data Type

Union types for JSON values.

Constructors

TNull

TBool

TString

TInt

TDouble

TUnion (Set Type)

TLabel Text

TObj Dict

TArray Type

Instances

Eq Type

Defined in Data.Aeson.AutoType.Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Data Type

Defined in Data.Aeson.AutoType.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type

toConstr :: Type -> Constr

dataTypeOf :: Type -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type)

gmapT :: (forall b. Data b => b -> b) -> Type -> Type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQ :: (forall d. Data d => d -> u) -> Type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

Ord Type

Defined in Data.Aeson.AutoType.Type

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Data.Aeson.AutoType.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Defined in Data.Aeson.AutoType.Type

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Out Type

Defined in Data.Aeson.AutoType.Type

Methods

docPrec :: Int -> Type -> Doc

doc :: Type -> Doc

docList :: [Type] -> Doc

Uniplate Type

Defined in Data.Aeson.AutoType.Type

Methods

uniplate :: UniplateType Type

type Rep Type

Defined in Data.Aeson.AutoType.Type

type Rep Type = D1 (MetaData "Type" "Data.Aeson.AutoType.Type" "json-autotype-3.0.1-2dqccrfDZuO58Y70zm6l6O" False) (((C1 (MetaCons "TNull" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TBool" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TString" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TInt" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "TDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TUnion" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set Type)))) :+: (C1 (MetaCons "TLabel" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "TObj" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Dict)) :+: C1 (MetaCons "TArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))))

emptyType :: Type

Empty type

extractType :: Value -> Type

Check if a number is integral, or floating point | Extract Type from the JSON Value. Unifying types of array elements, if necessary.

unifyTypes :: Type -> Type -> Type

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

typeCheck :: Value -> Type -> Bool

Type check the value with the derived type.