trait
Checked1ParamAny[Chk[Cond0[_, _], Msg0[_, _], T0, ParamFace0, Param0], Cond[_, _], Msg[_, _], Face, T, ParamFace, Param] extends TwoFaceAny[Face, T]
Type Members
-
type
Out = T
Abstract Value Members
-
abstract
def
getClass(): Class[_]
-
abstract
def
getValue: Face
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
isLiteral(implicit rt: RunTime[T]): Boolean
-
def
toString(): String
-
def
unsafeCheck(p: ParamFace)(implicit shl: CheckedShell2[Cond, Msg, Chk[Cond, Msg, _, _, _], Face, Face, ParamFace, ParamFace]): Chk[Cond, Msg, T, ParamFace, Param]