core/cats.collections/Discrete

Discrete

trait Discrete[@specialized A]

Represent discrete operations that can be performed on A

Represent discrete operations that can be performed on A

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def pred(x: A): A

Returns the predecessor of x.

Returns the predecessor of x.

def succ(x: A): A

Return the successor of x.

Return the successor of x.

Concrete methods

def adj(x: A, y: A): Boolean

Returns true if x and y are consecutive.

Returns true if x and y are consecutive.

def inverse: Discrete[A]

Returns the inverse of this discrete (succ and pred are flipped).

Returns the inverse of this discrete (succ and pred are flipped).