gapt.formats.json.JsonExporter.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.formats.json
import gapt.utils.Doc
import io.circe.Encoder
object JsonExporter {
/**
* Exports a value for which an Encoder exists to JSON.
*/
def apply[A](x: A)(implicit ev: Encoder[A]): Doc = JsonToDoc(ev(x))
}