Network.AWS.Data

Serialisation classes and primitives for the various formats used to communicate with AWS.

ByteString

type LazyByteString = ByteString

class ToByteString a where

Minimal complete definition

Nothing

Methods

toBS :: a -> ByteString

Instances

ToByteString Double

ToByteString Int

ToByteString Integer

ToByteString Builder

ToByteString ByteString

ToByteString UTCTime

ToByteString Text

ToByteString StdMethod

ToByteString Natural

ToByteString LazyByteString

ToByteString Query

ToByteString Base64

ToByteString Nat

ToByteString AWSTime

ToByteString BasicTime

ToByteString ISO8601

ToByteString RFC822

ToByteString Action

ToByteString Region

ToByteString SecurityToken

ToByteString SecretKey

ToByteString AccessKey

ToByteString (Digest a)

ToByteString a => ToByteString (CI a)

ToByteString a => ToByteString (Sensitive a)

class ToBuilder a where

Minimal complete definition

Nothing

Methods

build :: a -> Builder

Instances

ToBuilder Bool

ToBuilder Char

ToBuilder Double

ToBuilder Int

ToBuilder Int64

ToBuilder Integer

ToBuilder Builder

ToBuilder ByteString

ToBuilder UTCTime

ToBuilder Text

ToBuilder RequestBody

ToBuilder Request

ToBuilder HttpVersion

ToBuilder StdMethod

ToBuilder Natural

ToBuilder LazyByteString

ToBuilder RsBody

ToBuilder RqBody

ToBuilder Query

ToBuilder Region

ToBuilder Auth

ToBuilder AuthEnv

ToBuilder AccessKey

ToBuilder Accept

ToBuilder [Char]

ToBuilder [Header]

ToBuilder a => ToBuilder (Maybe a)

ToBuilder (Digest a)

ToBuilder a => ToBuilder (CI a)

ToBuilder (Response a)

ToBuilder (Request a)

ToBuilder (Meta V2)

ToBuilder (Meta V4)

showBS :: ToByteString a => a -> String

buildBS :: ToBuilder a => a -> LazyByteString

stripBS :: ByteString -> ByteString

data Base64

Base64 encoded binary data.

Instances

Eq Base64

Ord Base64

Read Base64

Show Base64

Generic Base64

ToText Base64

FromText Base64

ToJSON Base64

FromJSON Base64

ToByteString Base64

ToQuery Base64

ToXML Base64

FromXML Base64

type Rep Base64

Text

class FromText a where

Methods

parser :: Parser a

Instances

FromText Bool

FromText Double

FromText Int

FromText Integer

FromText ByteString

FromText Text

FromText Scientific

FromText Natural

FromText Base64

FromText Nat

FromText POSIX

FromText AWSTime

FromText BasicTime

FromText ISO8601

FromText RFC822

FromText Region

FromText ErrorType

FromText a => FromText (Sensitive a)

fromText :: FromText a => Text -> Either String a

takeLowerText :: Parser Text

matchCI :: Text -> a -> Parser a

class ToText a where

Methods

toText :: a -> Text

Instances

ToText Bool

ToText Double

ToText Int

ToText Int64

ToText Integer

ToText ByteString

ToText Text

ToText Scientific

ToText StdMethod

ToText Natural

ToText Query

ToText Base64

ToText Nat

ToText POSIX

ToText AWSTime

ToText BasicTime

ToText ISO8601

ToText RFC822

ToText Action

ToText Region

ToText SecurityToken

ToText SecretKey

ToText AccessKey

ToText a => ToText [a]

ToText (Digest a)

ToText a => ToText (CI a)

ToText (Response a)

ToText a => ToText (Sensitive a)

(ToText a, ToText b) => ToText (a, b)

showText :: ToText a => a -> String

Numeric

newtype Nat

Constructors

Nat

Fields

unNat :: Natural

Instances

Enum Nat

Eq Nat

Integral Nat

Num Nat

Ord Nat

Read Nat

Real Nat

Show Nat

ToText Nat

FromText Nat

ToJSON Nat

FromJSON Nat

ToByteString Nat

