sigmastate
.
SType
STypeOps
Related Doc:
package SType
implicit final
class
STypeOps
extends
AnyVal
Linear Supertypes
AnyVal
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
STypeOps
AnyVal
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
STypeOps
(
tpe:
SType
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
asCollection
[
T <:
SType
]
:
SCollection
[
T
]
def
asFunc
:
SFunc
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
asNumType
:
SNumericType
def
asOption
[
T <:
SType
]
:
SOption
[
T
]
def
asProduct
:
SProduct
def
asTuple
:
STuple
def
canBeTypedAs
(
expected:
SType
)
:
Boolean
def
classTag
[
T <:
WrappedType
]
:
ClassTag
[
T
]
def
getClass
()
:
Class
[_ <:
AnyVal
]
Definition Classes
AnyVal → Any
def
isAvlTree
:
Boolean
def
isBox
:
Boolean
def
isCollection
:
Boolean
def
isCollectionLike
:
Boolean
def
isFunc
:
Boolean
def
isGroupElement
:
Boolean
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isNumType
:
Boolean
def
isOption
:
Boolean
def
isSigmaProp
:
Boolean
def
isTuple
:
Boolean
def
toString
()
:
String
Definition Classes
Any
val
tpe
:
SType
def
whenFunc
[
T
]
(
action: (
SFunc
) ⇒
Unit
)
:
Unit
Inherited from
AnyVal
Inherited from
Any
Ungrouped