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

TypeFolder

org.finos.morphir.universe.ir.TypeFolder
See theTypeFolder companion object
trait TypeFolder[-Context, -Attrib, Z]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ForEachZIO[Context, Attrib]
object ToString
trait TypeRewritingFolder[Context, Attrib]
class TypeMapReferenceName[Attrib]

Members list

Value members

Abstract methods

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