meta/langoustine.meta/OpaqueInt

OpaqueInt

trait OpaqueInt[A](using x$1: A =:= Int) extends TotalWrapper[A, Int]
trait TotalWrapper[A, Int]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

object given_BasicallyTheSame_Impl_Newtype extends BasicallyTheSame[Impl, Newtype]
Inherited from:
TotalWrapper

Value members

Inherited methods

def apply(s: Int): A
Inherited from:
TotalWrapper
def raw(a: A): Int
Inherited from:
TotalWrapper
inline def unapply(s: Int): A
Inherited from:
TotalWrapper

Givens

Inherited givens

Extensions

Inherited extensions

extension (a: Newtype)
inline def into[X](inline other: TotalWrapper[X, Int]): X
Inherited from:
TotalWrapper
inline def map(inline f: Impl => Impl): A
Inherited from:
TotalWrapper
inline def value: Int
Inherited from:
TotalWrapper