EnumDynamoFormat

prop> sealed trait Animal
prop> case object Aardvark extends Animal
prop> case object Hippopotamus extends Animal
prop> case object Zebra extends Animal

prop> import org.scalacheck._
prop> implicit val arbitraryAnimal: Arbitrary[Animal] = Arbitrary(Gen.oneOf(List(Aardvark, Hippopotamus, Zebra)))

prop> (a: Animal) =>
    | DynamoFormat[Animal].read(DynamoFormat[Animal].write(a)) == Right(a)

>>> DynamoFormat[Animal].write(Zebra).getS
Zebra

Linear Supertypes

DerivedDynamoFormat, AnyRef, Any

Known Subclasses

DynamoFormat

Type Members

trait CoProductDynamoFormat[T] extends DynamoFormat[T]

Definition Classes
DerivedDynamoFormat
trait ConstructedDynamoFormat[T] extends AnyRef

Definition Classes
DerivedDynamoFormat
trait InvalidConstructedDynamoFormat[T] extends ConstructedDynamoFormat[T]

Definition Classes
DerivedDynamoFormat
type NotSymbol[T] = <:!<[T, Symbol]

Definition Classes
DerivedDynamoFormat
trait ValidConstructedDynamoFormat[T] extends ConstructedDynamoFormat[T]

Definition Classes
DerivedDynamoFormat
type ValidatedPropertiesError[T] = Validated[InvalidPropertiesError, T]

Definition Classes
DerivedDynamoFormat

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit val cnil: CoProductDynamoFormat[CNil]

Definition Classes
DerivedDynamoFormat
implicit def coproduct[K <: Symbol, V, T <: Coproduct](implicit headFormat: Lazy[DynamoFormat[V]], tailFormat: CoProductDynamoFormat[T], fieldWitness: Aux[K]): CoProductDynamoFormat[:+:[FieldType[K, V], T]]

Definition Classes
DerivedDynamoFormat
implicit def enumDynamoFormatCCons[K <: Symbol, V, R <: Coproduct](implicit fieldWitness: Aux[K], emptyGeneric: Aux[V, HNil], alternativeFormat: EnumerationDynamoFormat[R]): EnumerationDynamoFormat[:+:[FieldType[K, V], R]]
implicit val enumDynamoFormatCNil: EnumerationDynamoFormat[CNil]
implicit def enumFormat[A, Repr <: Coproduct](implicit gen: Aux[A, Repr], genericFormat: EnumerationDynamoFormat[Repr]): EnumerationDynamoFormat[A]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
implicit def genericCoProduct[T, R](implicit gen: Aux[T, R], formatR: Lazy[CoProductDynamoFormat[R]]): DynamoFormat[T]

Definition Classes
DerivedDynamoFormat
implicit def genericProduct[T, R](implicit arg0: NotSymbol[T], gen: Aux[T, R], formatR: Lazy[ValidConstructedDynamoFormat[R]]): DynamoFormat[T]

Definition Classes
DerivedDynamoFormat
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
implicit def hcons[K <: Symbol, V, T <: HList](implicit headFormat: Lazy[DynamoFormat[V]], tailFormat: Lazy[ConstructedDynamoFormat[T]], fieldWitness: Aux[K]): ValidConstructedDynamoFormat[::[FieldType[K, V], T]]

Definition Classes
DerivedDynamoFormat
implicit val hnil: InvalidConstructedDynamoFormat[HNil]

Definition Classes
DerivedDynamoFormat
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package scanamo

trait EnumDynamoFormat extends DerivedDynamoFormat

Type Members

trait CoProductDynamoFormat[T] extends DynamoFormat[T]

trait ConstructedDynamoFormat[T] extends AnyRef

trait InvalidConstructedDynamoFormat[T] extends ConstructedDynamoFormat[T]

type NotSymbol[T] = <:!<[T, Symbol]

trait ValidConstructedDynamoFormat[T] extends ConstructedDynamoFormat[T]

type ValidatedPropertiesError[T] = Validated[InvalidPropertiesError, T]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit val cnil: CoProductDynamoFormat[CNil]

implicit def coproduct[K <: Symbol, V, T <: Coproduct](implicit headFormat: Lazy[DynamoFormat[V]], tailFormat: CoProductDynamoFormat[T], fieldWitness: Aux[K]): CoProductDynamoFormat[:+:[FieldType[K, V], T]]

implicit def enumDynamoFormatCCons[K <: Symbol, V, R <: Coproduct](implicit fieldWitness: Aux[K], emptyGeneric: Aux[V, HNil], alternativeFormat: EnumerationDynamoFormat[R]): EnumerationDynamoFormat[:+:[FieldType[K, V], R]]

implicit val enumDynamoFormatCNil: EnumerationDynamoFormat[CNil]

implicit def enumFormat[A, Repr <: Coproduct](implicit gen: Aux[A, Repr], genericFormat: EnumerationDynamoFormat[Repr]): EnumerationDynamoFormat[A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

implicit def genericCoProduct[T, R](implicit gen: Aux[T, R], formatR: Lazy[CoProductDynamoFormat[R]]): DynamoFormat[T]

implicit def genericProduct[T, R](implicit arg0: NotSymbol[T], gen: Aux[T, R], formatR: Lazy[ValidConstructedDynamoFormat[R]]): DynamoFormat[T]

final def getClass(): Class[_]

def hashCode(): Int

implicit def hcons[K <: Symbol, V, T <: HList](implicit headFormat: Lazy[DynamoFormat[V]], tailFormat: Lazy[ConstructedDynamoFormat[T]], fieldWitness: Aux[K]): ValidConstructedDynamoFormat[::[FieldType[K, V], T]]

implicit val hnil: InvalidConstructedDynamoFormat[HNil]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from DerivedDynamoFormat

Inherited from AnyRef

Inherited from Any

Ungrouped