OutOfBounds

eff OutOfBoundsSource

Indicates that an index was out of bounds. Useful for instances of Index or IndexMut.

Operations

def outOfBounds(msg: String): Void Source

Stops execution with an error message.

Definitions

@Experimental
def asRes(f: a -> b \ ef): a -> Result[String, b] \ ef & (~OutOfBounds) Source

Turns the OutOfBounds effect into Err(msg).