org.finos.morphir.ir.internal.Value.Constructor
See theConstructor companion object
sealed case class Constructor[+VA](attributes: VA, name: FQName) extends Value[Nothing, VA]
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- Value
Attributes
- Inherited from:
- Value
def fold[Z](applyCase: (VA, Z, Z) => Z, constructorCase: (VA, FQName) => Z, destructureCase: (VA, Pattern[VA], Z, Z) => Z, fieldCase: (VA, Z, Name) => Z, fieldFunctionCase: (VA, Name) => Z, ifThenElseCase: (VA, Z, Z, Z) => Z, lambdaCase: (VA, Pattern[VA], Z) => Z, letDefinitionCase: (VA, Name, (Chunk[(Name, VA, Type[Nothing])], Type[Nothing], Z), Z) => Z, letRecursionCase: (VA, Map[Name, (Chunk[(Name, VA, Type[Nothing])], Type[Nothing], Z)], Z) => Z, listCase: (VA, Chunk[Z]) => Z, literalCase: (VA, Lit) => Z, patternMatchCase: (VA, Z, Chunk[(Pattern[VA], Z)]) => Z, recordCase: (VA, Chunk[(Name, Z)]) => Z, referenceCase: (VA, FQName) => Z, tupleCase: (VA, Chunk[Z]) => Z, unitCase: VA => Z, updateRecordCase: (VA, Z, Map[Name, Z]) => Z, variableCase: (VA, Name) => Z): Z
Attributes
- Inherited from:
- Value
Attributes
- Inherited from:
- Value
def foldContextWith[C, Z](context: C)(constructorCase: (C, Value[Nothing, VA], VA, FQName) => Z, fieldFunctionCase: (C, Value[Nothing, VA], VA, Name) => Z, literalCase: (C, Value[Nothing, VA], VA, Lit) => Z, referenceCase: (C, Value[Nothing, VA], VA, FQName) => Z, unitCase: (C, Value[Nothing, VA], VA) => Z, variableCase: (C, Value[Nothing, VA], VA, Name) => Z)(applyCase: (C, Value[Nothing, VA], VA, Z, Z) => Z, destructureCase: (C, Value[Nothing, VA], VA, Pattern[VA], Z, Z) => Z, fieldCase: (C, Value[Nothing, VA], VA, Z, Name) => Z, ifThenElseCase: (C, Value[Nothing, VA], VA, Z, Z, Z) => Z, lambdaCase: (C, Value[Nothing, VA], VA, Pattern[VA], Z) => Z, letDefinitionCase: (C, Value[Nothing, VA], VA, Name, (Chunk[(Name, VA, Type[Nothing])], Type[Nothing], Z), Z) => Z, letRecursionCase: (C, Value[Nothing, VA], VA, Map[Name, (Chunk[(Name, VA, Type[Nothing])], Type[Nothing], Z)], Z) => Z, listCase: (C, Value[Nothing, VA], VA, Chunk[Z]) => Z, patternMatchCase: (C, Value[Nothing, VA], VA, Z, Chunk[(Pattern[VA], Z)]) => Z, recordCase: (C, Value[Nothing, VA], VA, Chunk[(Name, Z)]) => Z, tupleCase: (C, Value[Nothing, VA], VA, Chunk[Z]) => Z, updateRecordCase: (C, Value[Nothing, VA], VA, Z, Map[Name, Z]) => Z): Z
Attributes
- Inherited from:
- Value
Attributes
- Inherited from:
- Value
Attributes
- Inherited from:
- Value
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Value
Extract the argument list from a curried apply tree. It takes the two arguments of an apply and returns a tuple of the function and a list of arguments.
Extract the argument list from a curried apply tree. It takes the two arguments of an apply and returns a tuple of the function and a list of arguments.
assert(Apply((), f,a).uncurryApply(b) == (f, List(a, b)))
Attributes
- Inherited from:
- Value
In this article