Copyright	© Oleg Grenrus 2014
License	MIT
Maintainer	Oleg Grenrus <oleg.grenrus@iki.fi>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Algebra.Boolean.CoBoolean

Description

Synopsis

class CoBoolean a where
- toBoolean :: Boolean b => a -> b
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

class CoBoolean a where Source #

A class to values translable to booleans.

Methods

toBoolean :: Boolean b => a -> b Source #

Cast value to Boolean.

Instances

CoBoolean Bool Source #
Instance details Defined in Data.Algebra.Boolean.CoBoolean Methods toBoolean :: Boolean b => Bool -> b Source #
CoBoolean (Maybe a) Source #
Instance details Defined in Data.Algebra.Boolean.CoBoolean Methods toBoolean :: Boolean b => Maybe a -> b Source #
CoBoolean (Neg a) Source #
Instance details Defined in Data.Algebra.Boolean.Negable Methods toBoolean :: Boolean b => Neg a -> b Source #
CoBoolean a => CoBoolean (FreeBoolean a) Source #
Instance details Defined in Data.Algebra.Boolean.FreeBoolean Methods toBoolean :: Boolean b => FreeBoolean a -> b Source #
CoBoolean a => CoBoolean (NNF a) Source #
Instance details Defined in Data.Algebra.Boolean.NNF.Tree Methods toBoolean :: Boolean b => NNF a -> b Source #
CoBoolean a => CoBoolean (NNF a) Source #
Instance details Defined in Data.Algebra.Boolean.NNF.Set Methods toBoolean :: Boolean b => NNF a -> b Source #
CoBoolean a => CoBoolean (DNF a) Source #
Instance details Defined in Data.Algebra.Boolean.DNF.Set Methods toBoolean :: Boolean b => DNF a -> b Source #
CoBoolean a => CoBoolean (DNF a) Source #
Instance details Defined in Data.Algebra.Boolean.DNF.List Methods toBoolean :: Boolean b => DNF a -> b Source #
CoBoolean a => CoBoolean (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.Set Methods toBoolean :: Boolean b => CNF a -> b Source #
CoBoolean a => CoBoolean (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods toBoolean :: Boolean b => CNF a -> b Source #
(CoBoolean f, CoBoolean g) => CoBoolean (Either f g) Source #
Instance details Defined in Data.Algebra.Boolean.CoBoolean Methods toBoolean :: Boolean b => Either f g -> b Source #

class CoBoolean1 b where Source #

A polymorphic class of values translable to booleans.

Methods

toBooleanWith :: Boolean c => (a -> c) -> b a -> c Source #

Cast value to Boolean.

Instances

CoBoolean1 Maybe Source #
Instance details Defined in Data.Algebra.Boolean.CoBoolean Methods toBooleanWith :: Boolean c => (a -> c) -> Maybe a -> c Source #
CoBoolean1 Neg Source #
Instance details Defined in Data.Algebra.Boolean.Negable Methods toBooleanWith :: Boolean c => (a -> c) -> Neg a -> c Source #
CoBoolean1 FreeBoolean Source #
Instance details Defined in Data.Algebra.Boolean.FreeBoolean Methods toBooleanWith :: Boolean c => (a -> c) -> FreeBoolean a -> c Source #
CoBoolean1 NNF Source #
Instance details Defined in Data.Algebra.Boolean.NNF.Tree Methods toBooleanWith :: Boolean c => (a -> c) -> NNF a -> c Source #
CoBoolean1 NNF Source #
Instance details Defined in Data.Algebra.Boolean.NNF.Set Methods toBooleanWith :: Boolean c => (a -> c) -> NNF a -> c Source #
CoBoolean1 DNF Source #
Instance details Defined in Data.Algebra.Boolean.DNF.Set Methods toBooleanWith :: Boolean c => (a -> c) -> DNF a -> c Source #
CoBoolean1 DNF Source #
Instance details Defined in Data.Algebra.Boolean.DNF.List Methods toBooleanWith :: Boolean c => (a -> c) -> DNF a -> c Source #
CoBoolean1 CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.Set Methods toBooleanWith :: Boolean c => (a -> c) -> CNF a -> c Source #
CoBoolean1 CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods toBooleanWith :: Boolean c => (a -> c) -> CNF a -> c Source #

toBool :: CoBoolean a => a -> Bool Source #

Less polymorphic version of toBoolean.

toBoolWith :: CoBoolean1 b => (a -> Bool) -> b a -> Bool Source #

Less polymorphic version of toBooleanWith.