Scala 3
3.10.0-RC1-bin-20260608-e694d83-NIGHTLY
LearnInstallPlaygroundFind A LibraryCommunityBlog
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
Scala 3/scala/Predef/Ensuring

Ensuring

scala.Predef.Ensuring
final implicit class Ensuring[A](self: A) extends AnyVal

Type parameters

A

the type of the value being checked with ensuring

Value parameters

self

the value to check postconditions against

Attributes

Source
Predef.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Value members

Concrete methods

def ensuring(cond: Boolean): A

Attributes

Source
Predef.scala
def ensuring(cond: Boolean, msg: => Any): A

Attributes

Source
Predef.scala
def ensuring(cond: A => Boolean): A

Attributes

Source
Predef.scala
def ensuring(cond: A => Boolean, msg: => Any): A

Attributes

Source
Predef.scala
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL