langoustine-meta
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
langoustine-meta/langoustine.meta

langoustine.meta

package langoustine.meta

Members list

Concise view

Type members

Classlikes

enum BaseTypes

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
trait BasicallyTheSame[A, T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class Enumeration(name: EnumerationName, `type`: EnumerationType, values: Vector[EnumerationEntry], documentation: Opt[EnumerationDocumentation])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object EnumerationDocumentation extends OpaqueString[EnumerationDocumentation]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class EnumerationEntry(name: EnumerationItemName, value: EnumerationItem, documentation: Opt[EnumerationEntryDocumentation])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object EnumerationEntryDocumentation extends OpaqueString[EnumerationEntryDocumentation]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object EnumerationItem

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object EnumerationItemName extends OpaqueString[EnumerationItemName]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object EnumerationName extends OpaqueString[EnumerationName]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class EnumerationType(kind: "base", name: EnumerationTypeName)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
enum EnumerationTypeName

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object IsOptional extends YesNo[IsOptional]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class Manager(mm: MetaModel)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
case class MetaModel(structures: Vector[Structure], enumerations: Vector[Enumeration], requests: Vector[Request], notifications: Vector[Notification], typeAliases: Vector[TypeAlias])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Notification(method: RequestMethod, params: ParamsType, documentation: Opt[NotificationDescription])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object NotificationDescription extends OpaqueString[NotificationDescription]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait OpaqueInt[A](using x$1: A =:= Int) extends TotalWrapper[A, Int]

Attributes

Graph
Supertypes
trait TotalWrapper[A, Int]
class Object
trait Matchable
class Any
abstract class OpaqueNum[A](using x$1: A =:= Int) extends TotalWrapper[A, Int]

Attributes

Graph
Supertypes
trait TotalWrapper[A, Int]
class Object
trait Matchable
class Any
trait OpaqueString[A](using x$1: A =:= String) extends TotalWrapper[A, String]

Attributes

Graph
Supertypes
trait TotalWrapper[A, String]
class Object
trait Matchable
class Any
Known subtypes
object EnumerationName.type
object PropertyName.type
object RequestDescription.type
object RequestMethod.type
object StructureName.type
object TypeAliasName.type
object TypeName.type
object Opt

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Opt.type
enum ParamsType

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Pickle

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Pickle.type
case class Property(name: PropertyName, optional: IsOptional, `type`: Type, documentation: Opt[PropertyDescription])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object PropertyDescription extends OpaqueString[PropertyDescription]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object PropertyName extends OpaqueString[PropertyName]

Attributes

Graph
Supertypes
trait TotalWrapper[PropertyName, String]
class Object
trait Matchable
class Any
Self type
case class Request(params: ParamsType, method: RequestMethod, result: Type, documentation: Opt[RequestDescription])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object RequestDescription extends OpaqueString[RequestDescription]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object RequestMethod extends OpaqueString[RequestMethod]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Structure(`extends`: Vector[Type], mixins: Vector[Type], name: StructureName, properties: Vector[Property], documentation: Opt[StructureDescription])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object StructureDescription extends OpaqueString[StructureDescription]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class StructureLiteral(properties: Vector[Property])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object StructureName extends OpaqueString[StructureName]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait TotalWrapper[Newtype, Impl](using ev: Newtype =:= Impl)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait OpaqueInt[A]
class OpaqueNum[A]
trait OpaqueString[A]
object EnumerationName.type
object PropertyName.type
object RequestDescription.type
object RequestMethod.type
object StructureName.type
object TypeAliasName.type
object TypeName.type
enum Type(kind: "base" | "reference" | "and" | "or" | "array" | "booleanLiteral" | "map" | "literal" | "stringLiteral" | "tuple")

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
case AndType
case OrType
case MapType
case class TypeAlias(name: TypeAliasName, `type`: Type)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object TypeAliasName extends OpaqueString[TypeAliasName]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object TypeName extends OpaqueString[TypeName]

Attributes

Graph
Supertypes
trait TotalWrapper[TypeName, String]
class Object
trait Matchable
class Any
Self type
enum TypeTraversal

Attributes

Companion:
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object TypeTraversal

Attributes

Companion:
enum
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
abstract class YesNo[A](using ev: Boolean =:= A)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object IsOptional.type
object json

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
json.type

Types

opaque type EnumerationItem
opaque type EnumerationName
opaque type IsOptional
opaque type Opt[+A]
opaque type PropertyName
opaque type RequestDescription
opaque type RequestMethod
opaque type StructureName
opaque type TypeAliasName
opaque type TypeName

Givens

Givens

inline given given_Ordering_T[A, T](using bts: BasicallyTheSame[T, A], ord: Ordering[A]): Ordering[T]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL