-- 021202
-- H98-compliant

module LiftBool where

import Liftable

-- Boolean lifted operations:

(&&*) :: (Liftable k) => k Bool -> k Bool -> k Bool
(&&*) = lift2 (&&)

(||*) :: (Liftable k) => k Bool -> k Bool -> k Bool
(||*) = lift2 (||)

not' :: (Liftable k) => k Bool -> k Bool
not' = lift1 not