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

TypeVisitor

org.finos.morphir.universe.ir.TypeVisitor
See theTypeVisitor companion object
trait TypeVisitor[+W, S, -R, +E, +A, +Attrib]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoOpTypeVisitor.type

Members list

Value members

Abstract methods

def visitAttributes[Attrib1 >: Attrib](attributes: Attrib1): ZPure[W, S, S, R, Nothing, Unit]
def visitExtensibleRecord[Attrib1 >: Attrib](attributes: Attrib1, name: Name, fields: List[FieldT[Attrib1]]): ZPure[W, S, S, R, E, A]
def visitField[Attrib1 >: Attrib](name: Name, tpe: Type[Attrib1]): ZPure[W, S, S, R, E, A]
def visitFunction[Attrib1 >: Attrib](attributes: Attrib1, argumentType: Type[Attrib1], returnType: Type[Attrib1]): ZPure[W, S, S, R, E, A]
def visitRecord[Attrib1 >: Attrib](attributes: Attrib1, fields: List[FieldT[Attrib1]]): ZPure[W, S, S, R, E, A]
def visitReference[Attrib1 >: Attrib](attributes: Attrib1, typeName: FQName, typeParams: List[Type[Attrib1]]): ZPure[W, S, S, R, E, A]
def visitTuple[Attrib1 >: Attrib](attributes: Attrib1, elements: List[Type[Attrib1]]): ZPure[W, S, S, R, E, A]
def visitUnit[Attrib1 >: Attrib](attributes: Attrib1): ZPure[W, S, S, R, E, A]
def visitVariable[Attrib1 >: Attrib](attributes: Attrib1, name: Name): ZPure[W, S, S, R, E, A]

Concrete methods

def visit[Attrib1 >: Attrib](typ: Type[Attrib1]): ZPure[W, S, S, R, E, A]
def visit[Attrib1 >: Attrib](typ: FieldT[Attrib1]): ZPure[W, S, S, R, E, A]
Generated with