OutOfBounds

eff OutOfBoundsSource

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

Operations

def outOfBounds(msg: String): Void \ OutOfBounds Source

Stops execution with an error message.

@Experimental

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

Turns the OutOfBounds effect into Err(msg).