JSON Schema Extraction

[wires]

From @wires on February 3, 2017 13:29

related to #16

	Typedef	Purescript Type	JSON Value	JSON Schema
Product	A * B	Tuple A B	[_, _]	{ "type": "array , items: [ A, B ]}
Labeled Product	a:A * b:B	{a::A, b::B}	{a:_, b:_}	{ "type": "object", properties: { a:A, b:B}}
Sum	A + B	Either A B	[k,_]	{oneOf: [?,?]}
Labeled Sum	a:A + b:B	ADT Constructor	{a:_} or {b:_}	{oneOf: [ {"type": "object",properties: { a:A }}, {"type": "object",properties: { b:B }} ]}
Primitive	text	String	"..."	{"type":"string"}

• extraction to JSON schema
• ser/deser JSON according to this schema

Copied from original issue: TinkerTravel/tdl#23