Jype is a format to represent data structure of JSON.
This repository contains some packages.
- jype
- jype parser and validator library
- jype-html
- HTML generator from jype files
- algebraic data types
- polymorphic data types
- simple validator
% for d in jype jype-html; do cd $d; cabal install; cd ../; done
(jype format)
user = {
id: int
name: string
description: nullable[string]
language: language
}
language = "en" | "ja" | "fr"
This means:
(json format)
{
"id": 0,
"name": "foobar",
"description": null,
"language": "ja"
}- aeson の
Value型の値が、jype の値になっているかどうかチェックするもの - REST API のドキュメンテーションツール