Data.Vec.Boolean

Besides the two functions listed below, this module provides IfB, EqB and OrdB instances for the () and the :. data types.

Two fixed function lists are considered equal if all elements are equal. For element-wise comparisions, use the all and any functions.

Documentation

all :: (Boolean bool, Fold v bool) => v -> bool

Evaluates to true if all elements in the fixed length list is true

any :: (Boolean bool, Fold v bool) => v -> bool

Evaluates to false if all elements in the fixed length list is false