Data.Aeson.AutoType.Type

Union types describing JSON objects, and operations for querying these types.

Documentation

typeSize :: Type -> Int

Size of the Type term.

newtype Dict

Dictionary of types indexed by names.

Constructors

Dict

Fields

• unDict :: Map Text Type

Instances

Eq Dict

Methods

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

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

Data Dict

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

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

Methods

showsPrec :: Int -> Dict -> ShowS

show :: Dict -> String

showList :: [Dict] -> ShowS

Generic Dict

Associated Types

type Rep Dict :: * -> *

Methods

from :: Dict -> Rep Dict x

to :: Rep Dict x -> Dict

Out Dict

Methods

docPrec :: Int -> Dict -> Doc

doc :: Dict -> Doc

docList :: [Dict] -> Doc

type Rep Dict

type Rep Dict

keys :: Dict -> Set Text

Take all keys from dictionary.

get :: Text -> Dict -> Type

Lookup the Type within the dictionary.

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.

Constructors

TNull

TBool

TNum

TString

TUnion (Set Type)

TLabel Text

TObj Dict

TArray Type

Instances

Eq Type

Methods

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

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

Data 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

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

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Associated Types

type Rep Type :: * -> *

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Out Type

Methods

docPrec :: Int -> Type -> Doc

doc :: Type -> Doc

docList :: [Type] -> Doc

Uniplate Type

Methods

uniplate :: UniplateType Type

type Rep Type

type Rep Type = D1 * (MetaData "Type" "Data.Aeson.AutoType.Type" "json-autotype-1.1.2-CeSfnUXbse2KSFjyJZrRH4" 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 Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Set Type)))) (C1 * (MetaCons "TLabel" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))) ((:+:) * (C1 * (MetaCons "TObj" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Dict))) (C1 * (MetaCons "TArray" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type))))))

emptyType :: Type

Empty type

isSimple :: Type -> Bool

Is it a simple (non-compound) Type?

isArray :: Type -> Bool

Is the top-level constructor a TArray? | Check if the given type has non-top TObj.

isObject :: Type -> Bool

Is the top-level constructor a TObj?

typeAsSet :: Type -> Set Type

Convert any type into union type (even if just singleton).

hasNonTopTObj :: Type -> Bool

Check if the given type has non-top TObj.

hasTObj :: Type -> Bool

Check if the given type has TObj on top or within array..

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