Enum

final case class Enum[F[_], A](name: String, mappings: NonEmptyList[(String, EnumValue[A])], description: Option[String]) extends OutToplevel[F, A] with InLeaf[A] with InToplevel[A]
Source:
ast.scala
trait Product
trait Equals
trait InToplevel[A]
trait InLeaf[A]
trait In[A]
trait OutToplevel[F, A]
trait Toplevel[A]
trait Out[F, A]
class Object
trait Matchable
class Any

Value members

Concrete methods

def document(description: String): Enum[F, A]
Source:
ast.scala
override def mapK[G[_] : Functor](fk: FunctionK[F, G]): Enum[G, A]
Definition Classes
Source:
ast.scala

Inherited methods

Inherited from:
Product

Concrete fields

lazy val kv: NonEmptyList[(String, A)]
Source:
ast.scala
lazy val m: Type[String, A]
Source:
ast.scala
lazy val revm: Map[A, String]
Source:
ast.scala