Value
org.finos.morphir.ir.Value
object Value extends PatternModule
Attributes
- Graph
-
- Supertypes
- Self type
-
Value.type
Members list
Type members
Classlikes
final class FieldsPartiallyApplied(val dummy: Boolean) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
final class FunctionDefInputsClause[TA, VA](val args: Chunk[(Name, VA, Type[TA])]) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
final class FunctionSignature[TA, VA](val input: () => (Chunk[(Name, VA, Type[TA])], Type[TA])) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
final implicit class RawValueExtensions(self: RawValue) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
final class RecordPartiallyApplied[VA](val attributes: VA) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
final class ValueDefClause[TA](val returnType: Type[TA]) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
Types
Inherited types
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Value members
Concrete methods
final def call[TA, VA](function: Value[TA, VA], attributes: VA)(arguments: Value[TA, VA]*)(implicit ev: NeedsAttributes[VA]): Value[TA, VA]
final def decimal[A](attributes: A, value: BigDecimal)(implicit ev: NeedsAttributes[A]): Value[Nothing, A]
final def destructure[TA, VA](attributes: VA, pattern: Pattern[VA], valueToDestruct: Value[TA, VA], inValue: Value[TA, VA]): Value[TA, VA]
def functionDef(firstArg: (String, UType), otherArgs: (String, UType)*): FunctionDefInputsClause[Unit, UType]
final def ifThenElse[TA, VA](attributes: VA, condition: Value[TA, VA], thenBranch: Value[TA, VA], elseBranch: Value[TA, VA]): Value[TA, VA]
final def letDestruct[TA, VA](attributes: VA, pattern: Pattern[VA], valueToDestruct: Value[TA, VA], inValue: Value[TA, VA]): Value[TA, VA]
final def list[TA, VA](attributes: VA, values: Value[TA, VA]*)(implicit ev: IsNotAValue[VA]): Value[TA, VA]
final def patternMatch[TA, VA](attributes: VA, branchOutOn: Value[TA, VA], cases: Chunk[(Pattern[VA], Value[TA, VA])]): Value[TA, VA]
final def patternMatch[TA, VA](attributes: VA, branchOutOn: Value[TA, VA], cases: (Pattern[VA], Value[TA, VA])*): Value[TA, VA]
final def record[TA, VA](attributes: VA, f: Builder[TA, VA] => Any)(implicit ev: IsNotAValue[VA]): Value[TA, VA]
def reference[VA](attributes: VA, fullyQualifiedName: FQName)(implicit ev: NeedsAttributes[VA]): Value[Nothing, VA]
final def reference[A](attributes: A, fullyQualifiedName: String)(implicit ev: NeedsAttributes[A]): Value[Nothing, A]
Inherited methods
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
def asPattern[A](attributes: A, pattern: Pattern[A], name: Name)(implicit ev: NeedsAttributes[A]): Pattern[A]
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
final def constructorPattern[A](attributes: A, constructorName: String, argumentPatterns: Chunk[Pattern[A]]): Pattern[A]
Attributes
- Inherited from:
- PatternModule
final def constructorPattern[A](attributes: A, constructorName: FQName, argumentPatterns: Chunk[Pattern[A]]): Pattern[A]
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
final def headTailPattern[A](attributes: A, headPattern: Pattern[A], tailPattern: Pattern[A]): Pattern[A]
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
final def tuplePattern[A](attributes: A, patterns: Pattern[A]*)(implicit ev: Not[A <:< Pattern[_]]): Pattern[A]
Attributes
- Inherited from:
- PatternModule
Destructure a tuple using a pattern for every element
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Attributes
- Inherited from:
- PatternModule
Concrete fields
Implicits
Implicits
In this article