morphir-toolkit-core-testing
API
Generated with
morphir-toolkit-core-testing/org.finos.morphir.ir.generator/ValueGen

ValueGen

org.finos.morphir.ir.generator.ValueGen
See theValueGen companion object
trait ValueGen

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MorphirIRGen.type
object ValueGen.type

Members list

Concise view

Value members

Concrete methods

final def apply[R, TA, VA](valueAttributesGen: Gen[R, VA], functionGen: Gen[R, Value[TA, VA]], argumentGen: Gen[R, Value[TA, VA]]): Gen[R, Apply[TA, VA]]
final def applyFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Apply[TA, VA]]
final def constructor[R, VA](valueAttributesGen: Gen[R, VA], fullyQualifiedNameGen: Gen[R, FQName]): Gen[R, Constructor[VA]]
final def constructorFromAttributes[R, VA](implicit valueAttributes: Gen[R, VA]): Gen[R, Constructor[VA]]
final def destructure[R, TA, VA](valueAttributesGen: Gen[R, VA], patternGen: Gen[R, Pattern[VA]], valueToDestructGen: Gen[R, Value[TA, VA]], inValueGen: Gen[R, Value[TA, VA]]): Gen[R, Destructure[TA, VA]]
final def destructureFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Destructure[TA, VA]]
final def field[R, TA, VA](valueAttributesGen: Gen[R, VA], subjectValueGen: Gen[R, Value[TA, VA]], fieldNameGen: Gen[R, Name]): Gen[R, Field[TA, VA]]
final def fieldFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Field[TA, VA]]
final def fieldFunction[R, VA](valueAttributesGen: Gen[R, VA], nameGen: Gen[R, Name]): Gen[R, FieldFunction[VA]]
final def fieldFunctionFromAttributes[R, VA](implicit valueAttributes: Gen[R, VA]): Gen[R, FieldFunction[VA]]
final def ifThenElse[R, TA, VA](valueAttributesGen: Gen[R, VA], conditionGen: Gen[R, Value[TA, VA]], thenBranchGen: Gen[R, Value[TA, VA]], elseBranchGen: Gen[R, Value[TA, VA]]): Gen[R, IfThenElse[TA, VA]]
final def ifThenElseFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, IfThenElse[TA, VA]]
final def lambda[R, TA, VA](valueAttributesGen: Gen[R, VA], argumentPatternGen: Gen[R, Pattern[VA]], bodyGen: Gen[R, Value[TA, VA]]): Gen[R, Lambda[TA, VA]]
final def lambdaFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Lambda[TA, VA]]
final def letDefinition[R, TA, VA](valueAttributesGen: Gen[R, VA], valueNameGen: Gen[R, Name], valueDefinitionGen: Gen[R, ValueDefinition[TA, VA]], inValueGen: Gen[R, Value[TA, VA]]): Gen[R, LetDefinition[TA, VA]]
final def letDefinitionFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, LetDefinition[TA, VA]]
final def letRecursion[R, TA, VA](valueAttributesGen: Gen[R, VA], valueDefinitionsGen: Gen[R, Map[Name, ValueDefinition[TA, VA]]], inValueGen: Gen[R, Value[TA, VA]]): Gen[R, LetRecursion[TA, VA]]
final def letRecursionFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, LetRecursion[TA, VA]]
final def list[R, TA, VA](valueAttributesGen: Gen[R, VA], elementsGen: Gen[R, Chunk[Value[TA, VA]]]): Gen[R, List[TA, VA]]
final def listFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, List[TA, VA]]
final def literal[R, VA](valueAttributesGen: Gen[R, VA], literalGen: Gen[R, Literal]): Gen[R, Literal[VA]]
final def literalFromAttributes[R, VA](implicit valueAttributes: Gen[R, VA]): Gen[R, Literal[VA]]
final def patternMatch[R, TA, VA](valueAttributesGen: Gen[R, VA], branchOutOnGen: Gen[R, Value[TA, VA]], casesGen: Gen[R, Chunk[(Pattern[VA], Value[TA, VA])]]): Gen[R, PatternMatch[TA, VA]]
final def patternMatchFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, PatternMatch[TA, VA]]
final def recordValue[R, TA, VA](valueAttributesGen: Gen[R, VA], fieldsGen: Gen[R, Chunk[(Name, Value[TA, VA])]]): Gen[R, Record[TA, VA]]
final def recordValueFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Record[TA, VA]]
final def referenceValue[R, VA](valueAttributesGen: Gen[R, VA], fullyQualifiedNameGen: Gen[R, FQName]): Gen[R, Reference[VA]]
final def referenceValueFromAttributes[R, VA](implicit valueAttributes: Gen[R, VA]): Gen[R, Reference[VA]]
final def tupleValue[R, TA, VA](valueAttributesGen: Gen[R, VA], elementsGen: Gen[R, Chunk[Value[TA, VA]]]): Gen[R, Tuple[TA, VA]]
final def tupleValueFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Tuple[TA, VA]]
final def unitValue[R, VA](implicit valueAttributesGen: Gen[R, VA]): Gen[R, Unit[VA]]
final def updateRecord[R, TA, VA](valueAttributesGen: Gen[R, VA], valueToUpdateGen: Gen[R, Value[TA, VA]], fieldsToUpdateGen: Gen[R, Map[Name, Value[TA, VA]]]): Gen[R, UpdateRecord[TA, VA]]
final def updateRecordFromAttributes[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, UpdateRecord[TA, VA]]
final def value[R, TA, VA](implicit typeAttributes: Gen[R, TA], valueAttributes: Gen[R, VA]): Gen[R, Value[TA, VA]]
final def variableValue[R, VA](valueAttributesGen: Gen[R, VA], nameGen: Gen[R, Name]): Gen[R, Variable[VA]]
final def variableValueFromAttributes[R, VA](implicit valueAttributes: Gen[R, VA]): Gen[R, Variable[VA]]
Generated with