Package json - Namespaces

• Derive.FromJSON
• Derive.ToJSON
• JSON
• JSON.Derive
• JSON.Encoder

  The interfaces in this module abstract over how we encode and decode values from and to JSON.
• JSON.FromJSON

  Interface and utilities for marshalling Idris2 values from JSON via an intermediate `Value` representation.
• JSON.Option
• JSON.ToJSON

  Interface and utilities for encoding Idris2 values to JSON via an entermediate `Value` representation.