quill-engine
API
Generated with
quill-engine/io.getquill/io.getquill.quat/Quat/Product/WithRenames

WithRenames

io.getquill.quat.Quat.Product.WithRenames
object WithRenames

Add staged renames to the Quat. Note that renames should explicit NOT be counted as part of the Type indicated by the Quat since it is typical to beta reduce a Quat without renames to a Quat with them (see PropagateRenames for more detail)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(name: String, tpe: Type, fields: LinkedHashMap[String, Quat], theRenames: LinkedHashMap[String, String]): Product
def iterated(name: String, tpe: Type, list: Iterator[(String, Quat)], renames: Iterator[(String, String)]): Product
Generated with