License	MPL-2.0
Maintainer	hencutJohnson@gmail.com
Safe Haskell	Safe-Inferred
Language	GHC2021

Database.Cozo

Contents

Data
Functions
- Lower Level Wrappers
Re-exports

Description

Included are some wrapping functions for Cozo's C API and data types to deserialize them.

Synopsis

newtype CozoResult = CozoResult {
- runCozoResult :: Either CozoBad CozoOkay
}
data CozoOkay = CozoOkay {
- cozoOkayNamedRows :: NamedRows
- cozoOkayTook :: Double
}
data NamedRows = NamedRows {
- namedRowsHeaders :: [Text]
- namedRowsRows :: [[Value]]
- namedRowsNext :: Maybe NamedRows
}
data CozoBad = CozoBad {
- cozoBadDisplay :: Maybe Text
- cozoBadMessage :: Text
- cozoBadSeverity :: Maybe Text
}
newtype CozoRelationExportPayload = CozoRelationExportPayload {
- cozoRelationExportPayloadData :: KeyMap NamedRows
}
data CozoException
- = CozoExceptionInternal InternalCozoError
- | CozoErrorNullPtr CozoNullResultPtrException
- | CozoJSONParseException String
- | CozoOperationFailed Text
open :: Text -> Text -> Text -> IO (Either CozoException Connection)
close :: Connection -> IO Bool
runQuery :: Connection -> Text -> KeyMap Value -> IO (Either CozoException CozoResult)
backup :: Connection -> Text -> IO (Either CozoException ())
restore :: Connection -> Text -> IO (Either CozoException ())
importRelations :: Connection -> CozoRelationExportPayload -> IO (Either CozoException ())
exportRelations :: Connection -> [Text] -> IO (Either CozoException CozoRelationExportPayload)
importFromBackup :: Connection -> Text -> [Text] -> IO (Either CozoException ())
open' :: ByteString -> ByteString -> ByteString -> IO (Either InternalCozoError Connection)
close' :: Connection -> IO Bool
runQuery' :: Connection -> ByteString -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
backup' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
restore' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
importRelations' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
exportRelations' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
importFromBackup' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString)
data Connection
data CozoNullResultPtrException
data InternalCozoError
data Key
data KeyMap v
empty :: KeyMap v
singleton :: Key -> v -> KeyMap v
insert :: Key -> v -> KeyMap v -> KeyMap v
fromList :: [(Key, v)] -> KeyMap v
data Value
- = Object !Object
- | Array !Array
- | String !Text
- | Number !Scientific
- | Bool !Bool
- | Null

Data

newtype CozoResult Source #

Constructors

CozoResult
Fields runCozoResult :: Either CozoBad CozoOkay

Instances

Instances details

