dmjio / type-level-json

RFC8259 compliant JSON parser, at the type level.

type-level-json

RFC 8259 compliant parser for JSON, within the Haskell type system.

Table of Contents

• Example
• Result
• TODO
• Thoughts
• License

Example

λ> :kind! Decode "{ \"a\" : null, \"hey\" : \"lol\", \"sub\" : { \"subObj\" : [\"foo\",true], \"key\" : false }}" :: Value

Result

= 'Object
	'[ '("a", 'Null), '("hey", 'JString "lol"),
	   '("sub",
		 'Object
		   '[ '("subObj", 'Array '[ 'JString "foo", 'Bool 'True]),
			  '("key", 'Bool 'False)])]

TODO

• Finish floating point numbers
• Thread through Either
• Augment JSON spec imp. to add types - aka. schema support.
• Reification functions for parsing, encoding, schema documentation.

Thoughts

Still experimental, could potentially be used for reifying parsers, encoders and extended to support JSON schema. Could also validate jq / jsonpath queries against the defined schema.

License

BSD3 2022-2023 (c) David Johnson.