object Type

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

Type Members

  1. class Composed1 extends TypeMatcher[Type]
  2. case class ComposedType(name: String, tyargs: Seq[Type]) extends Type with Product with Serializable
  3. case class Function(args: Seq[Type], ret: Type) extends Type with Product with Serializable
  4. class InferenceFailed extends Exception
  5. case class Object(members: SortedMap[String, Type]) extends Type with TypeMatcher[SortedMap[String, Type]] with Product with Serializable
  6. implicit class ToSortedMap[A, B] extends AnyRef
  7. trait TypeMatcher[A] 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 Bool: ComposedType
  5. val Float: ComposedType
  6. val Get: String
  7. val GetSome: String
  8. val Int: ComposedType
  9. val IsError: String
  10. val IsSome: String
  11. val ListType: Composed1
  12. val SetType: Composed1
  13. val String: ComposedType
  14. val Unit: Object
  15. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  16. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def fromTessla(ty: tessla.TesslaCore.Type): Type

    Set to true for printing the types.

    Set to true for printing the types. This is nice for debugging.

  20. def fromTessla(value: ValueOrError): Type
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def mkFunction(args: Type*)(ret: Type): Function
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. object AccessUnknown extends Exception
  34. object LazyErr extends Composed1
  35. object LazyOpt extends TypeMatcher[Type]
  36. object MapType extends TypeMatcher[(Type, Type)]
  37. object OptionType extends Composed1
  38. object Stream extends TypeMatcher[Type]
  39. object Unknown extends Type with Product with Serializable

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped