# LANGUAGE ExplicitNamespaces #

module Bool
  ( -- * Boolean
    Bool(..)
  , (&&)
  , (||)
  , not
  , otherwise
  , bool
    -- ** Newtypes
  , All(..)
  , Any(..)
    -- * Boolean type functions
  , If
  , type (&&)
  , type (||)
  , Not
  ) where

import Data.Bool
import Data.Monoid
import Data.Type.Bool

 * Boolean
 ** Newtypes
 * Boolean type functions
# LANGUAGE ExplicitNamespaces #

module Bool
    Bool(..)
  , (&&)
  , (||)
  , not
  , otherwise
  , bool
  , All(..)
  , Any(..)
  , If
  , type (&&)
  , type (||)
  , Not
  ) where

import Data.Bool
import Data.Monoid
import Data.Type.Bool
