KeyNotFound

eff KeyNotFoundSource

Indicates that a key was not found. Useful for instances of Index or IndexMut.

Operations

def keyNotFound(msg: String): Void Source

Stops execution with an error message.

Definitions

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

Turns the KeyNotFound effect into Err(msg).