| Copyright | Soostone Inc, Chris Allen |
|---|---|
| License | BSD3 |
| Maintainer | Ozgun Ataman <ozgun.ataman@soostone.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Aws.DynamoDb.Core
Contents
Description
Shared types and utilities for DyanmoDb functionality.
- data Region = Region {
- rUri :: ByteString
- rName :: ByteString
- ddbLocal :: Region
- ddbUsEast1 :: Region
- ddbUsWest1 :: Region
- ddbUsWest2 :: Region
- ddbEuWest1 :: Region
- ddbEuCentral1 :: Region
- ddbApNe1 :: Region
- ddbApSe1 :: Region
- ddbApSe2 :: Region
- ddbSaEast1 :: Region
- data DdbConfiguration qt = DdbConfiguration {
- ddbcRegion :: Region
- ddbcProtocol :: Protocol
- ddbcPort :: Maybe Int
- data DValue
- class DynData (DynRep a) => DynVal a where
- toValue :: DynVal a => a -> DValue
- fromValue :: DynVal a => DValue -> Maybe a
- newtype Bin a = Bin {
- getBin :: a
- newtype OldBool = OldBool Bool
- class Ord a => DynData a where
- newtype DynBinary = DynBinary {}
- newtype DynNumber = DynNumber {}
- newtype DynString = DynString {
- unDynString :: Text
- data Attribute = Attribute {}
- parseAttributeJson :: Value -> Parser [Attribute]
- attributeJson :: Attribute -> Pair
- attributesJson :: [Attribute] -> Value
- attrTuple :: Attribute -> (Text, DValue)
- attr :: DynVal a => Text -> a -> Attribute
- attrAs :: DynVal a => Proxy a -> Text -> a -> Attribute
- text :: Proxy Text
- int :: Proxy Integer
- double :: Proxy Double
- data PrimaryKey = PrimaryKey {}
- hk :: Text -> DValue -> PrimaryKey
- hrk :: Text -> DValue -> Text -> DValue -> PrimaryKey
- type Item = Map Text DValue
- item :: [Attribute] -> Item
- attributes :: Map Text DValue -> [Attribute]
- class ToDynItem a where
- class FromDynItem a where
- fromItem :: FromDynItem a => Item -> Either String a
- newtype Parser a = Parser {
- runParser :: forall f r. Failure f r -> Success a f r -> f r
- getAttr :: forall a. (Typeable a, DynVal a) => Text -> Item -> Parser a
- getAttr' :: forall a. (Typeable a, DynVal a) => Text -> Item -> Parser (Maybe a)
- data Conditions = Conditions CondMerge [Condition]
- conditionsJson :: Text -> Conditions -> [Pair]
- expectsJson :: Conditions -> [Pair]
- data Condition = Condition {}
- conditionJson :: Condition -> Pair
- data CondOp
- data CondMerge
- data ConsumedCapacity = ConsumedCapacity {
- capacityUnits :: Int64
- capacityGlobalIndex :: [(Text, Int64)]
- capacityLocalIndex :: [(Text, Int64)]
- capacityTableUnits :: Maybe Int64
- capacityTable :: Text
- data ReturnConsumption
- data ItemCollectionMetrics = ItemCollectionMetrics {
- icmKey :: (Text, DValue)
- icmEstimate :: [Double]
- data ReturnItemCollectionMetrics
- data UpdateReturn
- data QuerySelect
- querySelectJson :: KeyValue t => QuerySelect -> [t]
- class DynSize a where
- nullAttr :: Attribute -> Bool
- data DdbResponse = DdbResponse {}
- data DdbErrCode
- = AccessDeniedException
- | ConditionalCheckFailedException
- | IncompleteSignatureException
- | InvalidSignatureException
- | LimitExceededException
- | MissingAuthenticationTokenException
- | ProvisionedThroughputExceededException
- | ResourceInUseException
- | ResourceNotFoundException
- | ThrottlingException
- | ValidationException
- | RequestTooLarge
- | InternalFailure
- | InternalServerError
- | ServiceUnavailableException
- | SerializationException
- shouldRetry :: DdbErrCode -> Bool
- data DdbError = DdbError {}
- ddbSignQuery :: ToJSON a => ByteString -> a -> DdbConfiguration qt -> SignatureData -> SignedQuery
- data AmazonError = AmazonError {}
- ddbResponseConsumer :: FromJSON a => IORef DdbResponse -> HTTPResponseConsumer a
- ddbHttp :: Region -> DdbConfiguration NormalQuery
- ddbHttps :: Region -> DdbConfiguration NormalQuery
Configuration and Regions
Constructors
| Region | |
Fields
| |
data DdbConfiguration qt Source
Constructors
| DdbConfiguration | |
Fields
| |
DynamoDB values
Value types natively recognized by DynamoDb. We pretty much exactly reflect the AWS API onto Haskell types.
Constructors
| DNull | |
| DNum Scientific | |
| DString Text | |
| DBinary ByteString | Binary data will automatically be base64 marshalled. |
| DNumSet (Set Scientific) | |
| DStringSet (Set Text) | |
| DBinSet (Set ByteString) | Binary data will automatically be base64 marshalled. |
| DBool Bool | |
| DBoolSet (Set Bool) | Composite data |
| DList (Vector DValue) | |
| DMap (Map Text DValue) |
Instances
Converting to/from DValue
class DynData (DynRep a) => DynVal a where Source
Class of Haskell types that can be represented as DynamoDb values.
This is the conversion layer; instantiate this class for your own
types and then use the toValue and fromValue combinators to
convert in application code.
Each Haskell type instantiated with this class will map to a DynamoDb-supported type that most naturally represents it.
Associated Types
Which of the DynData instances does this data type directly
map to?
Instances
| DynVal Bool Source | |
| DynVal Double Source | |
| DynVal Int Source | |
| DynVal Int8 Source | |
| DynVal Int16 Source | |
| DynVal Int32 Source | |
| DynVal Int64 Source | |
| DynVal Integer Source | |
| DynVal Word8 Source | |
| DynVal Word16 Source | |
| DynVal Word32 Source | |
| DynVal Word64 Source | |
| DynVal ByteString Source | |
| DynVal Text Source | |
| DynVal UTCTime Source | Losslessly encoded via |
| DynVal Day Source | Encoded as number of days |
| DynVal DValue Source | |
| DynVal OldBool Source | |
| (DynData (DynRep [a]), DynVal a) => DynVal [a] Source | Any singular |
| (DynData (DynRep (Set a)), DynVal a, Ord a) => DynVal (Set a) Source | Any singular |
| Serialize a => DynVal (Bin a) Source |
Type wrapper for binary data to be written to DynamoDB. Wrap any
Serialize instance in there and DynVal will know how to
automatically handle conversions in binary form.
Defining new DynVal instances
class Ord a => DynData a where Source
An internally used closed typeclass for values that have direct DynamoDb representations. Based on AWS API, this is basically numbers, strings and binary blobs.
This is here so that any DynVal haskell value can automatically
be lifted to a list or a Set without any instance code
duplication.
Do not try to create your own instances.
Binary values stored in DynamoDb. Only used in defining new
DynVal instances.
Constructors
| DynBinary | |
Fields | |
Numeric values stored in DynamoDb. Only used in defining new
DynVal instances.
Constructors
| DynNumber | |
Fields | |
String values stored in DynamoDb. Only used in defining new
DynVal instances.
Constructors
| DynString | |
Fields
| |
Working with key/value pairs
A key-value pair
parseAttributeJson :: Value -> Parser [Attribute] Source
Parse a JSON object that contains attributes
attributeJson :: Attribute -> Pair Source
Convert into JSON pair
attributesJson :: [Attribute] -> Value Source
Convert into JSON object for AWS.
attr :: DynVal a => Text -> a -> Attribute Source
Convenience function for constructing key-value pairs
attrAs :: DynVal a => Proxy a -> Text -> a -> Attribute Source
attr with type witness to help with cases where you're manually
supplying values in code.
> item [ attrAs text "name" "john" ]
data PrimaryKey Source
Primary keys consist of either just a Hash key (mandatory) or a hash key and a range key (optional).
hk :: Text -> DValue -> PrimaryKey Source
Construct a hash-only primary key.
>>>hk "user-id" "ABCD"
>>>hk "user-id" (mkVal 23)
Arguments
| :: Text | Hash key name |
| -> DValue | Hash key value |
| -> Text | Range key name |
| -> DValue | Range key value |
| -> PrimaryKey |
Construct a hash-and-range primary key.
Working with objects (attribute collections)
class FromDynItem a where Source
Types parseable from DynamoDb Item collections.
User getAttr family of functions to applicatively or monadically
parse into your custom types.
Instances
| FromDynItem Item Source | |
| (Typeable * a, DynVal a) => FromDynItem [(Text, a)] Source | |
| (Typeable * a, DynVal a) => FromDynItem (Map Text a) Source |
fromItem :: FromDynItem a => Item -> Either String a Source
Parse an Item into target type using the FromDynItem
instance.
A continuation-based parser type.
Convenience combinator for parsing fields from an Item returned
by DynamoDb.
Arguments
| :: (Typeable a, DynVal a) | |
| => Text | Attribute name |
| -> Item | Item from DynamoDb |
| -> Parser (Maybe a) |
Parse attribute if it's present in the Item. Fail if attribute
is present but conversion fails.
Common types used by operations
data Conditions Source
Conditions used by mutation operations (PutItem, UpdateItem,
etc.). The default def instance is empty (no condition).
Constructors
| Conditions CondMerge [Condition] |
conditionsJson :: Text -> Conditions -> [Pair] Source
JSON encoding of conditions parameter in various contexts.
expectsJson :: Conditions -> [Pair] Source
A condition used by mutation operations (PutItem, UpdateItem, etc.).
Constructors
| Condition | |
conditionJson :: Condition -> Pair Source
Conditional operation to perform on a field.
How to merge multiple conditions.
data ConsumedCapacity Source
The standard response metrics on capacity consumption.
Constructors
| ConsumedCapacity | |
Fields
| |
data ReturnConsumption Source
data ItemCollectionMetrics Source
Constructors
| ItemCollectionMetrics | |
Fields
| |
data UpdateReturn Source
What to return from the current update operation
Constructors
| URNone | Return nothing |
| URAllOld | Return old values |
| URUpdatedOld | Return old values with a newer replacement |
| URAllNew | Return new values |
| URUpdatedNew | Return new values that were replacements |
data QuerySelect Source
What to return from a Query or Scan query.
Constructors
| SelectSpecific [Text] | Only return selected attributes |
| SelectCount | Return counts instead of attributes |
| SelectProjected | Return index-projected attributes |
| SelectAll | Default. Return everything. |
querySelectJson :: KeyValue t => QuerySelect -> [t] Source
Size estimation
A class to help predict DynamoDb size of values, attributes and entire items. The result is given in number of bytes.
nullAttr :: Attribute -> Bool Source
Will an attribute be considered empty by DynamoDb?
A PutItem (or similar) with empty attributes will be rejected
with a ValidationException.
Responses & Errors
data DdbErrCode Source
Errors defined by AWS.
Constructors
Instances
shouldRetry :: DdbErrCode -> Bool Source
Whether the action should be retried based on the received error.
Potential errors raised by DynamoDB
Constructors
| DdbError | |
Fields
| |
Internal Helpers
ddbSignQuery :: ToJSON a => ByteString -> a -> DdbConfiguration qt -> SignatureData -> SignedQuery Source
data AmazonError Source
Instances
ddbResponseConsumer :: FromJSON a => IORef DdbResponse -> HTTPResponseConsumer a Source