Package json-simple - Namespaces

• Derive.FromJSON.Simple
• Derive.ToJSON.Simple
• JSON.Simple
• JSON.Simple.Derive
• JSON.Simple.FromJSON

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

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