Object/Class

quasar

Type

Related Docs: class Type | package quasar

Permalink

object Type extends TypeInstances with Serializable

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

Type Members

  1. final case class Arr(value: slamdata.Predef.List[Type]) extends Type with Product with Serializable

    Permalink

  2. final case class Const(value: Data) extends Type with Product with Serializable

    Permalink

  3. final case class Coproduct(left: Type, right: Type) extends Type with Product with Serializable

    Permalink

  4. final case class FlexArr(minSize: slamdata.Predef.Int, maxSize: slamdata.Predef.Option[slamdata.Predef.Int], value: Type) extends Type with Product with Serializable

    Permalink

  5. final case class Obj(value: slamdata.Predef.Map[slamdata.Predef.String, Type], unknowns: slamdata.Predef.Option[Type]) extends Type with Product with Serializable

    Permalink

  6. type SemanticResult[A] = Validation[NonEmptyList[SemanticError], A]

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. val AnyArray: FlexArr

    Permalink

  5. val AnyObject: Obj

    Permalink

  6. object Binary extends Type with Product with Serializable

    Permalink

  7. object Bool extends Type with Product with Serializable

    Permalink

  8. object Bottom extends Type with Product with Serializable

    Permalink

  9. val Comparable: Type

    Permalink

  10. object Coproduct extends Serializable

    Permalink

  11. object Date extends Type with Product with Serializable

    Permalink

  12. object Dec extends Type with Product with Serializable

    Permalink

  13. object Id extends Type with Product with Serializable

    Permalink

  14. object Int extends Type with Product with Serializable

    Permalink

  15. object Interval extends Type with Product with Serializable

    Permalink

  16. object Null extends Type with Product with Serializable

    Permalink

  17. val Numeric: Type

    Permalink

  18. object Str extends Type with Product with Serializable

    Permalink

  19. val Syntaxed: Type

    Permalink

  20. val Temporal: Type

    Permalink

  21. object Time extends Type with Product with Serializable

    Permalink

  22. object Timestamp extends Type with Product with Serializable

    Permalink

  23. object Top extends Type with Product with Serializable

    Permalink

  24. val TypeGlbMonoid: Monoid[Type] { def zero: quasar.Type.Top.type }

    Permalink
    Definition Classes
    TypeInstances

  25. val TypeLubMonoid: Monoid[Type] { def zero: quasar.Type.Bottom.type }

    Permalink
    Definition Classes
    TypeInstances

  26. val TypeOrMonoid: Monoid[Type] { def zero: quasar.Type.Bottom.type }

    Permalink
    Definition Classes
    TypeInstances

  27. implicit val TypeRenderTree: RenderTree[Type]

    Permalink
    Definition Classes
    TypeInstances

  28. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  29. def children(v: Type): slamdata.Predef.List[Type]

    Permalink

  30. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  32. implicit val equal: Equal[Type]

    Permalink

  33. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  34. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  35. def foldMap[Z](f: (Type) ⇒ Z)(v: Type)(implicit arg0: Monoid[Z]): Z

    Permalink
    Annotations
    @SuppressWarnings()

  36. val fromPrimaryType: (PrimaryType) ⇒ Type

    Permalink

  37. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  38. def glb(left: Type, right: Type): Type

    Permalink

  39. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  41. def lub(left: Type, right: Type): Type

    Permalink
    Annotations
    @SuppressWarnings()

  42. def mapUp(v: Type)(f: slamdata.Predef.PartialFunction[Type, Type]): Type

    Permalink

  43. def mapUpM[F[_]](v: Type)(f: (Type) ⇒ F[Type])(implicit arg0: Monad[F]): F[Type]

    Permalink

  44. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  45. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  46. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  47. implicit val show: Show[Type]

    Permalink
    Definition Classes
    TypeInstances

  48. def simplify(tpe: Type): Type

    Permalink

  49. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  50. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  51. implicit val typeEncodeJson: EncodeJson[Type]

    Permalink
    Definition Classes
    TypeInstances

  52. def typecheck(superType: Type, subType: Type): SemanticResult[slamdata.Predef.Unit]

    Permalink
    Annotations
    @SuppressWarnings()

  53. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  54. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  55. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  56. object ⨿

    Permalink

Inherited from Serializable

Inherited from Serializable

Inherited from TypeInstances

Inherited from AnyRef

Inherited from Any

Ungrouped