halotukozak.alpaca.internal

Members list

Type members

Experimental classlikes

object Empty

Attributes

Companion
trait
Experimental
true
Source
Empty.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Empty.type
trait Empty[T] extends () => T

A type class for creating empty instances of types.

A type class for creating empty instances of types.

This trait provides a way to create default instances of Product types (case classes) by using their default parameter values. It extends Function0 to act as a factory.

Type parameters

T

the type to create empty instances of

Attributes

Companion
object
Experimental
true
Source
Empty.scala
Supertypes
trait () => T
class Object
trait Matchable
class Any
case class Source(line: Int, file: String)

Attributes

Companion
object
Experimental
true
Source
Source.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Source

Attributes

Companion
class
Experimental
true
Source
Source.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Source.type

Attributes

Companion
class
Experimental
true
Source
WithDefault.scala
Supertypes
class Object
trait Matchable
class Any
Self type
infix class withDefault[T, Q]

A type-level marker used to provide default type parameters.

A type-level marker used to provide default type parameters.

This class is used internally for type inference to allow optional type parameters with defaults in the lexer and parser APIs.

Type parameters

Q

the default type

T

the provided type

Attributes

Companion
object
Experimental
true
Source
WithDefault.scala
Supertypes
class Object
trait Matchable
class Any

Attributes

Experimental
true
Source
WithDefault.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object withDefault

Types

type ValidName = String & Singleton

Type alias for valid token names.

Type alias for valid token names.

Token names must be singleton strings (string literals) to enable compile-time type safety.

Attributes

Source
ValidName.scala

Exports

Defined exports

final val Expr: Expr
Exported from quoted

Attributes

Source
quotes.scala
final val FromExpr: FromExpr
Exported from quoted

Attributes

Source
quotes.scala
final val FromExprFactory: FromExprFactory
Exported from quoted

Attributes

Source
quotes.scala
final val Mirror: Mirror
Exported from deriving

Attributes

Source
quotes.scala
final val ToExpr: ToExpr
Exported from quoted

Attributes

Source
quotes.scala
final val ToExprFactory: ToExprFactory
Exported from quoted

Attributes

Source
quotes.scala
final val Type: Type
Exported from quoted

Attributes

Source
quotes.scala
export ValueOfToExpr: [T] => (Type[T], ValueOf[T])
Exported from LowestPriorityQuotedFactoryGivens

Attributes

Source
quotedPatches.scala
final val Varargs: Varargs
Exported from quoted

Attributes

Source
quotes.scala
export fromExprFactoryBridge: [T] => (Type[T], FromExprFactory[T])
Exported from LowPriorityQuotedFactoryGivens

Attributes

Source
quotedPatches.scala
export toExprFactoryBridge: [T] => (Type[T], ToExprFactory[T])
Exported from LowPriorityQuotedFactoryGivens

Attributes

Source
quotedPatches.scala

Experimental defined exports

final type Quotes = Quotes
Exported from quoted

Attributes

Experimental
true
Source
quotes.scala