the type key for the supertype
emblems for the constituent types
the union properties
the kind of reflective property this reflective has.
the kind of reflective property this reflective has. either an EmblemProp or a UnionProp
retrieves a reflective property by name
retrieves a reflective property by name
type keys for the constituent types
emblems for the constituent types
a string describing the reflective in full detail
a string describing the reflective in full detail
the fully qualified type name
the fully qualified type name
the unqualified type name
the unqualified type name
a dot-separated identifier of the enclosing scope of the type
a dot-separated identifier of the enclosing scope of the type
retrieves the reflective property with the specified property type by name
retrieves the reflective property with the specified property type by name
a map of the props, keyed by name
a map of the props, keyed by name
the union properties
the union properties
the type key for the supertype
the type key for the supertype
returns the type key for the constituent that the instance matches,
wrapped in a Some
, if the instance matches one of the constituent types.
returns the type key for the constituent that the instance matches,
wrapped in a Some
, if the instance matches one of the constituent types.
otherwise returns None
.
the instance to find the constituent type for
the type key for the constituent type
returns the type key for the constituent with the given name,
wrapped in a Some
, if the name matches one of the constituent types.
returns the type key for the constituent with the given name,
wrapped in a Some
, if the name matches one of the constituent types.
otherwise returns None
.
the type key for the constituent type
describes a supertype that can be resolved down in to other types found in an Emblematic.
currently, discrimination between the constituent types depends on the simple name of the type. this may lead to problems if two constituent types have the same simple name, if the types involved are companion objects, or if the types are otherwise complex types, such as
Foo with Bar
. for now, it's best to declare your constituent types in discrete classes. if this ever becomes a problematic limitation, we will look into making this more robust.the supertype
the type key for the supertype
emblems for the constituent types
the union properties