Packages

o

morphir.ir

Value

object Value

Generated based on IR.Value

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Value
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class Definition[Ta, Va](inputTypes: List[(Name, Va, Type[Ta])], outputType: Type[Ta], body: Value[Ta, Va]) extends Product with Serializable
  2. sealed trait Pattern[A] extends AnyRef
  3. type RawValue = Value[Unit, Unit]
  4. final case class Specification[Ta](inputs: List[(Name, Type[Ta])], output: Type[Ta]) extends Product with Serializable
  5. type TypedValue = Value[Unit, Type[Unit]]
  6. sealed trait Value[Ta, Va] extends AnyRef

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val Apply: Value.Value.Apply.type
  5. val AsPattern: Value.Pattern.AsPattern.type
  6. val Constructor: Value.Value.Constructor.type
  7. val ConstructorPattern: Value.Pattern.ConstructorPattern.type
  8. val Destructure: Value.Value.Destructure.type
  9. val EmptyListPattern: Value.Pattern.EmptyListPattern.type
  10. val Field: Value.Value.Field.type
  11. val FieldFunction: Value.Value.FieldFunction.type
  12. val HeadTailPattern: Value.Pattern.HeadTailPattern.type
  13. val IfThenElse: Value.Value.IfThenElse.type
  14. val Lambda: Value.Value.Lambda.type
  15. val LetDefinition: Value.Value.LetDefinition.type
  16. val LetRecursion: Value.Value.LetRecursion.type
  17. val List: Value.Value.List.type
  18. val Literal: Value.Value.Literal.type
  19. val LiteralPattern: Value.Pattern.LiteralPattern.type
  20. val PatternMatch: Value.Value.PatternMatch.type
  21. val Record: Value.Value.Record.type
  22. val Reference: Value.Value.Reference.type
  23. val Tuple: Value.Value.Tuple.type
  24. val TuplePattern: Value.Pattern.TuplePattern.type
  25. val Unit: Value.Value.Unit.type
  26. val UnitPattern: Value.Pattern.UnitPattern.type
  27. val UpdateRecord: Value.Value.UpdateRecord.type
  28. val Variable: Value.Value.Variable.type
  29. val WildcardPattern: Value.Pattern.WildcardPattern.type
  30. def _toString[Ta, Va](value: Value[Ta, Va]): String
  31. def apply[Ta, Va](attributes: Va)(function: Value[Ta, Va])(argument: Value[Ta, Va]): Value[Ta, Va]
  32. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  33. def asPattern[A](attributes: A)(pattern: Pattern[A])(name: Name): Pattern[A]
  34. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  35. def collectDefinitionAttributes[Ta, Va](d: Definition[Ta, Va]): List[Va]
  36. def collectPatternAttributes[A](p: Pattern[A]): List[A]
  37. def collectPatternReferences[Va](pattern: Pattern[Va]): Set[FQName]
  38. def collectPatternVariables[Va](pattern: Pattern[Va]): Set[Name]
  39. def collectReferences[Ta, Va](value: Value[Ta, Va]): Set[FQName]
  40. def collectValueAttributes[Ta, Va](v: Value[Ta, Va]): List[Va]
  41. def collectVariables[Ta, Va](value: Value[Ta, Va]): Set[Name]
  42. def constructor[Ta, Va](attributes: Va)(fullyQualifiedName: FQName): Value[Ta, Va]
  43. def constructorPattern[A](attributes: A)(constructorName: FQName)(argumentPatterns: List[Pattern[A]]): Pattern[A]
  44. def countValueNodes[Ta, Va](value: Value[Ta, Va]): Int
  45. def definitionToSpecification[Ta, Va](_def: Definition[Ta, Va]): Specification[Ta]
  46. def definitionToValue[Ta, Va](_def: Definition[Ta, Va]): Value[Ta, Va]
  47. def emptyListPattern[A](attributes: A): Pattern[A]
  48. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  50. def field[Ta, Va](attributes: Va)(subjectValue: Value[Ta, Va])(fieldName: Name): Value[Ta, Va]
  51. def fieldFunction[Ta, Va](attributes: Va)(fieldName: Name): Value[Ta, Va]
  52. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  53. def generateUniqueName[Ta, Va](value: Value[Ta, Va]): Name
  54. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  55. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  56. def headTailPattern[A](attributes: A)(headPattern: Pattern[A])(tailPattern: Pattern[A]): Pattern[A]
  57. def ifThenElse[Ta, Va](attributes: Va)(condition: Value[Ta, Va])(thenBranch: Value[Ta, Va])(elseBranch: Value[Ta, Va]): Value[Ta, Va]
  58. def indexedMapListHelp[A, B](f: (Int) ⇒ (A) ⇒ (B, Int))(baseIndex: Int)(elemList: List[A]): (List[B], Int)
  59. def indexedMapPattern[A, B](f: (Int) ⇒ (A) ⇒ B)(baseIndex: Int)(pattern: Pattern[A]): (Pattern[B], Int)
  60. def indexedMapValue[A, B, Ta](f: (Int) ⇒ (A) ⇒ B)(baseIndex: Int)(value: Value[Ta, A]): (Value[Ta, B], Int)
  61. def isData[Ta, Va](value: Value[Ta, Va]): Bool
  62. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  63. def lambda[Ta, Va](attributes: Va)(argumentPattern: Pattern[Va])(body: Value[Ta, Va]): Value[Ta, Va]
  64. def letDef[Ta, Va](attributes: Va)(valueName: Name)(valueDefinition: Definition[Ta, Va])(inValue: Value[Ta, Va]): Value[Ta, Va]
  65. def letDestruct[Ta, Va](attributes: Va)(pattern: Pattern[Va])(valueToDestruct: Value[Ta, Va])(inValue: Value[Ta, Va]): Value[Ta, Va]
  66. def letRec[Ta, Va](attributes: Va)(valueDefinitions: Dict[Name, Definition[Ta, Va]])(inValue: Value[Ta, Va]): Value[Ta, Va]
  67. def list[Ta, Va](attributes: Va)(items: List[Value[Ta, Va]]): Value[Ta, Va]
  68. def literal[Ta, Va](attributes: Va)(value: Literal): Value[Ta, Va]
  69. def literalPattern[A](attributes: A)(value: Literal): Pattern[A]
  70. def mapDefinition[E, Ta, Va](mapType: (Type[Ta]) ⇒ Result[E, Type[Ta]])(mapValue: (Value[Ta, Va]) ⇒ Result[E, Value[Ta, Va]])(_def: Definition[Ta, Va]): Result[List[E], Definition[Ta, Va]]
  71. def mapDefinitionAttributes[Ta, Tb, Va, Vb](f: (Ta) ⇒ Tb)(g: (Va) ⇒ Vb)(d: Definition[Ta, Va]): Definition[Tb, Vb]
  72. def mapPatternAttributes[A, B](f: (A) ⇒ B)(p: Pattern[A]): Pattern[B]
  73. def mapSpecificationAttributes[A, B](f: (A) ⇒ B)(spec: Specification[A]): Specification[B]
  74. def mapValueAttributes[Ta, Tb, Va, Vb](f: (Ta) ⇒ Tb)(g: (Va) ⇒ Vb)(v: Value[Ta, Va]): Value[Tb, Vb]
  75. implicit val nameOrdering: Ordering[Name]
  76. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  77. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  78. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  79. def patternAttribute[A](p: Pattern[A]): A
  80. def patternMatch[Ta, Va](attributes: Va)(branchOutOn: Value[Ta, Va])(cases: List[(Pattern[Va], Value[Ta, Va])]): Value[Ta, Va]
  81. def record[Ta, Va](attributes: Va)(fields: Dict[Name, Value[Ta, Va]]): Value[Ta, Va]
  82. def reduceValueBottomUp[Accumulator, TypeAttribute, ValueAttribute](mapNode: (Value[TypeAttribute, ValueAttribute]) ⇒ (List[Accumulator]) ⇒ Accumulator)(currentValue: Value[TypeAttribute, ValueAttribute]): Accumulator
  83. def reference[Ta, Va](attributes: Va)(fullyQualifiedName: FQName): Value[Ta, Va]
  84. def replaceVariables[Ta, Va](value: Value[Ta, Va])(mapping: Dict[Name, Value[Ta, Va]]): Value[Ta, Va]
  85. def rewriteMaybeToPatternMatch[Ta, Va](value: Value[Ta, Va]): Value[Ta, Va]
  86. def rewriteValue[Ta, Va](f: (Value[Ta, Va]) ⇒ Maybe[Value[Ta, Va]])(value: Value[Ta, Va]): Value[Ta, Va]
  87. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  88. def toRawValue[Ta, Va](value: Value[Ta, Va]): RawValue
  89. def toString(): String
    Definition Classes
    AnyRef → Any
  90. def tuple[Ta, Va](attributes: Va)(elements: List[Value[Ta, Va]]): Value[Ta, Va]
  91. def tuplePattern[A](attributes: A)(elementPatterns: List[Pattern[A]]): Pattern[A]
  92. def typeAndValueToDefinition[Ta, Va](valueType: Type[Ta])(value: Value[Ta, Va]): Definition[Ta, Va]
  93. def uncurryApply[Ta, Va](fun: Value[Ta, Va])(lastArg: Value[Ta, Va]): (Value[Ta, Va], List[Value[Ta, Va]])
  94. def unit[Ta, Va](attributes: Va): Value[Ta, Va]
  95. def update[Ta, Va](attributes: Va)(valueToUpdate: Value[Ta, Va])(fieldsToUpdate: Dict[Name, Value[Ta, Va]]): Value[Ta, Va]
  96. def valueAttribute[Ta, Va](v: Value[Ta, Va]): Va
  97. def variable[Ta, Va](attributes: Va)(name: Name): Value[Ta, Va]
  98. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  99. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  100. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  101. def wildcardPattern[A](attributes: A): Pattern[A]
  102. object Pattern
  103. object Value

Inherited from AnyRef

Inherited from Any

Ungrouped