FromJSON CozoResult Source #
Instance details Defined in Database.Cozo Methods parseJSON :: Value -> Parser CozoResult # parseJSONList :: Value -> Parser [CozoResult] # omittedField :: Maybe CozoResult #
Generic CozoResult Source #
Instance details Defined in Database.Cozo Associated Types type Rep CozoResult :: Type -> Type # Methods from :: CozoResult -> Rep CozoResult x # to :: Rep CozoResult x -> CozoResult #
Show CozoResult Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> CozoResult -> ShowS # show :: CozoResult -> String # showList :: [CozoResult] -> ShowS #
Eq CozoResult Source #
Instance details Defined in Database.Cozo Methods (==) :: CozoResult -> CozoResult -> Bool # (/=) :: CozoResult -> CozoResult -> Bool #
type Rep CozoResult Source #
Instance details Defined in Database.Cozo type Rep CozoResult = D1 ('MetaData "CozoResult" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'True) (C1 ('MetaCons "CozoResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "runCozoResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either CozoBad CozoOkay))))

data CozoOkay Source #

An okay result from a query.

Contains result headers, and rows among other things.

Constructors

CozoOkay
Fields cozoOkayNamedRows :: NamedRows cozoOkayTook :: Double

Instances

Instances details

FromJSON CozoOkay Source #
Instance details Defined in Database.Cozo Methods parseJSON :: Value -> Parser CozoOkay # parseJSONList :: Value -> Parser [CozoOkay] # omittedField :: Maybe CozoOkay #
Generic CozoOkay Source #
Instance details Defined in Database.Cozo Associated Types type Rep CozoOkay :: Type -> Type # Methods from :: CozoOkay -> Rep CozoOkay x # to :: Rep CozoOkay x -> CozoOkay #
Show CozoOkay Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> CozoOkay -> ShowS # show :: CozoOkay -> String # showList :: [CozoOkay] -> ShowS #
Eq CozoOkay Source #
Instance details Defined in Database.Cozo Methods (==) :: CozoOkay -> CozoOkay -> Bool # (/=) :: CozoOkay -> CozoOkay -> Bool #
type Rep CozoOkay Source #
Instance details Defined in Database.Cozo type Rep CozoOkay = D1 ('MetaData "CozoOkay" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CozoOkay" 'PrefixI 'True) (S1 ('MetaSel ('Just "cozoOkayNamedRows") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NamedRows) :*: S1 ('MetaSel ('Just "cozoOkayTook") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)))

data NamedRows Source #

Relation information with headers, their values, and another NamedRows if it exists.

Constructors

NamedRows
Fields namedRowsHeaders :: [Text] namedRowsRows :: [[Value]] namedRowsNext :: Maybe NamedRows

Instances

Instances details

FromJSON NamedRows Source #
Instance details Defined in Database.Cozo Methods parseJSON :: Value -> Parser NamedRows # parseJSONList :: Value -> Parser [NamedRows] # omittedField :: Maybe NamedRows #
ToJSON NamedRows Source #
Instance details Defined in Database.Cozo Methods toJSON :: NamedRows -> Value # toEncoding :: NamedRows -> Encoding # toJSONList :: [NamedRows] -> Value # toEncodingList :: [NamedRows] -> Encoding # omitField :: NamedRows -> Bool #
Generic NamedRows Source #
Instance details Defined in Database.Cozo Associated Types type Rep NamedRows :: Type -> Type # Methods from :: NamedRows -> Rep NamedRows x # to :: Rep NamedRows x -> NamedRows #
Show NamedRows Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> NamedRows -> ShowS # show :: NamedRows -> String # showList :: [NamedRows] -> ShowS #
Eq NamedRows Source #
Instance details Defined in Database.Cozo Methods (==) :: NamedRows -> NamedRows -> Bool # (/=) :: NamedRows -> NamedRows -> Bool #
type Rep NamedRows Source #
Instance details Defined in Database.Cozo type Rep NamedRows = D1 ('MetaData "NamedRows" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NamedRows" 'PrefixI 'True) (S1 ('MetaSel ('Just "namedRowsHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Text]) :: (S1 ('MetaSel ('Just "namedRowsRows") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Value]]) :: S1 ('MetaSel ('Just "namedRowsNext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe NamedRows)))))

data CozoBad Source #

A bad result from a query.

Contains information on what went wrong.

Constructors

CozoBad
Fields cozoBadDisplay :: Maybe Text cozoBadMessage :: Text cozoBadSeverity :: Maybe Text

Instances

Instances details

FromJSON CozoBad Source #
Instance details Defined in Database.Cozo Methods parseJSON :: Value -> Parser CozoBad # parseJSONList :: Value -> Parser [CozoBad] # omittedField :: Maybe CozoBad #
Generic CozoBad Source #
Instance details Defined in Database.Cozo Associated Types type Rep CozoBad :: Type -> Type # Methods from :: CozoBad -> Rep CozoBad x # to :: Rep CozoBad x -> CozoBad #
Show CozoBad Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> CozoBad -> ShowS # show :: CozoBad -> String # showList :: [CozoBad] -> ShowS #
Eq CozoBad Source #
Instance details Defined in Database.Cozo Methods (==) :: CozoBad -> CozoBad -> Bool # (/=) :: CozoBad -> CozoBad -> Bool #
type Rep CozoBad Source #
Instance details Defined in Database.Cozo type Rep CozoBad = D1 ('MetaData "CozoBad" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CozoBad" 'PrefixI 'True) (S1 ('MetaSel ('Just "cozoBadDisplay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "cozoBadMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "cozoBadSeverity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

newtype CozoRelationExportPayload Source #

A map of names and the relations they contain. This type is intended to be used as input to an import function or otherwise stored as JSON.

Constructors

CozoRelationExportPayload
Fields cozoRelationExportPayloadData :: KeyMap NamedRows

Instances

Instances details

FromJSON CozoRelationExportPayload Source #
Instance details Defined in Database.Cozo Methods parseJSON :: Value -> Parser CozoRelationExportPayload # parseJSONList :: Value -> Parser [CozoRelationExportPayload] # omittedField :: Maybe CozoRelationExportPayload #
Generic CozoRelationExportPayload Source #
Instance details Defined in Database.Cozo Associated Types type Rep CozoRelationExportPayload :: Type -> Type # Methods from :: CozoRelationExportPayload -> Rep CozoRelationExportPayload x # to :: Rep CozoRelationExportPayload x -> CozoRelationExportPayload #
Show CozoRelationExportPayload Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> CozoRelationExportPayload -> ShowS # show :: CozoRelationExportPayload -> String # showList :: [CozoRelationExportPayload] -> ShowS #
Eq CozoRelationExportPayload Source #
Instance details Defined in Database.Cozo Methods (==) :: CozoRelationExportPayload -> CozoRelationExportPayload -> Bool # (/=) :: CozoRelationExportPayload -> CozoRelationExportPayload -> Bool #
type Rep CozoRelationExportPayload Source #
Instance details Defined in Database.Cozo type Rep CozoRelationExportPayload = D1 ('MetaData "CozoRelationExportPayload" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'True) (C1 ('MetaCons "CozoRelationExportPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "cozoRelationExportPayloadData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyMap NamedRows))))

data CozoException Source #

A failure that cannot be recovered from easily.

Constructors

CozoExceptionInternal InternalCozoError	An internal error may occur when a connection is first being established but not after that.
CozoErrorNullPtr CozoNullResultPtrException	If any operation in the underlying C API returns a null pointer instead of a pointer to a valid string, this error will be returned.
CozoJSONParseException String	The result of any operation fails to be deserialized appropriately. This is a problem with the wrapper for the API and should be submitted as an issue if it ever arises.
CozoOperationFailed Text	A non-query operation such as a backup or import failed. These usually occur because the user is trying to import or export a relation that does not exist in the target database.

Instances

Instances details

Exception CozoException Source #
Instance details Defined in Database.Cozo Methods toException :: CozoException -> SomeException # fromException :: SomeException -> Maybe CozoException # displayException :: CozoException -> String #
Generic CozoException Source #
Instance details Defined in Database.Cozo Associated Types type Rep CozoException :: Type -> Type # Methods from :: CozoException -> Rep CozoException x # to :: Rep CozoException x -> CozoException #
Show CozoException Source #
Instance details Defined in Database.Cozo Methods showsPrec :: Int -> CozoException -> ShowS # show :: CozoException -> String # showList :: [CozoException] -> ShowS #
Eq CozoException Source #
Instance details Defined in Database.Cozo Methods (==) :: CozoException -> CozoException -> Bool # (/=) :: CozoException -> CozoException -> Bool #
type Rep CozoException Source #
Instance details Defined in Database.Cozo type Rep CozoException = D1 ('MetaData "CozoException" "Database.Cozo" "cozo-hs-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "CozoExceptionInternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InternalCozoError)) :+: C1 ('MetaCons "CozoErrorNullPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CozoNullResultPtrException))) :+: (C1 ('MetaCons "CozoJSONParseException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "CozoOperationFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

Functions

open :: Text -> Text -> Text -> IO (Either CozoException Connection) Source #

Open a connection to a cozo database

engine: "mem", "sqlite" or "rocksdb"
path: utf8 encoded filepath
options: engine-specific options. "{}" is an acceptable empty value.

close :: Connection -> IO Bool Source #

True if the database was closed and False if it was already closed or if it does not exist.

runQuery :: Connection -> Text -> KeyMap Value -> IO (Either CozoException CozoResult) Source #

Run a utf8 encoded query with a map of parameters.

Parameters are declared with text names and can be any valid JSON type. They are referenced in a query by a "$" preceding their name.

backup :: Connection -> Text -> IO (Either CozoException ()) Source #

Backup a database.

Accepts the path of the output file.

restore :: Connection -> Text -> IO (Either CozoException ()) Source #

Restore a database from a backup.

importRelations :: Connection -> CozoRelationExportPayload -> IO (Either CozoException ()) Source #

Import data in relations.

Triggers are not run for relations, if you wish to activate triggers, use a query with parameters.

exportRelations :: Connection -> [Text] -> IO (Either CozoException CozoRelationExportPayload) Source #

Export the relations specified by the given names.

importFromBackup :: Connection -> Text -> [Text] -> IO (Either CozoException ()) Source #

Import the relations corresponding to the given names from the specified path.

Lower Level Wrappers

open' Source #

Arguments

:: ByteString	engine: "mem", "sqlite" or "rocksdb"
-> ByteString	path: utf8 encoded filepath
-> ByteString	options: engine-specific options. "{}" is an acceptable emtpy value.
-> IO (Either InternalCozoError Connection)

Open a connection to a cozo database

engine: "mem", "sqlite" or "rocksdb"
path: utf8 encoded filepath
options: engine-specific options. "{}" is an acceptable empty value.

close' :: Connection -> IO Bool Source #

True if the database was closed and False if it was already closed or if it does not exist.

runQuery' :: Connection -> ByteString -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Run a query.

The CozoError that might arise from this function is a CozoNullResultPtr. If there are any errors internal to cozo, those will be returned as part of the JSON string returned in the Right value. Simple returning a Right value does not mean the query was successful.

script: utf8 encoded script to execute
params_raw: a utf8 encoded, JSON formatted map of parameters for use in the script.

backup' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Backup a database.

Accepts the path of the output file.

restore' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Restore a database from a backup.

importRelations' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Import data in relations.

Triggers are not run for relations, if you wish to activate triggers, use a query with parameters.

The given bytestring is a utf8, JSON formatted payload of relations. In the same form as that given by exportRelations'

exportRelations' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Export relations into JSON

The given bytestring must be a utf8 encoded JSON payload. See the manual for expected fields.

importFromBackup' :: Connection -> ByteString -> IO (Either CozoNullResultPtrException ByteString) Source #

Import relations from a backup.

Note that triggers are not run for the relations. To run triggers, use a query with parameters.

payload: "{path: ..., relations: [...]}"

Re-exports

data Connection Source #

data CozoNullResultPtrException Source #

Instances

Instances details

Exception CozoNullResultPtrException Source #
Instance details Defined in Database.Cozo.Internal Methods toException :: CozoNullResultPtrException -> SomeException # fromException :: SomeException -> Maybe CozoNullResultPtrException # displayException :: CozoNullResultPtrException -> String #
Generic CozoNullResultPtrException Source #
Instance details Defined in Database.Cozo.Internal Associated Types type Rep CozoNullResultPtrException :: Type -> Type # Methods from :: CozoNullResultPtrException -> Rep CozoNullResultPtrException x # to :: Rep CozoNullResultPtrException x -> CozoNullResultPtrException #
Show CozoNullResultPtrException Source #
Instance details Defined in Database.Cozo.Internal Methods showsPrec :: Int -> CozoNullResultPtrException -> ShowS # show :: CozoNullResultPtrException -> String # showList :: [CozoNullResultPtrException] -> ShowS #
Eq CozoNullResultPtrException Source #
Instance details Defined in Database.Cozo.Internal Methods (==) :: CozoNullResultPtrException -> CozoNullResultPtrException -> Bool # (/=) :: CozoNullResultPtrException -> CozoNullResultPtrException -> Bool #
type Rep CozoNullResultPtrException Source #
Instance details Defined in Database.Cozo.Internal type Rep CozoNullResultPtrException = D1 ('MetaData "CozoNullResultPtrException" "Database.Cozo.Internal" "cozo-hs-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CozoNullResultPtrException" 'PrefixI 'False) (U1 :: Type -> Type))

data InternalCozoError Source #

Wrapper around primitive failure states.

Instances

Instances details

Exception InternalCozoError Source #
Instance details Defined in Database.Cozo.Internal Methods toException :: InternalCozoError -> SomeException # fromException :: SomeException -> Maybe InternalCozoError # displayException :: InternalCozoError -> String #
Generic InternalCozoError Source #
Instance details Defined in Database.Cozo.Internal Associated Types type Rep InternalCozoError :: Type -> Type # Methods from :: InternalCozoError -> Rep InternalCozoError x # to :: Rep InternalCozoError x -> InternalCozoError #
Show InternalCozoError Source #
Instance details Defined in Database.Cozo.Internal Methods showsPrec :: Int -> InternalCozoError -> ShowS # show :: InternalCozoError -> String # showList :: [InternalCozoError] -> ShowS #
Eq InternalCozoError Source #
Instance details Defined in Database.Cozo.Internal Methods (==) :: InternalCozoError -> InternalCozoError -> Bool # (/=) :: InternalCozoError -> InternalCozoError -> Bool #
type Rep InternalCozoError Source #
Instance details Defined in Database.Cozo.Internal type Rep InternalCozoError = D1 ('MetaData "InternalCozoError" "Database.Cozo.Internal" "cozo-hs-0.1.0.0-inplace" 'True) (C1 ('MetaCons "InternalCozoError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Key #

Instances

Instances details

Arbitrary Key	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Key Methods arbitrary :: Gen Key # shrink :: Key -> [Key] #
CoArbitrary Key	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Key Methods coarbitrary :: Key -> Gen b -> Gen b #
Function Key	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Key Methods function :: (Key -> b) -> Key :-> b #
FromJSON Key
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Key # parseJSONList :: Value -> Parser [Key] # omittedField :: Maybe Key #
FromJSONKey Key
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Key # fromJSONKeyList :: FromJSONKeyFunction [Key] #
ToJSON Key
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Key -> Value # toEncoding :: Key -> Encoding # toJSONList :: [Key] -> Value # toEncodingList :: [Key] -> Encoding # omitField :: Key -> Bool #
ToJSONKey Key
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Key # toJSONKeyList :: ToJSONKeyFunction [Key] #
Data Key
Instance details Defined in Data.Aeson.Key Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key # toConstr :: Key -> Constr # dataTypeOf :: Key -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) # gmapT :: (forall b. Data b => b -> b) -> Key -> Key # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key #
IsString Key
Instance details Defined in Data.Aeson.Key Methods fromString :: String -> Key #
Monoid Key
Instance details Defined in Data.Aeson.Key Methods mempty :: Key # mappend :: Key -> Key -> Key # mconcat :: [Key] -> Key #
Semigroup Key
Instance details Defined in Data.Aeson.Key Methods (<>) :: Key -> Key -> Key # sconcat :: NonEmpty Key -> Key # stimes :: Integral b => b -> Key -> Key #
Read Key
Instance details Defined in Data.Aeson.Key Methods readsPrec :: Int -> ReadS Key # readList :: ReadS [Key] # readPrec :: ReadPrec Key # readListPrec :: ReadPrec [Key] #
Show Key
Instance details Defined in Data.Aeson.Key Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
NFData Key
Instance details Defined in Data.Aeson.Key Methods rnf :: Key -> () #
Eq Key
Instance details Defined in Data.Aeson.Key Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Ord Key
Instance details Defined in Data.Aeson.Key Methods compare :: Key -> Key -> Ordering # (<) :: Key -> Key -> Bool # (<=) :: Key -> Key -> Bool # (>) :: Key -> Key -> Bool # (>=) :: Key -> Key -> Bool # max :: Key -> Key -> Key # min :: Key -> Key -> Key #
Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt :: Int -> Key -> Int # hash :: Key -> Int #
FoldableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ifoldMap :: Monoid m => (Key -> a -> m) -> KeyMap a -> m # ifoldMap' :: Monoid m => (Key -> a -> m) -> KeyMap a -> m # ifoldr :: (Key -> a -> b -> b) -> b -> KeyMap a -> b # ifoldl :: (Key -> b -> a -> b) -> b -> KeyMap a -> b # ifoldr' :: (Key -> a -> b -> b) -> b -> KeyMap a -> b # ifoldl' :: (Key -> b -> a -> b) -> b -> KeyMap a -> b #
FunctorWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imap :: (Key -> a -> b) -> KeyMap a -> KeyMap b #
TraversableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods itraverse :: Applicative f => (Key -> a -> f b) -> KeyMap a -> f (KeyMap b) #
SemialignWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ialignWith :: (Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
ZipWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods izipWith :: (Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
Lift Key
Instance details Defined in Data.Aeson.Key Methods lift :: Quote m => Key -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Key -> Code m Key #
FilterableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imapMaybe :: (Key -> a -> Maybe b) -> KeyMap a -> KeyMap b # ifilter :: (Key -> a -> Bool) -> KeyMap a -> KeyMap a #
WitherableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods iwither :: Applicative f => (Key -> a -> f (Maybe b)) -> KeyMap a -> f (KeyMap b) # iwitherM :: Monad m => (Key -> a -> m (Maybe b)) -> KeyMap a -> m (KeyMap b) # ifilterA :: Applicative f => (Key -> a -> f Bool) -> KeyMap a -> f (KeyMap a) #
FromPairs Value (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromPairs :: DList Pair -> Value
v ~ Value => KeyValuePair v (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair

data KeyMap v #

A map from JSON key type Key to v.

Instances

Instances details

Arbitrary1 KeyMap	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.KeyMap Methods liftArbitrary :: Gen a -> Gen (KeyMap a) # liftShrink :: (a -> [a]) -> KeyMap a -> [KeyMap a] #
FromJSON1 KeyMap	Since: aeson-2.0.1.0
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (KeyMap a) # liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [KeyMap a] # liftOmittedField :: Maybe a -> Maybe (KeyMap a) #
ToJSON1 KeyMap
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> KeyMap a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [KeyMap a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> KeyMap a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [KeyMap a] -> Encoding # liftOmitField :: (a -> Bool) -> KeyMap a -> Bool #
Foldable KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods fold :: Monoid m => KeyMap m -> m # foldMap :: Monoid m => (a -> m) -> KeyMap a -> m # foldMap' :: Monoid m => (a -> m) -> KeyMap a -> m # foldr :: (a -> b -> b) -> b -> KeyMap a -> b # foldr' :: (a -> b -> b) -> b -> KeyMap a -> b # foldl :: (b -> a -> b) -> b -> KeyMap a -> b # foldl' :: (b -> a -> b) -> b -> KeyMap a -> b # foldr1 :: (a -> a -> a) -> KeyMap a -> a # foldl1 :: (a -> a -> a) -> KeyMap a -> a # toList :: KeyMap a -> [a] # null :: KeyMap a -> Bool # length :: KeyMap a -> Int # elem :: Eq a => a -> KeyMap a -> Bool # maximum :: Ord a => KeyMap a -> a # minimum :: Ord a => KeyMap a -> a # sum :: Num a => KeyMap a -> a # product :: Num a => KeyMap a -> a #
Traversable KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods traverse :: Applicative f => (a -> f b) -> KeyMap a -> f (KeyMap b) # sequenceA :: Applicative f => KeyMap (f a) -> f (KeyMap a) # mapM :: Monad m => (a -> m b) -> KeyMap a -> m (KeyMap b) # sequence :: Monad m => KeyMap (m a) -> m (KeyMap a) #
Functor KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods fmap :: (a -> b) -> KeyMap a -> KeyMap b # (<$) :: a -> KeyMap b -> KeyMap a #
Align KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods nil :: KeyMap a #
Semialign KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods align :: KeyMap a -> KeyMap b -> KeyMap (These a b) # alignWith :: (These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
Zip KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods zip :: KeyMap a -> KeyMap b -> KeyMap (a, b) # zipWith :: (a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
Filterable KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods mapMaybe :: (a -> Maybe b) -> KeyMap a -> KeyMap b # catMaybes :: KeyMap (Maybe a) -> KeyMap a # filter :: (a -> Bool) -> KeyMap a -> KeyMap a #
Witherable KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods wither :: Applicative f => (a -> f (Maybe b)) -> KeyMap a -> f (KeyMap b) # witherM :: Monad m => (a -> m (Maybe b)) -> KeyMap a -> m (KeyMap b) # filterA :: Applicative f => (a -> f Bool) -> KeyMap a -> f (KeyMap a) # witherMap :: Applicative m => (KeyMap b -> r) -> (a -> m (Maybe b)) -> KeyMap a -> m r #
FoldableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ifoldMap :: Monoid m => (Key -> a -> m) -> KeyMap a -> m # ifoldMap' :: Monoid m => (Key -> a -> m) -> KeyMap a -> m # ifoldr :: (Key -> a -> b -> b) -> b -> KeyMap a -> b # ifoldl :: (Key -> b -> a -> b) -> b -> KeyMap a -> b # ifoldr' :: (Key -> a -> b -> b) -> b -> KeyMap a -> b # ifoldl' :: (Key -> b -> a -> b) -> b -> KeyMap a -> b #
FunctorWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imap :: (Key -> a -> b) -> KeyMap a -> KeyMap b #
TraversableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods itraverse :: Applicative f => (Key -> a -> f b) -> KeyMap a -> f (KeyMap b) #
SemialignWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ialignWith :: (Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
ZipWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods izipWith :: (Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c #
FilterableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imapMaybe :: (Key -> a -> Maybe b) -> KeyMap a -> KeyMap b # ifilter :: (Key -> a -> Bool) -> KeyMap a -> KeyMap a #
WitherableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods iwither :: Applicative f => (Key -> a -> f (Maybe b)) -> KeyMap a -> f (KeyMap b) # iwitherM :: Monad m => (Key -> a -> m (Maybe b)) -> KeyMap a -> m (KeyMap b) # ifilterA :: Applicative f => (Key -> a -> f Bool) -> KeyMap a -> f (KeyMap a) #
value ~ Value => KeyValue Value (KeyMap value)	Constructs a singleton `KeyMap`. For calling functions that demand an `Object` for constructing objects. To be used in conjunction with `mconcat`. Prefer to use `object` where possible.
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> KeyMap value # explicitToField :: (v -> Value) -> Key -> v -> KeyMap value #
value ~ Value => KeyValueOmit Value (KeyMap value)
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.?=) :: ToJSON v => Key -> v -> KeyMap value # explicitToFieldOmit :: (v -> Bool) -> (v -> Value) -> Key -> v -> KeyMap value #
Lift v => Lift (KeyMap v :: Type)
Instance details Defined in Data.Aeson.KeyMap Methods lift :: Quote m => KeyMap v -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => KeyMap v -> Code m (KeyMap v) #
Arbitrary v => Arbitrary (KeyMap v)	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.KeyMap Methods arbitrary :: Gen (KeyMap v) # shrink :: KeyMap v -> [KeyMap v] #
CoArbitrary v => CoArbitrary (KeyMap v)	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.KeyMap Methods coarbitrary :: KeyMap v -> Gen b -> Gen b #
Function v => Function (KeyMap v)	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.KeyMap Methods function :: (KeyMap v -> b) -> KeyMap v :-> b #
FromJSON v => FromJSON (KeyMap v)	Since: aeson-2.0.1.0
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (KeyMap v) # parseJSONList :: Value -> Parser [KeyMap v] # omittedField :: Maybe (KeyMap v) #
ToJSON v => ToJSON (KeyMap v)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: KeyMap v -> Value # toEncoding :: KeyMap v -> Encoding # toJSONList :: [KeyMap v] -> Value # toEncodingList :: [KeyMap v] -> Encoding # omitField :: KeyMap v -> Bool #
Data v => Data (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeyMap v -> c (KeyMap v) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (KeyMap v) # toConstr :: KeyMap v -> Constr # dataTypeOf :: KeyMap v -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (KeyMap v)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (KeyMap v)) # gmapT :: (forall b. Data b => b -> b) -> KeyMap v -> KeyMap v # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeyMap v -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeyMap v -> r # gmapQ :: (forall d. Data d => d -> u) -> KeyMap v -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> KeyMap v -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeyMap v -> m (KeyMap v) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyMap v -> m (KeyMap v) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyMap v -> m (KeyMap v) #
Monoid (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods mempty :: KeyMap v # mappend :: KeyMap v -> KeyMap v -> KeyMap v # mconcat :: [KeyMap v] -> KeyMap v #
Semigroup (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods (<>) :: KeyMap v -> KeyMap v -> KeyMap v # sconcat :: NonEmpty (KeyMap v) -> KeyMap v # stimes :: Integral b => b -> KeyMap v -> KeyMap v #
IsList (KeyMap v)	Since: aeson-2.0.2.0
Instance details Defined in Data.Aeson.KeyMap Associated Types type Item (KeyMap v) # Methods fromList :: [Item (KeyMap v)] -> KeyMap v # fromListN :: Int -> [Item (KeyMap v)] -> KeyMap v # toList :: KeyMap v -> [Item (KeyMap v)] #
Read v => Read (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods readsPrec :: Int -> ReadS (KeyMap v) # readList :: ReadS [KeyMap v] # readPrec :: ReadPrec (KeyMap v) # readListPrec :: ReadPrec [KeyMap v] #
Show v => Show (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods showsPrec :: Int -> KeyMap v -> ShowS # show :: KeyMap v -> String # showList :: [KeyMap v] -> ShowS #
NFData v => NFData (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods rnf :: KeyMap v -> () #
Eq v => Eq (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods (==) :: KeyMap v -> KeyMap v -> Bool # (/=) :: KeyMap v -> KeyMap v -> Bool #
Ord v => Ord (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods compare :: KeyMap v -> KeyMap v -> Ordering # (<) :: KeyMap v -> KeyMap v -> Bool # (<=) :: KeyMap v -> KeyMap v -> Bool # (>) :: KeyMap v -> KeyMap v -> Bool # (>=) :: KeyMap v -> KeyMap v -> Bool # max :: KeyMap v -> KeyMap v -> KeyMap v # min :: KeyMap v -> KeyMap v -> KeyMap v #
Hashable v => Hashable (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods hashWithSalt :: Int -> KeyMap v -> Int # hash :: KeyMap v -> Int #
type Item (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap type Item (KeyMap v) = (Key, v)

empty :: KeyMap v #

Construct an empty map.

singleton :: Key -> v -> KeyMap v #

Construct a map with a single element.

insert :: Key -> v -> KeyMap v -> KeyMap v #

Associate the specified value with the specified key in this map. If this map previously contained a mapping for the key, the old value is replaced.

fromList :: [(Key, v)] -> KeyMap v #

Construct a map with the supplied mappings. If the list contains duplicate mappings, the later mappings take precedence.

>>> fromList [("a", 'x'), ("a", 'y')]
fromList [("a",'y')]

data Value #

A JSON value represented as a Haskell value.

Constructors

Object !Object
Array !Array
String !Text
Number !Scientific
Bool !Bool
Null

Instances

Instances details

Arbitrary Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods arbitrary :: Gen Value # shrink :: Value -> [Value] #
CoArbitrary Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods coarbitrary :: Value -> Gen b -> Gen b #
Function Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods function :: (Value -> b) -> Value :-> b #
FromJSON Value
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Value # parseJSONList :: Value -> Parser [Value] # omittedField :: Maybe Value #
ToJSON Value
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Value -> Value # toEncoding :: Value -> Encoding # toJSONList :: [Value] -> Value # toEncodingList :: [Value] -> Encoding # omitField :: Value -> Bool #
Data Value
Instance details Defined in Data.Aeson.Types.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value # toConstr :: Value -> Constr # dataTypeOf :: Value -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) # gmapT :: (forall b. Data b => b -> b) -> Value -> Value # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value #
IsString Value
Instance details Defined in Data.Aeson.Types.Internal Methods fromString :: String -> Value #
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x # to :: Rep Value x -> Value #
Read Value
Instance details Defined in Data.Aeson.Types.Internal Methods readsPrec :: Int -> ReadS Value # readList :: ReadS [Value] # readPrec :: ReadPrec Value # readListPrec :: ReadPrec [Value] #
Show Value	Since version 1.5.6.0 version object values are printed in lexicographic key order `>>>` `toJSON $ H.fromList [("a", True), ("z", False)]`Object (fromList [("a",Bool True),("z",Bool False)]) `>>>` `toJSON $ H.fromList [("z", False), ("a", True)]`Object (fromList [("a",Bool True),("z",Bool False)])
Instance details Defined in Data.Aeson.Types.Internal Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
NFData Value
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: Value -> () #
Eq Value
Instance details Defined in Data.Aeson.Types.Internal Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value	The ordering is total, consistent with `Eq` instance. However, nothing else about the ordering is specified, and it may change from environment to environment and version to version of either this package or its dependencies (`hashable` and 'unordered-containers'). Since: aeson-1.5.2.0
Instance details Defined in Data.Aeson.Types.Internal Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int # hash :: Value -> Int #
KeyValue Encoding Series
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> Series # explicitToField :: (v -> Encoding) -> Key -> v -> Series #
KeyValueOmit Encoding Series
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.?=) :: ToJSON v => Key -> v -> Series # explicitToFieldOmit :: (v -> Bool) -> (v -> Encoding) -> Key -> v -> Series #
Lift Value	Since: aeson-0.11.0.0
Instance details Defined in Data.Aeson.Types.Internal Methods lift :: Quote m => Value -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Value -> Code m Value #
(GToJSON' Encoding arity a, ConsToJSON Encoding arity a, Constructor c) => SumToJSON' TwoElemArray Encoding arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Encoding arity a0 -> C1 c a a0 -> Tagged TwoElemArray Encoding
(GToJSON' Value arity a, ConsToJSON Value arity a, Constructor c) => SumToJSON' TwoElemArray Value arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Value arity a0 -> C1 c a a0 -> Tagged TwoElemArray Value
GToJSON' Encoding arity (U1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> U1 a -> Encoding
GToJSON' Encoding arity (V1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> V1 a -> Encoding
GToJSON' Value arity (U1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> U1 a -> Value
GToJSON' Value arity (V1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> V1 a -> Value
ToJSON1 f => GToJSON' Encoding One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> Rec1 f a -> Encoding
ToJSON1 f => GToJSON' Value One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> Rec1 f a -> Value
(EncodeProduct arity a, EncodeProduct arity b) => GToJSON' Encoding arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> (a :*: b) a0 -> Encoding
ToJSON a => GToJSON' Encoding arity (K1 i a :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> K1 i a a0 -> Encoding
(WriteProduct arity a, WriteProduct arity b, ProductSize a, ProductSize b) => GToJSON' Value arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> (a :*: b) a0 -> Value
ToJSON a => GToJSON' Value arity (K1 i a :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> K1 i a a0 -> Value
(ToJSON1 f, GToJSON' Encoding One g) => GToJSON' Encoding One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> (f :.: g) a -> Encoding
(ToJSON1 f, GToJSON' Value One g) => GToJSON' Value One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> (f :.: g) a -> Value
FromPairs Value (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromPairs :: DList Pair -> Value
value ~ Value => KeyValue Value (KeyMap value)	Constructs a singleton `KeyMap`. For calling functions that demand an `Object` for constructing objects. To be used in conjunction with `mconcat`. Prefer to use `object` where possible.
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> KeyMap value # explicitToField :: (v -> Value) -> Key -> v -> KeyMap value #
value ~ Value => KeyValueOmit Value (KeyMap value)
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.?=) :: ToJSON v => Key -> v -> KeyMap value # explicitToFieldOmit :: (v -> Bool) -> (v -> Value) -> Key -> v -> KeyMap value #
v ~ Value => KeyValuePair v (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair
(key ~ Key, value ~ Value) => KeyValue Value (key, value)
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> (key, value) # explicitToField :: (v -> Value) -> Key -> v -> (key, value) #
type Rep Value
Instance details Defined in Data.Aeson.Types.Internal type Rep Value = D1 ('MetaData "Value" "Data.Aeson.Types.Internal" "aeson-2.2.1.0-5ff71fc79f9d9173c322972bd2e495bd71d52b4dda78216c26dfecacf660c8ce" 'False) ((C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Object)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Array)) :+: C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type))))