Interface

final case class Interface[F[_], A](name: String, fields: NonEmptyList[(String, Field[F, A, _, _])], implementations: List[Implementation[F, A, _]], description: Option[String]) extends ObjectLike[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): Interface[F, A]
Source:
ast.scala
override def mapK[G[_] : Functor](fk: FunctionK[F, G]): Interface[G, A]
Definition Classes
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 implementsMap: Map[String, Implementation[F, A, _]]
Source:
ast.scala