Alt

final case class Alt[F[_], I, I0](id: String, base: F[I0], subset: Subset[I, I0])

A prism between a base type containing the arguments required by a single constructor of a sum type, and that sum type, along with the schema for the base type is used to describe those constructor arguments. The identifier is used to distinguish which constructor is being represented in the serialized form.

trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def hfmap[G[_]](nt: FunctionK[F, G]): Alt[G, I, I0]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product