Safe Haskell	None
Language	Haskell2010

Data.Aeson.AutoType.Extract

Description

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

Synopsis

valueSize :: Value -> Int
valueTypeSize :: Value -> Int
valueDepth :: Value -> Int
newtype Dict = Dict {
- unDict :: Map Text Type
}
data Type
- = TNull
- | TBool
- | TNum
- | TString
- | TUnion (Set Type)
- | TLabel Text
- | TObj Dict
- | TArray Type
emptyType :: Type
extractType :: Value -> Type
unifyTypes :: Type -> Type -> Type
typeCheck :: Value -> Type -> Bool

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 #
Instance details Defined in Data.Aeson.AutoType.Type Methods (==) :: Dict -> Dict -> Bool # (/=) :: Dict -> Dict -> Bool #
Data Dict Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Data.Aeson.AutoType.Type Methods showsPrec :: Int -> Dict -> ShowS # show :: Dict -> String # showList :: [Dict] -> ShowS #
Generic Dict Source #
Instance details Defined in Data.Aeson.AutoType.Type Associated Types type Rep Dict :: * -> * # Methods from :: Dict -> Rep Dict x # to :: Rep Dict x -> Dict #
Out Dict Source #
Instance details Defined in Data.Aeson.AutoType.Type Methods docPrec :: Int -> Dict -> Doc # doc :: Dict -> Doc # docList :: [Dict] -> Doc #
type Rep Dict Source #
Instance details Defined in Data.Aeson.AutoType.Type type Rep Dict

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 #
Instance details Defined in Data.Aeson.AutoType.Type Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Data.Aeson.AutoType.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Instance details Defined in Data.Aeson.AutoType.Type Associated Types type Rep Type :: * -> * # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
Out Type Source #
Instance details Defined in Data.Aeson.AutoType.Type Methods docPrec :: Int -> Type -> Doc # doc :: Type -> Doc # docList :: [Type] -> Doc #
Uniplate Type Source #
Instance details Defined in Data.Aeson.AutoType.Type Methods uniplate :: UniplateType Type #
type Rep Type Source #
Instance details Defined in Data.Aeson.AutoType.Type type Rep Type = D1 (MetaData "Type" "Data.Aeson.AutoType.Type" "json-autotype-2.0.0-Kl2DwLjduovLZz8VWK3RQR" False) (((C1 (MetaCons "TNull" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "TBool" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "TNum" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "TString" PrefixI False) (U1 :: -> *))) :+: ((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 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.