morphir
API
Generated with
morphir/org.finos.morphir/org.finos.morphir.universe/org.finos.morphir.universe.ir/TypeRewritingFolder

TypeRewritingFolder

org.finos.morphir.universe.ir.TypeRewritingFolder
trait TypeRewritingFolder[-Context, Attrib] extends TypeFolder[Context, Attrib, Type[Attrib]]

Attributes

Graph
Supertypes
trait TypeFolder[Context, Attrib, Type[Attrib]]
class Object
trait Matchable
class Any
Known subtypes
class TypeMapReferenceName[Attrib]

Members list

Value members

Concrete methods

override def extensibleRecordCase(context: Context, tpe: Type[Attrib], attributes: Attrib, name: Name, fields: List[Field[Type[Attrib]]]): Type[Attrib]

Attributes

Definition Classes
override def functionCase(context: Context, tpe: Type[Attrib], attributes: Attrib, argumentType: Type[Attrib], returnType: Type[Attrib]): Type[Attrib]

Attributes

Definition Classes
override def recordCase(context: Context, tpe: Type[Attrib], attributes: Attrib, fields: List[Field[Type[Attrib]]]): Type[Attrib]

Attributes

Definition Classes
def referenceCase(context: Context, tpe: Type[Attrib], attributes: Attrib, typeName: FQName, typeParams: List[Type[Attrib]]): Type[Attrib]
def tupleCase(context: Context, tpe: Type[Attrib], attributes: Attrib, elements: List[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]
Generated with