unsafe def unsafePerformIO {τ : Type} [Inhabited τ] (io : IO τ) : τ

Equations

• One or more equations did not get rendered due to their size.

@[implemented_by unsafePerformIO]

def totallySafePerformIO {τ : Type} [Inhabited τ] (io : IO τ) : τ

Equations

• totallySafePerformIO io = default