Data.Schema.JSON

Documentation

type JsonType = HMutu JsonPrimitive Schema

type JsonSchema = Schema JsonType

Simple JSON schema type

type JsonField o a = Field JsonSchema o a

Simple JSON field type

newtype JsonSerializer a

Constructors

JsonSerializer

Fields

• runJsonSerializer :: a -> Value

Instances

Contravariant JsonSerializer

Defined in Data.Schema.JSON.Internal.Serializer

Methods

contramap :: (a -> b) -> JsonSerializer b -> JsonSerializer a

(>$) :: b -> JsonSerializer b -> JsonSerializer a

newtype JsonDeserializer a

Constructors

JsonDeserializer

Fields

• runJsonDeserializer :: Value -> Parser a

Instances

Functor JsonDeserializer

Defined in Data.Schema.JSON.Internal.Serializer

Methods

fmap :: (a -> b) -> JsonDeserializer a -> JsonDeserializer b

(<$) :: a -> JsonDeserializer b -> JsonDeserializer a

Applicative JsonDeserializer

Defined in Data.Schema.JSON.Internal.Serializer

Methods

pure :: a -> JsonDeserializer a

(<*>) :: JsonDeserializer (a -> b) -> JsonDeserializer a -> JsonDeserializer b

liftA2 :: (a -> b -> c) -> JsonDeserializer a -> JsonDeserializer b -> JsonDeserializer c

(*>) :: JsonDeserializer a -> JsonDeserializer b -> JsonDeserializer b

(<*) :: JsonDeserializer a -> JsonDeserializer b -> JsonDeserializer a

class ToJsonSerializer s where

Methods

toJsonSerializer :: s ~> JsonSerializer

Instances

ToJsonSerializer JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toJsonSerializer :: JsonType ~> JsonSerializer

ToJsonSerializer p => ToJsonSerializer (Schema p)

Defined in Data.Schema.JSON.Internal.Serializer

Methods

toJsonSerializer :: Schema p ~> JsonSerializer

(ToJsonSerializer p, ToJsonSerializer q) => ToJsonSerializer (Sum p q)

Defined in Data.Schema.JSON.Internal.Serializer

Methods

toJsonSerializer :: Sum p q ~> JsonSerializer

class ToJsonDeserializer s where

Methods

toJsonDeserializer :: s ~> JsonDeserializer

Instances

ToJsonDeserializer JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toJsonDeserializer :: JsonType ~> JsonDeserializer

ToJsonDeserializer p => ToJsonDeserializer (Schema p)

Defined in Data.Schema.JSON.Internal.Serializer

Methods

toJsonDeserializer :: Schema p ~> JsonDeserializer

(ToJsonDeserializer p, ToJsonDeserializer q) => ToJsonDeserializer (Sum p q)

Defined in Data.Schema.JSON.Internal.Serializer

Methods

toJsonDeserializer :: Sum p q ~> JsonDeserializer

data JsonPrimitive (f :: * -> *) (a :: *) where

Constructors

JsonNumber :: JsonPrimitive f Scientific

JsonText :: JsonPrimitive f Text

JsonBool :: JsonPrimitive f Bool

JsonArray :: f a -> JsonPrimitive f (Vector a)

JsonMap :: f a -> JsonPrimitive f (HashMap Text a)

Instances

ToSchemaDoc JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toSchemaDoc :: JsonType ~> SchemaDoc

ToSchemaLayout JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toSchemaLayout :: JsonType ~> SchemaLayout

ToGen JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toGen :: JsonType ~> Gen

ToJsonDeserializer JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toJsonDeserializer :: JsonType ~> JsonDeserializer

ToJsonSerializer JsonType

Defined in Data.Schema.JSON.Internal.Types

Methods

toJsonSerializer :: JsonType ~> JsonSerializer

Orphan instances

(HasSchema a, ToJsonSerializer (PrimitivesOf a)) => ToJSON a

Methods

toJSON :: a -> Value

toEncoding :: a -> Encoding

toJSONList :: [a] -> Value

toEncodingList :: [a] -> Encoding

(HasSchema a, ToJsonDeserializer (PrimitivesOf a)) => FromJSON a

Methods

parseJSON :: Value -> Parser a

parseJSONList :: Value -> Parser [a]