ToQuery Nat

ToXML Nat

FromXML Nat

_Nat :: Iso' Nat Natural

Time

data Format

Constructors

RFC822Format

ISO8601Format

BasicFormat

AWSFormat

POSIXFormat

Instances

Eq Format

Read Format

Show Format

data Time :: Format -> * where

Constructors

Time :: UTCTime -> Time a

Instances

ToText POSIX

ToText AWSTime

ToText BasicTime

ToText ISO8601

ToText RFC822

FromText POSIX

FromText AWSTime

FromText BasicTime

FromText ISO8601

FromText RFC822

ToJSON POSIX

ToJSON AWSTime

ToJSON BasicTime

ToJSON ISO8601

ToJSON RFC822

FromJSON POSIX

FromJSON AWSTime

FromJSON BasicTime

FromJSON ISO8601

FromJSON RFC822

ToByteString AWSTime

ToByteString BasicTime

ToByteString ISO8601

ToByteString RFC822

ToQuery AWSTime

ToQuery BasicTime

ToQuery ISO8601

ToQuery RFC822

ToXML POSIX

ToXML AWSTime

ToXML BasicTime

ToXML ISO8601

ToXML RFC822

FromXML POSIX

FromXML AWSTime

FromXML BasicTime

FromXML ISO8601

FromXML RFC822

Eq (Time a)

Ord (Time a)

Read (Time a)

Show (Time a)

_Time :: Iso' (Time a) UTCTime

data UTCTime :: *

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.

Instances

Eq UTCTime

Data UTCTime

Ord UTCTime

Read UTCTime

Show UTCTime

NFData UTCTime

FormatTime UTCTime

ParseTime UTCTime

ToJSON UTCTime

FromJSON UTCTime

ToBuilder UTCTime

ToByteString UTCTime

Typeable * UTCTime

type RFC822 = Time RFC822Format

type ISO8601 = Time ISO8601Format

type BasicTime = Time BasicFormat

type AWSTime = Time AWSFormat

type POSIX = Time POSIXFormat

parseTime

Arguments

:: ParseTime t

=> TimeLocale

Time locale.

-> String

Format string.

-> String

Input string.

-> Maybe t

The time value, or Nothing if the input could not be parsed using the given format.

Parses a time value given a format string. Supports the same %-codes as formatTime, including %-, %_ and %0 modifiers. Leading and trailing whitespace is accepted. Case is not significant. Some variations in the input are accepted:

%z

accepts any of -HHMM or -HH:MM.

%Z

accepts any string of letters, or any of the formats accepted by %z.

%0Y

accepts exactly four digits.

%0G

accepts exactly four digits.

%0C

accepts exactly two digits.

%0f

accepts exactly two digits.

defaultTimeLocale :: TimeLocale

iso8601DateFormat :: Maybe String -> String

Construct format string according to ISO-8601.

The Maybe String argument allows to supply an optional time specification. E.g.:

iso8601DateFormat Nothing            == "%Y-%m-%d"           -- i.e. YYYY-MM-DD
iso8601DateFormat (Just "%H:%M:%S")  == "%Y-%m-%dT%H:%M:%S"  -- i.e. YYYY-MM-DDTHH:MM:SS

Sensitive

newtype Sensitive a

read . show /= isomorphic

Constructors

Sensitive

Fields

desensitise :: a

Instances

Eq a => Eq (Sensitive a)

Ord a => Ord (Sensitive a)

Read a => Read (Sensitive a)

Show (Sensitive a)

IsString a => IsString (Sensitive a)

Monoid a => Monoid (Sensitive a)

ToText a => ToText (Sensitive a)

FromText a => FromText (Sensitive a)

ToJSON a => ToJSON (Sensitive a)

FromJSON a => FromJSON (Sensitive a)

ToByteString a => ToByteString (Sensitive a)

ToQuery a => ToQuery (Sensitive a)

ToXML a => ToXML (Sensitive a)

FromXML a => FromXML (Sensitive a)

_Sensitive :: Iso' (Sensitive a) a

HTTP

Body

data RsBody

Constructors

RsBody (ResumableSource (ResourceT IO) ByteString)

