K0

oxygen.meta.K0
object K0

Attributes

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

Members list

Type members

Classlikes

object Derivable

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Derivable.type
trait Derivable[F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ShowGeneric
object Entity

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Entity.type
trait Entity[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Child[B, A]
class Deferred[A, B]
class Case[B]
class IdentityChild[B]
class Field[B]
trait Generic[A]
trait IdentityGeneric[A]
trait ProductGeneric[A]
trait CaseClassGeneric[A]
trait AnyValGeneric[A, B]
trait SumGeneric[A]
trait FlatGeneric[A]
trait EnumGeneric[A]
trait NestedGeneric[A]
Show all
final class Expressions[F[_], A](val fTpe: Type[F], val aTpe: Type[A], val expressions: Contiguous[Elem[F, _]])

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Expressions

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
object Generic

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Generic.type
sealed trait Generic[A] extends Entity[A]

Attributes

Companion
object
Supertypes
trait Entity[A]
class Object
trait Matchable
class Any
Known subtypes
trait IdentityGeneric[A]
trait ProductGeneric[A]
trait CaseClassGeneric[A]
trait AnyValGeneric[A, B]
trait SumGeneric[A]
trait FlatGeneric[A]
trait EnumGeneric[A]
trait NestedGeneric[A]
Show all
trait IdentityGeneric[A] extends Generic[A]

Attributes

Supertypes
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Self type

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait ProductGeneric[A] extends ProductOrSumGeneric[A]

Attributes

Companion
object
Supertypes
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CaseClassGeneric[A]
trait AnyValGeneric[A, B]
Self type
sealed trait ProductOrSumGeneric[A] extends Generic[A]

Attributes

Supertypes
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Known subtypes
trait ProductGeneric[A]
trait CaseClassGeneric[A]
trait AnyValGeneric[A, B]
trait SumGeneric[A]
trait FlatGeneric[A]
trait EnumGeneric[A]
trait NestedGeneric[A]
Show all
object SumGeneric

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
SumGeneric.type
sealed trait SumGeneric[A] extends ProductOrSumGeneric[A]

Attributes

Companion
object
Supertypes
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait FlatGeneric[A]
trait EnumGeneric[A]
trait NestedGeneric[A]
Self type
final class ValDefinitions[F[_], A](make: [b] => (x$1: Type[b], x$2: Quotes) ?=> (Expressions[F, A] => Expr[b]) => Expr[b])

Attributes

Supertypes
class Object
trait Matchable
class Any
final class ValDefinitionsWith[F[_], A, With](make: [b] => (x$1: Type[b], x$2: Quotes) ?=> ((Expressions[F, A], Expr[With]) => Expr[b]) => Expr[b])

Attributes

Supertypes
class Object
trait Matchable
class Any
object annotation

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
annotation.type

Types

type Const[A] = [_] =>> A
type Id[A] = A
type IdBounded[Bound] = [A <: Bound] =>> A