Dotty Documentation

0.12.0-bin-SNAPSHOT

object TreeTypeMap
extends Object

A map that applies three functions and a substitution together to a tree and makes sure they are coordinated so that the result is well-typed. The functions are

[-] Constructors

[-] Members

[+] def $lessinit$greater$default$1 : IdentityTypeMap.type
[+] def $lessinit$greater$default$2 : Tree => Tree
[+] def $lessinit$greater$default$3 : Nil.type
[+] def $lessinit$greater$default$4 : Nil.type
[+] def $lessinit$greater$default$5 : Nil.type
[+] def $lessinit$greater$default$6 : Nil.type