Instances

Show RsBody

ToBuilder RsBody

_RsBody :: Iso' RsBody (ResumableSource (ResourceT IO) ByteString)

connectBody :: MonadResource m => RsBody -> Sink ByteString m a -> m a

data RqBody

Constructors

RqBody

Fields

_bdyHash :: Digest SHA256

_bdyBody :: RequestBody

Instances

Show RqBody

IsString RqBody

ToBuilder RqBody

ToBody RqBody

bdyHash :: Lens' RqBody (Digest SHA256)

bdyBody :: Lens' RqBody RequestBody

bodyHash :: RqBody -> ByteString

isStreaming :: RqBody -> Bool

class ToBody a where

Minimal complete definition

Nothing

Methods

toBody :: a -> RqBody

Instances

ToBody ByteString

ToBody ByteString

ToBody Value

ToBody RqBody

Headers

(~:) :: FromText a => ResponseHeaders -> HeaderName -> Either String a

(~:?) :: FromText a => ResponseHeaders -> HeaderName -> Either String (Maybe a)

class ToHeaders a where

Minimal complete definition

Nothing

Methods

toHeaders :: a -> [Header]

(=:) :: ToHeader a => HeaderName -> a -> [Header]

hdr :: HeaderName -> ByteString -> [Header] -> [Header]

hdrs :: [Header] -> [Header] -> [Header]

toHeaderText :: ToText a => HeaderName -> a -> [Header]

class ToHeader a where

Minimal complete definition

Nothing

Methods

toHeader :: HeaderName -> a -> [Header]

Instances

ToHeader ByteString

ToHeader Text

ToByteString a => ToHeader (Maybe a)

(ToByteString k, ToByteString v) => ToHeader (HashMap k v)

ToHeader (Map (CI Text) Text)

hHost :: HeaderName

hAMZToken :: HeaderName

hAMZTarget :: HeaderName

hAMZAlgorithm :: HeaderName

hAMZCredential :: HeaderName

hAMZExpires :: HeaderName

hAMZSignedHeaders :: HeaderName

hAMZContentSHA256 :: HeaderName

hAMZAuth :: HeaderName

hAMZDate :: HeaderName

hMetaPrefix :: HeaderName

Path

class ToPath a where

Minimal complete definition

Nothing

Methods

toPath :: a -> Text

Instances

ToPath Text

Query

class ToQuery a where

Minimal complete definition

Nothing

Methods

toQuery :: a -> Query

Instances

ToQuery Bool

ToQuery Char

ToQuery Double

ToQuery Int

ToQuery Integer

ToQuery ByteString

ToQuery Text

ToQuery Natural

ToQuery Query

ToQuery Base64

ToQuery Nat

ToQuery AWSTime

ToQuery BasicTime

ToQuery ISO8601

ToQuery RFC822

ToQuery a => ToQuery [a]

ToQuery a => ToQuery (Maybe a)

ToQuery a => ToQuery (Sensitive a)

(ToByteString k, ToQuery v) => ToQuery (k, v)

(KnownSymbol e, ToQuery a) => ToQuery (List1 e a)

(KnownSymbol e, ToQuery a) => ToQuery (List e a)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, ToQuery k, ToQuery v) => ToQuery (EMap e i j k v)

renderQuery :: Query -> ByteString

data Query

Instances

Eq Query

Data Query

Show Query

IsString Query

Monoid Query

ToText Query

ToBuilder Query

ToByteString Query

Plated Query

ToQuery Query

Typeable * Query

valuesOf :: Traversal' Query (Maybe ByteString)

(=?) :: ToQuery a => ByteString -> a -> Query

pair :: ToQuery a => ByteString -> a -> Query -> Query

toQueryList :: (IsList a, ToQuery (Item a)) => ByteString -> a -> Query

URI

collapsePath :: ByteString -> ByteString

XML

FromXML

class FromXML a where

Methods

parseXML :: [Node] -> Either String a

Instances

FromXML Bool

FromXML Double

FromXML Int

FromXML Integer

FromXML Text

FromXML Natural

FromXML Base64

