-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Provides Boolean instances for the Vec package
--   
--   This package adds instances for the classes IfB and EqB in the Boolean
--   package for the fixed length list data type in the Vec package. These
--   intances are useful for example when using the GPipe package.
@package Vec-Boolean
@version 1.0.2


-- | Besides the two functions listed below, this module provides
--   <a>IfB</a>, <a>EqB</a> and <a>OrdB</a> instances for the <tt>()</tt>
--   and the <tt>:.</tt> data types.
--   
--   Two fixed function lists are considered equal if all elements are
--   equal. For element-wise comparisions, use the <a>all</a> and
--   <a>any</a> functions.
module Data.Vec.Boolean

-- | Evaluates to <a>true</a> if all elements in the fixed length list is
--   <a>true</a>
all :: (Boolean bool, Fold v bool) => v -> bool

-- | Evaluates to <a>false</a> if all elements in the fixed length list is
--   <a>false</a>
any :: (Boolean bool, Fold v bool) => v -> bool
instance (EqB bool a, EqB bool b) => EqB bool (a :. b)
instance (Boolean bool) => EqB bool ()
instance (IfB bool a, IfB bool b) => IfB bool (a :. b)
instance (Boolean bool) => IfB bool ()