lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Bool.hs (377B)

      1 module Lude.Bool (
      2     Bool (..),
      3     not,
      4     (&&),
      5     (||),
      6     --
      7     If,
      8     Not,
      9     type (&&),
     10     type (||),
     11 ) where
     12 
     13 import Data.Bool (Bool (..), not, (&&), (||))
     14 import Data.Type.Bool (If, Not, type (&&), type (||))
     15 
     16 -- TODO: Instances
     17 
     18 -- TODO: Generalize to Heyting/Boolean algebras
     19 
     20 --------------------------------------------------------------------------------