trait
ProtoType
extends
Type
A trait for proto-types, used as expected types in typer
Constructors
Members
def
fold
(
x:
T
,
ta:
TypeAccumulator
[
T
]
)
(
implicit
ctx:
Context
)
: T
def
isMatchedBy
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Boolean
def
map
(
tm:
TypeMap
)
(
implicit
ctx:
Context
)
: ProtoType