Data.JsonSchema.Fetch

Types

data Spec schema

Constructors

Spec

Fields

• _ssEmbedded :: schema -> [schema]
• _ssGetId :: schema -> Maybe Text
• _ssGetRef :: schema -> Maybe Text

data SchemaWithURI schema

Constructors

SchemaWithURI

Fields

• _swSchema :: !schema
• _swURI :: !(Maybe Text)

  Must not include a URI fragment, e.g. use "http://example.com/foo" not "http://example.com/foo#bar".

  This is the URI identifying the document containing the schema. It's different than the schema's "id" field, which controls scope when resolving references contained in the schema.

Instances

Eq schema => Eq (SchemaWithURI schema)

Methods

(==) :: SchemaWithURI schema -> SchemaWithURI schema -> Bool

(/=) :: SchemaWithURI schema -> SchemaWithURI schema -> Bool

Show schema => Show (SchemaWithURI schema)

Methods

showsPrec :: Int -> SchemaWithURI schema -> ShowS

show :: SchemaWithURI schema -> String

showList :: [SchemaWithURI schema] -> ShowS

type URISchemaMap schema = HashMap Text schema

Keys are URIs (without URI fragments).

data ReferencedSchemas schema

Constructors

ReferencedSchemas

Fields

• _rsStarting :: !schema

  Used to resolve relative references.

• _rsSchemaMap :: !(URISchemaMap schema)

Instances

Eq schema => Eq (ReferencedSchemas schema)

Methods

(==) :: ReferencedSchemas schema -> ReferencedSchemas schema -> Bool

(/=) :: ReferencedSchemas schema -> ReferencedSchemas schema -> Bool

Show schema => Show (ReferencedSchemas schema)

Methods

showsPrec :: Int -> ReferencedSchemas schema -> ShowS

show :: ReferencedSchemas schema -> String

showList :: [ReferencedSchemas schema] -> ShowS

Fetch via HTTP

data HTTPFailure

Constructors

HTTPParseFailure Text

HTTPRequestFailure HttpException

Instances

Show HTTPFailure

Methods

showsPrec :: Int -> HTTPFailure -> ShowS

show :: HTTPFailure -> String

showList :: [HTTPFailure] -> ShowS

referencesViaHTTP' :: forall schema. FromJSON schema => Spec schema -> SchemaWithURI schema -> IO (Either HTTPFailure (ReferencedSchemas schema))

Take a schema. Retrieve every document either it or its subschemas include via the "$ref" keyword.

Fetch via Filesystem

data FilesystemFailure

Constructors

FSParseFailure Text

FSReadFailure IOError

Instances

Show FilesystemFailure

Methods

showsPrec :: Int -> FilesystemFailure -> ShowS

show :: FilesystemFailure -> String

showList :: [FilesystemFailure] -> ShowS

referencesViaFilesystem' :: forall schema. FromJSON schema => Spec schema -> SchemaWithURI schema -> IO (Either FilesystemFailure (ReferencedSchemas schema))

Method Agnostic Fetching Tools

referencesMethodAgnostic :: forall schema. FromJSON schema => (Text -> IO ByteString) -> Spec schema -> SchemaWithURI schema -> IO (Either Text (ReferencedSchemas schema))

A version of fetchReferencedSchemas where the function to fetch schemas is provided by the user. This allows restrictions to be added, e.g. rejecting non-local URIs.

foldFunction :: forall schema. FromJSON schema => (Text -> IO ByteString) -> Spec schema -> URISchemaMap schema -> SchemaWithURI schema -> IO (Either Text (URISchemaMap schema))

includeSubschemas :: forall schema. Spec schema -> SchemaWithURI schema -> [SchemaWithURI schema]

Return the schema passed in as an argument, as well as every subschema contained within it.