Up – Package index » Base » Library base » Base » Bool » Non_short_circuiting

Module `Bool.Non_short_circuiting`Source

Non-short circuiting and branch-free boolean operators.

The default versions of these infix operators are short circuiting, which requires branching instructions to implement. The operators below are instead branch-free, and therefore not short-circuiting.

Sourceval (&&) : t -> t -> t

Sourceval (||) : t -> t -> t