TypeGen

org.finos.morphir.ir.generator.TypeGen

See theTypeGen companion object

trait TypeGen

Attributes

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

Members list

Concise view

Value members

Concrete methods

final def extensibleRecord[R, A](attributesGen: Gen[R, A], nameGen: Gen[R, Name], fieldsGen: Gen[R, Chunk[Field[Type[A]]]]): Gen[R, ExtensibleRecord[A]]

final def extensibleRecordFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, ExtensibleRecord[A]]

final def function[R, A](attributesGen: Gen[R, A], typeGen: Gen[R, Type[A]]): Gen[R, Function[A]]

final def functionFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, Function[A]]

final def recordType[R, A](attributesGen: Gen[R, A], fieldsGen: Gen[R, Chunk[Field[Type[A]]]]): Gen[R, Record[A]]

final def recordTypeFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, Record[A]]

final def referenceType[R, A](attributesGen: Gen[R, A], typeNameGen: Gen[R, FQName], typeParamsGen: Gen[R, Chunk[Type[A]]]): Gen[R, Reference[A]]

final def referenceTypeFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, Reference[A]]

final def tupleType[R, A](attributesGen: Gen[R, A], elementsGen: Gen[R, Chunk[Type[A]]]): Gen[R, Tuple[A]]

final def tupleTypeFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, Tuple[A]]

final def typeGen[R, A](implicit attributesGen: Gen[R, A]): Gen[R, Type[A]]

final def unitType[R, A](implicit attributesGen: Gen[R, A]): Gen[R, Unit[A]]

final def variableType[R, A](attributesGen: Gen[R, A], nameGen: Gen[R, Name]): Gen[R, Variable[A]]

final def variableTypeFromAttributes[R, A](implicit attributes: Gen[R, A]): Gen[R, Variable[A]]

Generated with