opaque-newtypes
opaque-newtypes
API
opaque_newtypes
OpaqueDouble
OpaqueFloat
OpaqueInt
OpaqueLong
OpaqueString
SameRuntimeType
SameRuntimeType
TotalWrapper
YesNo
opaque-newtypes
/
opaque_newtypes
/
OpaqueInt
OpaqueInt
opaque_newtypes.OpaqueInt
trait
OpaqueInt
[
A
](
using
x$1
:
A
=:=
Int
)
extends
TotalWrapper
[
A
,
Int
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
TotalWrapper
[
A
,
Int
]
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Value members
Inherited methods
inline
def
apply
(
inline
s
:
Int
):
Newtype
Attributes
Inherited from:
TotalWrapper
inline
def
raw
(
inline
a
:
A
):
Impl
Attributes
Inherited from:
TotalWrapper
Givens
Inherited givens
given
given_SameRuntimeType_Impl_Newtype
:
SameRuntimeType
[
Int
,
A
]
Attributes
Inherited from:
TotalWrapper
given
given_SameRuntimeType_Newtype_Impl
:
SameRuntimeType
[
A
,
Int
]
Attributes
Inherited from:
TotalWrapper
Extensions
Inherited extensions
extension
(a:
Newtype
)
inline
def
into
[
X
](
inline
other
:
TotalWrapper
[
X
,
Int
]):
X
Attributes
Inherited from:
TotalWrapper
inline
def
map
(
inline
f
:
Impl
=>
Impl
):
Newtype
Attributes
Inherited from:
TotalWrapper
inline
def
value
:
Impl
Attributes
Inherited from:
TotalWrapper