OutOfBounds
eff OutOfBounds
SourceIndicates that an index was out of bounds.
Useful for instances of Index
or IndexMut
.
Operations
def outOfBounds(msg: String): Void
SourceStops execution with an error message.
Definitions
@Experimental
def asRes(f: a -> b \ ef): a -> Result[String, b] \ ef - OutOfBounds
SourceTurns the OutOfBounds
effect into Err(msg)
.