RewritingFolder

org.finos.morphir.ir.TypeModule.Type$.Folder$.RewritingFolder
abstract class RewritingFolder[-Context, Attrib] extends Folder[Context, Attrib, Type[Attrib]]

Attributes

Graph
Supertypes
trait Folder[Context, Attrib, Type[Attrib]]
class Object
trait Matchable
class Any
Known subtypes
class MapReferenceName[Attrib]

Members list

Value members

Concrete methods

def extensibleRecordCase(context: Context, tpe: Type[Attrib], attributes: Attrib, name: Name, fields: Chunk[Field[Type[Attrib]]]): Type[Attrib]
def functionCase(context: Context, tpe: Type[Attrib], attributes: Attrib, argumentType: Type[Attrib], returnType: Type[Attrib]): Type[Attrib]
def recordCase(context: Context, tpe: Type[Attrib], attributes: Attrib, fields: Chunk[Field[Type[Attrib]]]): Type[Attrib]
def referenceCase(context: Context, tpe: Type[Attrib], attributes: Attrib, typeName: FQName, typeParams: Chunk[Type[Attrib]]): Type[Attrib]
def tupleCase(context: Context, tpe: Type[Attrib], attributes: Attrib, elements: Chunk[Type[Attrib]]): Type[Attrib]
def unitCase(context: Context, tpe: Type[Attrib], attributes: Attrib): Type[Attrib]
def variableCase(context: Context, tpe: Type[Attrib], attributes: Attrib, name: Name): Type[Attrib]