neotype
neotype
API
neotype
BinOpMatch
BinOpMatch
Calc
Value
Apply0
Apply1
Apply2
CalcApply
CalcBlock
Reference
MatchExpr
IfThenElse
CalcClosure
Calc
CalcDef
CalcValDef
CalcDefDef
CalcMatchCase
CalcMatchCase
CalcPattern
Value
Variable
Alternative
Wildcard
CalcPattern
CustomFromExpr
Newtype
Newtype
Simple
Simple
Seal
Subtype
Subtype
Simple
Simple
Uninlined
Unseal
ValidatedWrapper
ValidateEvidence
Wrapper
neotype
/
neotype
/
Subtype
Subtype
neotype.Subtype$
See the
Subtype
companion class
object
Subtype
Attributes
Companion:
class
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Subtype
.type
Clear all
Members list
Concise view
Type members
Classlikes
object
Simple
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Simple
.type
opaque
trait
Simple
[
A
]
extends
Wrapper
[
A
]
Attributes
Companion:
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Wrapper
[
A
]
class
Object
trait
Matchable
class
Any
Types
type
WithType
[
A
,
B
<:
A
] =
Subtype
[
A
] {
type
Type
=
B
; }