dijon

implicit class Json[A] extends Dynamic
type JsonArray = Buffer[SomeJson]
type JsonObject = Map[String, SomeJson]
implicit final class JsonStringContext extends AnyVal
type JsonType[A] = <:<[¬[String] with ¬[Int] with ¬[Double] with ¬[Boolean] with ¬[Buffer[Json[_]]] with ¬[Map[String, Json[_]]] with ¬[None.type], ¬[A]]
type JsonTypes = ∨[∨[∨[∨[∨[∨[∨[∅, String], Int], Double], Boolean], JsonArray], JsonObject], None.type]
type SomeJson = Json[_]

object UnionType

Union types using Curry-Howard isomorphism: http://stackoverflow.com/questions/3508077/
def []: SomeJson
def arr(values: SomeJson*): SomeJson
implicit val codec: JsonValueCodec[SomeJson]
def compact(json: SomeJson): String
def obj(values: (String, SomeJson)*): SomeJson
def parse(s: String): SomeJson
def pretty(json: SomeJson): String
def {}: SomeJson