Type

final case class Type[F[_], A](name: String, fields: NonEmptyList[(String, Field[F, A, _, _])], implementations: List[Implementation[F, A, _]], description: Option[String]) extends ObjectLike[F, A] with Selectable[F, A]
Source:
ast.scala
trait Product
trait Equals
trait ObjectLike[F, A]
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 document(description: String): Type[F, A]
Source:
ast.scala
def mapK[G[_] : Functor](fk: FunctionK[F, G]): Type[G, A]
Source:
ast.scala

Inherited methods

Inherited from:
Product

Concrete fields

lazy val abstractFields: List[(String, AbstractField[F, _, _])]
Source:
ast.scala
lazy val concreteFields: List[(String, Field[F, A, _, _])]
Source:
ast.scala
lazy val concreteFieldsMap: Map[String, Field[F, A, _, _]]
Source:
ast.scala
lazy val fieldMap: Map[String, Field[F, A, _, _]]
Source:
ast.scala
lazy val fieldsList: List[(String, Field[F, A, _, _])]
Source:
ast.scala
Source:
ast.scala