Network.JSONApi.Document

Contains representations of the top-level JSON-API document structure.

Documentation

data Document a

The Document type represents the top-level JSON-API requirement.

data attribute - the resulting JSON may be either a singleton resource or a list of resources. See Resource for the construction.

For more information see: http://jsonapi.org/format/#document-top-level

Instances

Eq a => Eq (Document a)

Methods

(==) :: Document a -> Document a -> Bool

(/=) :: Document a -> Document a -> Bool

Show a => Show (Document a)

Methods

showsPrec :: Int -> Document a -> ShowS

show :: Document a -> String

showList :: [Document a] -> ShowS

Generic (Document a)

Associated Types

type Rep (Document a) :: * -> *

Methods

from :: Document a -> Rep (Document a) x

to :: Rep (Document a) x -> Document a

ToJSON a => ToJSON (Document a)

Methods

toJSON :: Document a -> Value

toEncoding :: Document a -> Encoding

FromJSON a => FromJSON (Document a)

Methods

parseJSON :: Value -> Parser (Document a)

type Rep (Document a)

type Rep (Document a) = D1 (MetaData "Document" "Network.JSONApi.Document" "json-api-0.1.1.2-J3OYNh9O2lm3eKT5VaEijS" False) (C1 (MetaCons "Document" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_data") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ResourceData a))) (S1 (MetaSel (Just Symbol "_links") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Links)))) ((:*:) (S1 (MetaSel (Just Symbol "_meta") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Meta))) (S1 (MetaSel (Just Symbol "_included") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Value])))))

data ResourceData a

The Resource type encapsulates the underlying Resource

Included in the top-level Document, the Resource may be either a singleton resource or a list.

For more information see: http://jsonapi.org/format/#document-top-level

Constructors

Singleton (Resource a)

List [Resource a]

Instances

Eq a => Eq (ResourceData a)

Methods

(==) :: ResourceData a -> ResourceData a -> Bool

(/=) :: ResourceData a -> ResourceData a -> Bool

Show a => Show (ResourceData a)

Methods

showsPrec :: Int -> ResourceData a -> ShowS

show :: ResourceData a -> String

showList :: [ResourceData a] -> ShowS

Generic (ResourceData a)

Associated Types

type Rep (ResourceData a) :: * -> *

Methods

from :: ResourceData a -> Rep (ResourceData a) x

to :: Rep (ResourceData a) x -> ResourceData a

ToJSON a => ToJSON (ResourceData a)

Methods

toJSON :: ResourceData a -> Value

toEncoding :: ResourceData a -> Encoding

FromJSON a => FromJSON (ResourceData a)

Methods

parseJSON :: Value -> Parser (ResourceData a)

type Rep (ResourceData a)

type Rep (ResourceData a) = D1 (MetaData "ResourceData" "Network.JSONApi.Document" "json-api-0.1.1.2-J3OYNh9O2lm3eKT5VaEijS" False) ((:+:) (C1 (MetaCons "Singleton" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Resource a)))) (C1 (MetaCons "List" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Resource a]))))

data ErrorDocument a

The ErrorDocument type represents the alternative form of the top-level JSON-API requirement.

error attribute - a descriptive object encapsulating application-specific error detail.

For more information see: http://jsonapi.org/format/#errors

Constructors

ErrorDocument

Fields

• _error :: Error a
• _errorLinks :: Maybe Links
• _errorMeta :: Maybe Meta

Instances

Eq (ErrorDocument a)

Methods

(==) :: ErrorDocument a -> ErrorDocument a -> Bool

(/=) :: ErrorDocument a -> ErrorDocument a -> Bool

Show (ErrorDocument a)

Methods

showsPrec :: Int -> ErrorDocument a -> ShowS

show :: ErrorDocument a -> String

showList :: [ErrorDocument a] -> ShowS

Generic (ErrorDocument a)

Associated Types

type Rep (ErrorDocument a) :: * -> *

Methods

from :: ErrorDocument a -> Rep (ErrorDocument a) x

to :: Rep (ErrorDocument a) x -> ErrorDocument a

ToJSON a => ToJSON (ErrorDocument a)

Methods

toJSON :: ErrorDocument a -> Value

toEncoding :: ErrorDocument a -> Encoding

FromJSON a => FromJSON (ErrorDocument a)

Methods

parseJSON :: Value -> Parser (ErrorDocument a)

type Rep (ErrorDocument a)

type Rep (ErrorDocument a) = D1 (MetaData "ErrorDocument" "Network.JSONApi.Document" "json-api-0.1.1.2-J3OYNh9O2lm3eKT5VaEijS" False) (C1 (MetaCons "ErrorDocument" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_error") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Error a))) ((:*:) (S1 (MetaSel (Just Symbol "_errorLinks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Links))) (S1 (MetaSel (Just Symbol "_errorMeta") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Meta))))))

data Included

The Included type is an abstraction used to constrain the included section of the Document to JSON serializable Resource objects while enabling a heterogeneous list of Resource types.

No data constructors for this type are exported as we need to constrain the Value to a heterogeneous list of Resource types. See mkIncludedResource for creating Included types.

Instances

Show Included

Methods

showsPrec :: Int -> Included -> ShowS

show :: Included -> String

showList :: [Included] -> ShowS

Monoid Included

Methods

mempty :: Included

mappend :: Included -> Included -> Included

mconcat :: [Included] -> Included

mkDocument :: ResourcefulEntity a => [a] -> Maybe Links -> Maybe Meta -> Document a

Constructor function for the Document data type.

See mkCompoundDocument for constructing compound Document including 'side-loaded' resources

mkDocument' :: ResourceData a -> Maybe Links -> Maybe Meta -> Document a

singleton :: ResourcefulEntity a => a -> ResourceData a

list :: ResourcefulEntity a => [a] -> ResourceData a

mkCompoundDocument :: ResourcefulEntity a => [a] -> Maybe Links -> Maybe Meta -> Included -> Document a

Constructor function for the Document data type. See mkIncludedResource for constructing the Included type.

Supports building compound documents http://jsonapi.org/format/#document-compound-documents

mkCompoundDocument' :: ResourceData a -> Maybe Links -> Maybe Meta -> Included -> Document a

mkIncludedResource :: ResourcefulEntity a => a -> Included

Constructor function for the Document data type.

Supports building compound documents http://jsonapi.org/format/#document-compound-documents