ejson

Type Members

final case class Arr[A](value: slamdata.Predef.List[A]) extends Common[A] with Product with Serializable
final case class Bool[A](value: slamdata.Predef.Boolean) extends Common[A] with Product with Serializable
final case class Byte[A](value: slamdata.Predef.Byte) extends Extension[A] with Product with Serializable
final case class Char[A](value: slamdata.Predef.Char) extends Extension[A] with Product with Serializable
sealed abstract class Common[A] extends AnyRef
sealed abstract class CommonInstances extends CommonInstances0
sealed abstract class CommonInstances0 extends AnyRef
final case class Dec[A](value: slamdata.Predef.BigDecimal) extends Common[A] with Product with Serializable
type EJson[A] = Coproduct[Extension, Common, A]
sealed abstract class Extension[A] extends AnyRef

This is an extension to JSON that allows arbitrary expressions as map (née object) keys and adds additional primitive types, including characters, bytes, and distinct integers.
This is an extension to JSON that allows arbitrary expressions as map (née object) keys and adds additional primitive types, including characters, bytes, and distinct integers. It also adds metadata, which allows arbitrary annotations on values.
sealed abstract class ExtensionInstances extends AnyRef
final case class Int[A](value: slamdata.Predef.BigInt) extends Extension[A] with Product with Serializable
type Json[A] = Coproduct[Obj, Common, A]

For _strict_ JSON, you want something like Obj[Mu[Json]].
final case class Map[A](value: slamdata.Predef.List[(A, A)]) extends Extension[A] with Product with Serializable
final case class Meta[A](value: A, meta: A) extends Extension[A] with Product with Serializable
final case class Null[A]() extends Common[A] with Product with Serializable
final case class Obj[A](value: slamdata.Predef.ListMap[slamdata.Predef.String, A]) extends Product with Serializable
sealed abstract class ObjInstances extends ObjInstances0
sealed abstract class ObjInstances0 extends AnyRef
final case class Str[A](value: slamdata.Predef.String) extends Common[A] with Product with Serializable

Value Members

object Common extends CommonInstances
val CommonEJson: :<:[Common, EJson]
object EJson extends Serializable
val ExtEJson: :<:[Extension, EJson]
object Extension extends ExtensionInstances
object Obj extends ObjInstances with Serializable
def arr[A]: Prism[Common[A], List[A]]
def bool[A]: Prism[Common[A], slamdata.Predef.Boolean]
def byte[A]: Prism[Extension[A], scala.Byte]
def char[A]: Prism[Extension[A], scala.Char]
def dec[A]: Prism[Common[A], BigDecimal]
def int[A]: Prism[Extension[A], BigInt]
object jsonParser
def map[A]: Prism[Extension[A], List[(A, A)]]
def meta[A]: Prism[Extension[A], (A, A)]
def nul[A]: Prism[Common[A], Unit]
def obj[A]: Iso[Obj[A], ListMap[String, A]]
def str[A]: Prism[Common[A], String]

package ejson

Type Members

final case class Arr[A](value: slamdata.Predef.List[A]) extends Common[A] with Product with Serializable

final case class Bool[A](value: slamdata.Predef.Boolean) extends Common[A] with Product with Serializable

final case class Byte[A](value: slamdata.Predef.Byte) extends Extension[A] with Product with Serializable

final case class Char[A](value: slamdata.Predef.Char) extends Extension[A] with Product with Serializable

sealed abstract class Common[A] extends AnyRef

sealed abstract class CommonInstances extends CommonInstances0

sealed abstract class CommonInstances0 extends AnyRef

final case class Dec[A](value: slamdata.Predef.BigDecimal) extends Common[A] with Product with Serializable

type EJson[A] = Coproduct[Extension, Common, A]

sealed abstract class Extension[A] extends AnyRef

sealed abstract class ExtensionInstances extends AnyRef

final case class Int[A](value: slamdata.Predef.BigInt) extends Extension[A] with Product with Serializable

type Json[A] = Coproduct[Obj, Common, A]

final case class Map[A](value: slamdata.Predef.List[(A, A)]) extends Extension[A] with Product with Serializable

final case class Meta[A](value: A, meta: A) extends Extension[A] with Product with Serializable

final case class Null[A]() extends Common[A] with Product with Serializable

final case class Obj[A](value: slamdata.Predef.ListMap[slamdata.Predef.String, A]) extends Product with Serializable

sealed abstract class ObjInstances extends ObjInstances0

sealed abstract class ObjInstances0 extends AnyRef

final case class Str[A](value: slamdata.Predef.String) extends Common[A] with Product with Serializable

Value Members

object Common extends CommonInstances

val CommonEJson: :<:[Common, EJson]

object EJson extends Serializable

val ExtEJson: :<:[Extension, EJson]

object Extension extends ExtensionInstances

object Obj extends ObjInstances with Serializable

def arr[A]: Prism[Common[A], List[A]]

def bool[A]: Prism[Common[A], slamdata.Predef.Boolean]

def byte[A]: Prism[Extension[A], scala.Byte]

def char[A]: Prism[Extension[A], scala.Char]

def dec[A]: Prism[Common[A], BigDecimal]

def int[A]: Prism[Extension[A], BigInt]

object jsonParser

def map[A]: Prism[Extension[A], List[(A, A)]]

def meta[A]: Prism[Extension[A], (A, A)]

def nul[A]: Prism[Common[A], Unit]

def obj[A]: Iso[Obj[A], ListMap[String, A]]

def str[A]: Prism[Common[A], String]

Inherited from AnyRef

Inherited from Any

Ungrouped