FromXML Nat

FromXML POSIX

FromXML AWSTime

FromXML BasicTime

FromXML ISO8601

FromXML RFC822

FromXML Region

FromXML RESTError

FromXML ErrorType

FromXML ErrorCode

FromXML a => FromXML (Maybe a)

FromXML a => FromXML (Sensitive a)

(KnownSymbol e, FromXML a) => FromXML (List1 e a)

(KnownSymbol e, FromXML a) => FromXML (List e a)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, FromXML k, FromXML v) => FromXML (EMap e i j k v)

decodeXML :: LazyByteString -> Either String [Node]

parseXMLText :: FromText a => String -> [Node] -> Either String a

childNodes :: Text -> Node -> Maybe [Node]

findElement :: Text -> [Node] -> Either String [Node]

withContent :: String -> [Node] -> Either String (Maybe Text)

withElement :: Text -> ([Node] -> Either String a) -> [Node] -> Either String a

localName :: Node -> Maybe Text

(.@) :: FromXML a => [Node] -> Text -> Either String a

(.@?) :: FromXML a => [Node] -> Text -> Either String (Maybe a)

(.!@) :: Either String (Maybe a) -> a -> Either String a

ToXML

class ToXML a where

Minimal complete definition

Nothing

Methods

toXML :: a -> [Node]

Instances

ToXML Bool

ToXML Double

ToXML Int

ToXML Integer

ToXML Text

ToXML Natural

ToXML Base64

ToXML Nat

ToXML POSIX

ToXML AWSTime

ToXML BasicTime

ToXML ISO8601

ToXML RFC822

ToXML Region

ToXML a => ToXML (Maybe a)

ToXML a => ToXML (Sensitive a)

(KnownSymbol e, ToXML a) => ToXML (List1 e a)

(KnownSymbol e, ToXML a) => ToXML (List e a)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, ToXML k, ToXML v) => ToXML (EMap e i j k v)

class ToXMLRoot a where

Methods

toXMLRoot :: a -> Maybe Element

encodeXML :: ToXMLRoot a => a -> LazyByteString

toXMLText :: ToText a => a -> [Node]

namespaced :: Text -> Text -> [Node] -> Maybe Element

element :: Name -> [Node] -> Element

nodes :: Name -> [Node] -> [Node]

(=@) :: ToXML a => Name -> a -> Node

extractRoot :: Text -> [Node] -> Maybe Element

unsafeToXML :: (Show a, ToXML a) => a -> Node

Caution: This is for use with types which are flattened in AWS service model terminology.

It is applied by the generator/templating in safe contexts only.

JSON

FromJSON

class FromJSON a where

Minimal complete definition

Nothing

Methods

parseJSON :: Value -> Parser a

Instances

FromJSON Bool

FromJSON Char

FromJSON Double

FromJSON Float

FromJSON Int

FromJSON Int8

FromJSON Int16

FromJSON Int32

FromJSON Int64

FromJSON Integer

FromJSON Word

FromJSON Word8

FromJSON Word16

FromJSON Word32

FromJSON Word64

FromJSON ()

FromJSON IntSet

FromJSON ZonedTime

FromJSON UTCTime

FromJSON Text

FromJSON Scientific

FromJSON Number

FromJSON Text

FromJSON Value

FromJSON DotNetTime

FromJSON Base64

FromJSON Nat

FromJSON POSIX

FromJSON AWSTime

FromJSON BasicTime

FromJSON ISO8601

FromJSON RFC822

FromJSON AuthEnv

FromJSON ErrorCode

FromJSON JSONError

FromJSON [Char]

FromJSON a => FromJSON [a]

FromJSON (Ratio Integer)

HasResolution a => FromJSON (Fixed a)

FromJSON a => FromJSON (Dual a)

FromJSON a => FromJSON (First a)

FromJSON a => FromJSON (Last a)

FromJSON a => FromJSON (Maybe a)

FromJSON a => FromJSON (IntMap a)

(Ord a, FromJSON a) => FromJSON (Set a)

FromJSON v => FromJSON (Tree v)

FromJSON a => FromJSON (Vector a)

