Union

final case class Union[F[_], A](name: String, types: NonEmptyList[Variant[F, A, _]], description: Option[String]) extends Selectable[F, A]
Source:
ast.scala
trait Product
trait Equals
trait Selectable[F, A]
trait OutToplevel[F, A]
trait Toplevel[A]
trait Out[F, A]
class Object
trait Matchable
class Any

Value members

Concrete methods

def contramap[B](f: B => A): Union[F, B]
Source:
ast.scala
def document(description: String): Union[F, A]
Source:
ast.scala
def mapK[G[_] : Functor](fk: FunctionK[F, G]): Union[G, A]
Source:
ast.scala

Inherited methods

Inherited from:
Product

Concrete fields

lazy val fieldMap: Map[String, Field[F, A, _, _]]
Source:
ast.scala
lazy val fieldsList: List[(String, Field[F, A, _, _])]
Source:
ast.scala
lazy val instanceMap: Map[String, Variant[F, A, _]]
Source:
ast.scala