abs package:ihaskell

Absolute value.

Used for compiler-generated error message; encoding saves bytes of string junk.

Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".

>>> let x :: Either Void Int; x = Right 5

>>> :{
case x of
Right r -> r
Left l  -> absurd l
:}
5

Compute absolute value of an Integer