o

zio.morphir.ir

TypeModule

object TypeModule extends TypeModuleSyntax

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

Type Members

  1. final case class Constructors[+Annotations](items: Map[Name, Chunk[(Name, Type[Annotations])]]) extends Product with Serializable
  2. sealed trait Definition[+Annotations] extends AnyRef
  3. final case class Field[+T](name: Name, tpe: T) extends Product with Serializable
  4. sealed trait Specification[+Annotations] extends AnyRef
  5. final case class Type[+Annotations] extends Product with Serializable
  6. sealed trait TypeCase[+Self] extends AnyRef
  7. type USpecification = Specification[Any]
  8. type UType = Type[Any]

    Represents an un-annotated type.

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 USpecification: Specification.type
  5. val UType: Type.type
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. final def extensibleRecord(name: String, fields: Field[Type[Any]]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  11. final def extensibleRecord(name: String, fields: Chunk[Field[Type[Any]]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  12. final def extensibleRecord(name: Name, fields: Field[Type[Any]]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  13. final def extensibleRecord(name: Name, fields: Chunk[Field[Type[Any]]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  14. final def field(name: String, fieldType: Type[Any]): Field[Type[Any]]
    Definition Classes
    TypeModuleSyntax
  15. final def field(name: Name, fieldType: Type[Any]): Field[Type[Any]]
    Definition Classes
    TypeModuleSyntax
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. final def function[Annotations](paramTypes: Type[Annotations]*): DefineFunction[Annotations]
    Definition Classes
    TypeModuleSyntax
  18. final def function(paramTypes: Chunk[Type[Any]], returnType: Type[Any]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def record(fields: Field[Type[Any]]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  26. final def record(fields: Chunk[Field[Type[Any]]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  27. final def ref(name: FQName): Type[Any]
    Definition Classes
    TypeModuleSyntax
    Annotations
    @inline()
  28. def reference(packageName: String, moduleName: String, localName: String, typeParams: Type[Any]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  29. final def reference(packageName: String, moduleName: String, localName: String, typeParams: Chunk[Type[Any]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  30. final def reference(name: FQName, typeParams: Type[Any]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  31. final def reference(name: FQName, typeParams: Chunk[Type[Any]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def tuple(first: Type[Any], second: Type[Any], rest: Type[Any]*): Type[Any]
    Definition Classes
    TypeModuleSyntax
  35. final def tuple(elementTypes: Chunk[Type[Any]]): Type[Any]
    Definition Classes
    TypeModuleSyntax
  36. final def unit[Annotations](annotations: ZEnvironment[Annotations]): Type[Annotations]
    Definition Classes
    TypeModuleSyntax
  37. val unit: Type[Any]
    Definition Classes
    TypeModuleSyntax
  38. final def variable(name: Name): Type[Any]
    Definition Classes
    TypeModuleSyntax
  39. final def variable(name: String): Type[Any]

    Creates a type variable with the given name.

    Creates a type variable with the given name.

    Definition Classes
    TypeModuleSyntax
  40. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  43. object Definition
  44. object Specification
  45. object Type extends TypeModuleSyntax with Serializable
  46. object TypeCase

Inherited from TypeModuleSyntax

Inherited from AnyRef

Inherited from Any

Ungrouped