Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
val
AnyObject: Obj
-
-
-
-
val
Comparable: Type
-
-
-
-
-
-
-
-
val
Numeric: Type
-
-
val
Syntaxed: Type
-
val
Temporal: Type
-
-
-
-
val
TypeAndMonoid: Monoid[Type] { def zero: quasar.Type.Top.type }
-
val
TypeGlbMonoid: Monoid[Type] { def zero: quasar.Type.Top.type }
-
val
TypeLubMonoid: Monoid[Type] { def zero: quasar.Type.Bottom.type }
-
val
TypeOrMonoid: Monoid[Type] { def zero: quasar.Type.Bottom.type }
-
implicit
val
TypeRenderTree: RenderTree[Type]
-
final
def
asInstanceOf[T0]: T0
-
def
children(v: Type): List[Type]
-
def
clone(): AnyRef
-
-
implicit
val
equal: Equal[Type]
-
-
def
finalize(): Unit
-
def
foldMap[Z](f: (Type) ⇒ Z)(v: Type)(implicit arg0: Monoid[Z]): Z
-
final
def
getClass(): Class[_]
-
def
glb(left: Type, right: Type): Type
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
lub(left: Type, right: Type): Type
-
def
mapUp(v: Type)(f: PartialFunction[Type, Type]): Type
-
def
mapUpM[F[_]](v: Type)(f: (Type) ⇒ F[Type])(implicit arg0: Monad[F]): F[Type]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
simplify(tpe: Type): Type
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit
val
typeEncodeJson: EncodeJson[Type]
-
def
typecheck(superType: Type, subType: Type): SemanticResult[Unit]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
object
⨿