Data.JSON.Definition

newtype Definition a

Constructors

• Definition Schema

Instances

• Newtype (Definition a) _
• Show (Definition a)
• Eq (Definition a)

newtype Reference a

Constructors

• Ref String

Instances

• Newtype (Reference a) _

class JsonSchema a  where

Members

• definition :: Definition a
• schemaPath :: Reference a

Instances

• JsonSchema String
• JsonSchema Int
• JsonSchema Number
• JsonSchema Boolean
• (JsonSchema a) => JsonSchema (Array a)

class RecordDefinition a  where

Members

• recordJsonSchema :: Definition a

Instances

• (RowToList fields fieldList, RowToProperty fieldList) => RecordDefinition (Record fields)

class IsType a  where

Members

• typeOf :: Proxy a -> TypeOf

Instances

• IsType String
• IsType Int
• (IsType a) => IsType (Array a)
• (IsType a) => IsType (Maybe a)
• IsType a

data TypeOf

Instances

• Eq TypeOf

class RowToProperty (xs :: RowList)  where

Members

• toPropertyArray :: RLProxy xs -> Array Property

Instances

• (IsSymbol name, IsType head, JsonSchema head, RowToProperty tail, Cons name (Maybe head) trash row) => RowToProperty (Cons name (Maybe head) tail)
• (IsSymbol name, IsType head, JsonSchema head, RowToProperty tail, Cons name head trash row) => RowToProperty (Cons name head tail)
• RowToProperty Nil

showJson :: forall a. Definition a -> String

Write a Definition a to a JSON string

showYaml :: forall a. Definition a -> String

Write a Definition a to a YAML string