Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
- class CoBoolean a where
- class CoBoolean1 b where
- toBooleanWith :: Boolean c => (a -> c) -> b a -> c
- toBool :: CoBoolean a => a -> Bool
- toBoolWith :: CoBoolean1 b => (a -> Bool) -> b a -> Bool
Documentation
A class to values translable to booleans.
CoBoolean Bool | |
CoBoolean (Maybe a) | |
CoBoolean (Neg a) | |
CoBoolean a => CoBoolean (FreeBoolean a) | |
CoBoolean a => CoBoolean (NNF a) | |
CoBoolean a => CoBoolean (DNF a) | |
CoBoolean a => CoBoolean (CNF a) | |
CoBoolean a => CoBoolean (NNF a) | |
CoBoolean a => CoBoolean (DNF a) | |
CoBoolean a => CoBoolean (CNF a) | |
(CoBoolean f, CoBoolean g) => CoBoolean (Either f g) |
class CoBoolean1 b whereSource
A polymorphic class of values translable to booleans.
toBooleanWith :: Boolean c => (a -> c) -> b a -> cSource
Cast value to Boolean
.
toBoolWith :: CoBoolean1 b => (a -> Bool) -> b a -> BoolSource
Less polymorphic version of toBooleanWith
.