Data.Algebra.Boolean.CoBoolean

Documentation

class CoBoolean a where

A class to values translable to booleans.

Methods

toBoolean :: Boolean b => a -> b

Cast value to Boolean.

Instances

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 where

A polymorphic class of values translable to booleans.

Methods

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

Cast value to Boolean.

Instances

CoBoolean1 Maybe

CoBoolean1 Neg

CoBoolean1 FreeBoolean

CoBoolean1 NNF

CoBoolean1 DNF

CoBoolean1 CNF

CoBoolean1 NNF

CoBoolean1 DNF

CoBoolean1 CNF

toBool :: CoBoolean a => a -> Bool

Less polymorphic version of toBoolean.

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

Less polymorphic version of toBooleanWith.