erratic-pattern/cond

Basic conditional operators with monadic variants.

cond's Issues

add to Stackage

Could you add cond to Stackage.org?

Otherwise I can also add it under my name.

Fails to build under GHC 7.6.1

Hi,

your packages needs some work to work with a current GHC:

Preprocessing library cond-0.4.0.1...
[1 of 2] Compiling Data.Algebra.Boolean ( src/Data/Algebra/Boolean.hs, dist-ghc/build/Data/Algebra/Boo
lean.o )

src/Data/Algebra/Boolean.hs:125:20:
Could not deduce (Num a) arising from the literal 0' from the context (Bits a) bound by the instance declaration at src/Data/Algebra/Boolean.hs:123:10-38 Possible fix: add (Num a) to the context of the instance declaration In the first argument ofBitwise', namely 0' In the expression: Bitwise 0 In an equation forfalse': false = Bitwise 0

Generic instance for Boolean?

See ekmett's https://github.com/ekmett/ersatz/blob/master/src/Ersatz/Bit.hs#L196 which has an almost identical class with the capability of generic instances for Product types.

Default implementation of && and ||

As I can see, default implementation of && and || operators is a:

x && y = not (x || y)
x || y = not (x && y)

But according to De Morgan's Law it must be like this:

x && y = not (not x || not y)
x || y = not (not x && not y)

Is this a mistake? Or can I don't understand some things?

Add a CHANGELOG

Couldn't find a changelog for this package on hackage.

MonadPlus seems not to be required

... on when and unless. They can just require Monad m can't they?

Cheers,

|> does the opposite

-- |Right bracket of the conditional choice operator. If the predicate
-- is 'False', returns 'Nothing', otherwise it returns 'Just' the right-hand
-- argument.
(|>) :: ToBool bool => bool -> a -> Maybe a
p |> v = if' p Nothing (Just v)
{-# INLINE (|>) #-}

GHCI

*Main> True |> 1
Nothing
*Main> False |> 1
Just 1

New release to hackage

Could you release the latest master version to the hackage?