SafeTypes

trait SafeTypes
class Object
trait Matchable
class Any

Type members

Types

type _Safe[R] = Member[[A] =>> Safe[A], R]
type _safe[R] = MemberIn[[A] =>> Safe[A], R]