oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/oxygen.meta.typing/UnionRemoving

UnionRemoving

oxygen.meta.typing.UnionRemoving
See theUnionRemoving companion trait
object UnionRemoving

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait Instance[_Total, _Removing, _Remaining] extends UnionRemoving[_Total, _Removing]

Attributes

Supertypes
trait UnionRemoving[_Total, _Removing]
class Object
trait Matchable
class Any
Known subtypes
trait NothingRemainingInstance[_Total, _Removing]
trait NothingRemainingInstance[_Total, _Removing] extends Instance[_Total, _Removing, Nothing]

Attributes

Supertypes
trait Instance[_Total, _Removing, Nothing]
trait UnionRemoving[_Total, _Removing]
class Object
trait Matchable
class Any

Types

type Aux[_Total, _Removing, _Remaining] = UnionRemoving[_Total, _Removing] { type Remaining = _Remaining; }
type NothingRemaining[_Total, _Removing] = Aux[_Total, _Removing, Nothing]

Value members

Concrete methods

transparent inline def derived[Total, Removing]: Instance[Total, Removing, _]

Givens

Givens

transparent inline given autoInstance[Total, Removing]: Instance[Total, Removing, _]
Generated with