Folder

org.finos.morphir.ir.TypeModule.Type$.Folder
See theFolder companion object
trait Folder[-Context, -Attrib, Z]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class RewritingFolder[Context, Attrib]
class MapReferenceName[Attrib]
object Size.type
object ToString.type
class ForEach[Context, Attrib]
trait ForEachZIO[Context, Attrib]
Show all

Members list

Value members

Abstract methods

def extensibleRecordCase(context: Context, tpe: Type[Attrib], attributes: Attrib, name: Name, fields: Chunk[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: Chunk[Field[Z]]): Z
def referenceCase(context: Context, tpe: Type[Attrib], attributes: Attrib, typeName: FQName, typeParams: Chunk[Z]): Z
def tupleCase(context: Context, tpe: Type[Attrib], attributes: Attrib, elements: Chunk[Z]): Z
def unitCase(context: Context, tpe: Type[Attrib], attributes: Attrib): Z
def variableCase(context: Context, tpe: Type[Attrib], attributes: Attrib, name: Name): Z