(Storable a, FromJSON a) => FromJSON (Vector a)

(Prim a, FromJSON a) => FromJSON (Vector a)

(Vector Vector a, FromJSON a) => FromJSON (Vector a)

(Eq a, Hashable a, FromJSON a) => FromJSON (HashSet a)

FromJSON a => FromJSON (Sensitive a)

(FromJSON a, FromJSON b) => FromJSON (Either a b)

(FromJSON a, FromJSON b) => FromJSON (a, b)

FromJSON v => FromJSON (Map String v)

FromJSON v => FromJSON (Map Text v)

FromJSON v => FromJSON (Map Text v)

FromJSON v => FromJSON (HashMap String v)

FromJSON v => FromJSON (HashMap Text v)

FromJSON v => FromJSON (HashMap Text v)

FromJSON a => FromJSON (List1 e a)

FromJSON a => FromJSON (List e a)

(Eq k, Hashable k, FromText k, FromJSON v) => FromJSON (Map k v)

(FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (a, b, c, d, e)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (a, b, c, d, e, f)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (a, b, c, d, e, f, g)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (a, b, c, d, e, f, g, h)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (a, b, c, d, e, f, g, h, i)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (a, b, c, d, e, f, g, h, i, j)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (a, b, c, d, e, f, g, h, i, j, k)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

parseJSONText :: FromText a => String -> Value -> Parser a

eitherDecode' :: FromJSON a => ByteString -> Either String a

Parser a

withObject :: String -> (Object -> Parser a) -> Value -> Parser a

(.:) :: FromJSON a => Object -> Text -> Parser a

(.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a)

(.!=) :: Parser (Maybe a) -> a -> Parser a

Either String a

(.:>) :: FromJSON a => Object -> Text -> Either String a

(.:?>) :: FromJSON a => Object -> Text -> Either String (Maybe a)

ToJSON

class ToJSON a where

Minimal complete definition

Nothing

Methods

toJSON :: a -> Value

Instances

ToJSON Bool

ToJSON Char

ToJSON Double

ToJSON Float

ToJSON Int

ToJSON Int8

ToJSON Int16

ToJSON Int32

ToJSON Int64

ToJSON Integer

ToJSON Word

ToJSON Word8

ToJSON Word16

ToJSON Word32

ToJSON Word64

ToJSON ()

ToJSON IntSet

ToJSON ZonedTime

ToJSON UTCTime

ToJSON Text

ToJSON Scientific

ToJSON Number

ToJSON Text

ToJSON Value

ToJSON DotNetTime

ToJSON Base64

ToJSON Nat

ToJSON POSIX

ToJSON AWSTime

ToJSON BasicTime

ToJSON ISO8601

ToJSON RFC822

ToJSON Empty

ToJSON [Char]

ToJSON a => ToJSON [a]

ToJSON (Ratio Integer)

HasResolution a => ToJSON (Fixed a)

ToJSON a => ToJSON (Dual a)

ToJSON a => ToJSON (First a)

ToJSON a => ToJSON (Last a)

ToJSON a => ToJSON (Maybe a)

ToJSON a => ToJSON (IntMap a)

ToJSON a => ToJSON (Set a)

ToJSON v => ToJSON (Tree v)

ToJSON a => ToJSON (Vector a)

(Storable a, ToJSON a) => ToJSON (Vector a)

(Prim a, ToJSON a) => ToJSON (Vector a)

(Vector Vector a, ToJSON a) => ToJSON (Vector a)

ToJSON a => ToJSON (HashSet a)

ToJSON a => ToJSON (Sensitive a)

(ToJSON a, ToJSON b) => ToJSON (Either a b)

(ToJSON a, ToJSON b) => ToJSON (a, b)

ToJSON v => ToJSON (Map String v)

ToJSON v => ToJSON (Map Text v)

ToJSON v => ToJSON (Map Text v)

ToJSON v => ToJSON (HashMap String v)

ToJSON v => ToJSON (HashMap Text v)

ToJSON v => ToJSON (HashMap Text v)

ToJSON a => ToJSON (List1 e a)

ToJSON a => ToJSON (List e a)

(Eq k, Hashable k, ToText k, ToJSON v) => ToJSON (Map k v)

(ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (a, b, c, d, e)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (a, b, c, d, e, f)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (a, b, c, d, e, f, g)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (a, b, c, d, e, f, g, h)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (a, b, c, d, e, f, g, h, i)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (a, b, c, d, e, f, g, h, i, j)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (a, b, c, d, e, f, g, h, i, j, k)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

toJSONText :: ToText a => a -> Value

object :: [Pair] -> Value

(.=) :: ToJSON a => Text -> a -> Pair

Collections

newtype List e a

Constructors

List

Fields

list :: [a]

Instances

IsList (List e a)

Eq a => Eq (List e a)

Ord a => Ord (List e a)

Read a => Read (List e a)

Show a => Show (List e a)

Monoid (List e a)

ToJSON a => ToJSON (List e a)

FromJSON a => FromJSON (List e a)

Semigroup (List e a)

(KnownSymbol e, ToQuery a) => ToQuery (List e a)

(KnownSymbol e, ToXML a) => ToXML (List e a)

(KnownSymbol e, FromXML a) => FromXML (List e a)

type Item (List e a) = a

newtype List1 e a

Constructors

List1

Fields

list1 :: NonEmpty a

Instances

Functor (List1 e)

Foldable (List1 e)

Traversable (List1 e)

Eq a => Eq (List1 e a)

Ord a => Ord (List1 e a)

Read a => Read (List1 e a)

Show a => Show (List1 e a)

ToJSON a => ToJSON (List1 e a)

FromJSON a => FromJSON (List1 e a)

Semigroup (List1 e a)

(KnownSymbol e, ToQuery a) => ToQuery (List1 e a)

(KnownSymbol e, ToXML a) => ToXML (List1 e a)

(KnownSymbol e, FromXML a) => FromXML (List1 e a)

_List :: (Coercible a b, Coercible b a) => Iso' (List e a) [b]

_List1 :: (Coercible a b, Coercible b a) => Iso' (List1 e a) (NonEmpty b)

fromList1 :: List1 e a -> List e a

toList1 :: List e a -> Either String (List1 e a)

newtype Map k v

Constructors

Map

Fields

fromMap :: HashMap k v

Instances

(Eq k, Hashable k) => IsList (Map k v)

(Eq k, Eq v) => Eq (Map k v)

(Eq k, Read k, Read v, Hashable k) => Read (Map k v)

(Show k, Show v) => Show (Map k v)

(Eq k, Hashable k) => Monoid (Map k v)

(Eq k, Hashable k, ToText k, ToJSON v) => ToJSON (Map k v)

(Eq k, Hashable k, FromText k, FromJSON v) => FromJSON (Map k v)

(Eq k, Hashable k) => Semigroup (Map k v)

ToHeader (Map (CI Text) Text)

type Item (Map k v) = (k, v)

_Map :: (Coercible a b, Coercible b a) => Iso' (Map k a) (HashMap k b)

(~::) :: ResponseHeaders -> CI Text -> Either String (Map (CI Text) Text)

newtype EMap e i j k v

Constructors

EMap

Fields

fromEMap :: HashMap k v

Instances

(Eq k, Hashable k) => IsList (EMap e i j k v)

(Eq k, Eq v) => Eq (EMap e i j k v)

(Eq k, Read k, Read v, Hashable k) => Read (EMap e i j k v)

(Show k, Show v) => Show (EMap e i j k v)

(Eq k, Hashable k) => Monoid (EMap e i j k v)

(Eq k, Hashable k) => Semigroup (EMap e i j k v)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, ToQuery k, ToQuery v) => ToQuery (EMap e i j k v)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, ToXML k, ToXML v) => ToXML (EMap e i j k v)

(KnownSymbol e, KnownSymbol i, KnownSymbol j, Eq k, Hashable k, FromXML k, FromXML v) => FromXML (EMap e i j k v)

type Item (EMap e i j k v) = (k, v)

_EMap :: (Coercible a b, Coercible b a) => Iso' (EMap e i j k a) (HashMap k b)