Outline of describing schema with algebraic data types for basic descriptions of data, in this case a Swagger "schema". Eventually we can evolve it in class to generating YAML/JSON Swagger from this data description and possible build swagger representations from Generic Reps

Models.Swagger.purs

module Models.Swagger where

import Data.Map (Map)
import Data.Maybe (Maybe (..))
import Data.String.Regex (Regex)
import Data.Show (class Show, show)

data SwaggerFormatString
  = DateFormat
  | DateTimeFormat
  | PasswordFormat
  | ByteFormat
  | BinaryFormat
  | OtherStringFormat String

data SwaggerFormatNumber
  = FloatFormat
  | DoubleFormat

data SwaggerFormatInt
  = Int32Format
  | Int64Format

data SwaggerType
  = SwaggerString  { format :: Maybe SwaggerFormatString
                   , minLength :: Maybe Int
                   , maxLength :: Maybe Int
                   , pattern :: Maybe Regex
                   , enum :: Array String }
  | SwaggerNumber  { format :: Maybe SwaggerFormatNumber
                   , minimum :: Maybe Number
                   , maximum :: Maybe Number
                   , exclusiveMin :: Boolean
                   , exclusiveMax :: Boolean
                   , multipleOf :: Maybe Number }
  | SwaggerInteger { format :: Maybe SwaggerFormatInt
                   , minimum :: Maybe Int
                   , maximum :: Maybe Int
                   , exclusiveMin :: Boolean
                   , exclusiveMax :: Boolean
                   , multipleOf :: Maybe Int }
  | SwaggerOneOf   (Array SwaggerType)
  | SwaggerAllOf   (Array SwaggerType)
  | SwaggerAnyOf   (Array SwaggerType)
  | SwaggerArray   { items :: SwaggerType
                   , minItems :: Maybe Int
                   , maxItems :: Maybe Int
                   , uniqueItems :: Boolean }
  | SwaggerObject  { fields :: Map String SwaggerType }
  | SwaggerBoolean
  | SwaggerNull

-- Smart constructors below