core
API
Generated with
core/org.hungerford.generic.schema.types/Sub

Sub

org.hungerford.generic.schema.types.Sub$
See theSub companion trait
object Sub

Attributes

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

Members list

Concise view

Type members

Types

type Aux[A, B, AS] = Sub[A, B] { type ASub = AS; }

Givens

Givens

given given_Sub_A_B[A, B](using ev: A <:< B): given_Sub_A_B[A, B]
Generated with