quasar
Type
Related Docs:
trait Type
|
package quasar
object
Type
extends
TypeInstances
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
TypeInstances
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Type
Serializable
Serializable
TypeInstances
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
final
case class
Arr
(
value:
Predef.List
[
Type
]
)
extends
Type
with
Product
with
Serializable
final
case class
Const
(
value:
Data
)
extends
Type
with
Product
with
Serializable
final
case class
Coproduct
(
left:
Type
,
right:
Type
)
extends
Type
with
Product
with
Serializable
final
case class
FlexArr
(
minSize:
Predef.Int
,
maxSize:
Predef.Option
[
Predef.Int
]
,
value:
Type
)
extends
Type
with
Product
with
Serializable
final
case class
Obj
(
value:
Predef.Map
[
Predef.String
,
Type
]
,
unknowns:
Predef.Option
[
Type
]
)
extends
Type
with
Product
with
Serializable
type
SemanticResult
[
A
]
=
Validation
[
NonEmptyList
[
SemanticError
],
A
]
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
AnyArray
:
FlexArr
val
AnyObject
:
Obj
object
Binary
extends
Type
with
Product
with
Serializable
object
Bool
extends
Type
with
Product
with
Serializable
object
Bottom
extends
Type
with
Product
with
Serializable
val
Comparable
:
Type
object
Coproduct
extends
Serializable
object
Date
extends
Type
with
Product
with
Serializable
object
Dec
extends
Type
with
Product
with
Serializable
object
Id
extends
Type
with
Product
with
Serializable
object
Int
extends
Type
with
Product
with
Serializable
object
Interval
extends
Type
with
Product
with
Serializable
object
Null
extends
Type
with
Product
with
Serializable
val
Numeric
:
Type
object
Str
extends
Type
with
Product
with
Serializable
val
Syntaxed
:
Type
val
Temporal
:
Type
object
Time
extends
Type
with
Product
with
Serializable
object
Timestamp
extends
Type
with
Product
with
Serializable
object
Top
extends
Type
with
Product
with
Serializable
val
TypeAndMonoid
:
Monoid
[
Type
] { def zero: quasar.Type.Top.type }
Definition Classes
TypeInstances
val
TypeGlbMonoid
:
Monoid
[
Type
] { def zero: quasar.Type.Top.type }
Definition Classes
TypeInstances
val
TypeLubMonoid
:
Monoid
[
Type
] { def zero: quasar.Type.Bottom.type }
Definition Classes
TypeInstances
val
TypeOrMonoid
:
Monoid
[
Type
] { def zero: quasar.Type.Bottom.type }
Definition Classes
TypeInstances
implicit
val
TypeRenderTree
:
RenderTree
[
Type
]
Definition Classes
TypeInstances
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
children
(
v:
Type
)
:
Predef.List
[
Type
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
implicit
val
equal
:
Equal
[
Type
]
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
foldMap
[
Z
]
(
f: (
Type
) ⇒
Z
)
(
v:
Type
)
(
implicit
arg0:
Monoid
[
Z
]
)
:
Z
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
glb
(
left:
Type
,
right:
Type
)
:
Type
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
lub
(
left:
Type
,
right:
Type
)
:
Type
def
mapUp
(
v:
Type
)
(
f:
Predef.PartialFunction
[
Type
,
Type
]
)
:
Type
def
mapUpM
[
F
[
_
]
]
(
v:
Type
)
(
f: (
Type
) ⇒
F
[
Type
]
)
(
implicit
arg0:
Monad
[
F
]
)
:
F
[
Type
]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
implicit
val
show
:
Show
[
Type
]
Definition Classes
TypeInstances
def
simplify
(
tpe:
Type
)
:
Type
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
val
typeEncodeJson
:
EncodeJson
[
Type
]
Definition Classes
TypeInstances
def
typecheck
(
superType:
Type
,
subType:
Type
)
:
SemanticResult
[
Predef.Unit
]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
object
⨿
Inherited from
Serializable
Inherited from
Serializable
Inherited from
TypeInstances
Inherited from
AnyRef
Inherited from
Any
Ungrouped