langoustine.meta

Type members

Classlikes

trait BasicallyTheSame[A, T]
case class Enumeration(name: EnumerationName, `type`: EnumerationType, values: Vector[EnumerationEntry], documentation: Opt[EnumerationDocumentation])
case class EnumerationType(kind: "base", name: EnumerationTypeName)
object IsOptional extends YesNo[IsOptional]
class Manager(mm: MetaModel)
case class MetaModel(structures: Vector[Structure], enumerations: Vector[Enumeration], requests: Vector[Request], notifications: Vector[Notification], typeAliases: Vector[TypeAlias])
case class Notification(method: RequestMethod, params: ParamsType, documentation: Opt[NotificationDescription])
trait OpaqueInt[A](using x$1: A =:= Int) extends TotalWrapper[A, Int]
abstract class OpaqueNum[A](using x$1: A =:= Int) extends TotalWrapper[A, Int]
trait OpaqueString[A](using x$1: A =:= String) extends TotalWrapper[A, String]
object Opt
object Pickle
case class Property(name: PropertyName, optional: IsOptional, `type`: Type, documentation: Opt[PropertyDescription])
case class Request(params: ParamsType, method: RequestMethod, result: Type, documentation: Opt[RequestDescription])
case class Structure(`extends`: Vector[Type], mixins: Vector[Type], name: StructureName, properties: Vector[Property], documentation: Opt[StructureDescription])
case class StructureLiteral(properties: Vector[Property])
trait TotalWrapper[Newtype, Impl](using ev: Newtype =:= Impl)
enum Type(kind: "base" | "reference" | "and" | "or" | "array" | "booleanLiteral" | "map" | "literal" | "stringLiteral" | "tuple")
case class TypeAlias(name: TypeAliasName, `type`: Type)
Companion:
object
Companion:
class
abstract class YesNo[A](using ev: Boolean =:= A)
object json

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

given given_Ordering_T[A, T](using bts: BasicallyTheSame[T, A], ord: Ordering[A]): Ordering[T]