Skip to content
Menu
Contents

Reading the tags

pure

Same arguments, same result; touches nothing outside.

pure if arg2 is

Pure when that argument is a pure function; otherwise as impure as it is.

impure

Reads or changes something outside the program.

Never

1 function

The empty type's one function. No value has type Never, so a call whose result is Never does not return, and absurd lets it stand where any other type is expected.

At a glance

  • absurd

    A value of Never does not exist, so this is never called.

Functions

absurd

(Never) -> apure

A value of Never does not exist, so this is never called. It lets an expression that does not return, such as a call to a function declared -> Never, stand where any type is expected.

Reading the tags

pure

Same arguments, same result; touches nothing outside.

pure if arg2 is

Pure when that argument is a pure function; otherwise as impure as it is.

impure

Reads or changes something outside the program.