meta/langoustine.meta

langoustine.meta

package langoustine.meta

Type members

Classlikes

enum BaseTypes
trait BasicallyTheSame[A, T]
case class Enumeration(name: EnumerationName, `type`: EnumerationType, values: Vector[EnumerationEntry])
case class EnumerationEntry(name: EnumerationItemName, value: EnumerationItem)
object EnumerationItem
object EnumerationItemName extends OpaqueString[EnumerationItemName]
object EnumerationName extends OpaqueString[EnumerationName]
case class EnumerationType(kind: "base", name: EnumerationTypeName)
enum 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)
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]
enum ParamsType
object Pickle
case class Property(name: PropertyName, optional: IsOptional, `type`: Type)
object PropertyName extends OpaqueString[PropertyName]
case class Request(params: ParamsType, method: RequestMethod, result: Type)
object RequestMethod extends OpaqueString[RequestMethod]
case class Structure(`extends`: Vector[Type], mixins: Vector[Type], name: StructureName, properties: Vector[Property])
case class StructureLiteral(properties: Vector[Property])
object StructureName extends OpaqueString[StructureName]
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)
object TypeAliasName extends OpaqueString[TypeAliasName]
object TypeName extends OpaqueString[TypeName]
enum TypeTraversal
Companion:
object
object TypeTraversal
Companion:
class
abstract class YesNo[A](using ev: Boolean =:= A)
object json

Types

opaque type EnumerationItem
opaque type EnumerationName
opaque type IsOptional
opaque type PropertyName
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]