Subtype

neotype.Subtype$
See theSubtype companion class
object Subtype

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Subtype.type

Members list

Concise view

Type members

Classlikes

object Simple

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Simple.type
opaque trait Simple[A] extends Wrapper[A]

Attributes

Companion:
object
Graph
Supertypes
trait Wrapper[A]
class Object
trait Matchable
class Any

Types

type WithType[A, B <: A] = Subtype[A] { type Type = B; }