OAlg.Data.Logical

Contents

Description

Types admitting logical connectives.

Synopsis

Logical Operators

class Logical a where Source #

logical structures admitting a general definition for disjunctions and conjunctions.

Methods

(||) :: a -> a -> a infixr 2 Source #

disjunction

(&&) :: a -> a -> a infixr 3 Source #

conjunction

Instances details

Logical Statement Source #
Instance details Defined in OAlg.Data.Statement.Definition Methods (\|\|) :: Statement -> Statement -> Statement Source # (&&) :: Statement -> Statement -> Statement Source #
Logical Valid Source #
Instance details Defined in OAlg.Data.Statement.Definition Methods (\|\|) :: Valid -> Valid -> Valid Source # (&&) :: Valid -> Valid -> Valid Source #
Logical Bool Source #
Instance details Defined in OAlg.Data.Logical Methods (\|\|) :: Bool -> Bool -> Bool Source # (&&) :: Bool -> Bool -> Bool Source #
Ord x => Logical (Set x) Source #
Instance details Defined in OAlg.Entity.Sequence.Set Methods (\|\|) :: Set x -> Set x -> Set x Source # (&&) :: Set x -> Set x -> Set x Source #
Logical a => Logical (Op a) Source #
Instance details Defined in OAlg.Structure.Oriented.Opposite Methods (\|\|) :: Op a -> Op a -> Op a Source # (&&) :: Op a -> Op a -> Op a Source #
(Ord a, Ord b) => Logical (Graph a (Set b)) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods (\|\|) :: Graph a (Set b) -> Graph a (Set b) -> Graph a (Set b) Source # (&&) :: Graph a (Set b) -> Graph a (Set b) -> Graph a (Set b) Source #
Logical b => Logical (x -> b) Source #
Instance details Defined in OAlg.Data.Logical Methods (\|\|) :: (x -> b) -> (x -> b) -> x -> b Source # (&&) :: (x -> b) -> (x -> b) -> x -> b Source #

class Erasable a where Source #

erasor-operator.

Methods

(//) :: a -> a -> a infixl 4 Source #

difference

Instances details

Erasable Bool Source #
Instance details Defined in OAlg.Data.Logical Methods (//) :: Bool -> Bool -> Bool Source #
Ord x => Erasable (Set x) Source #
Instance details Defined in OAlg.Entity.Sequence.Set Methods (//) :: Set x -> Set x -> Set x Source #
Eq x => Erasable [x] Source #
Instance details Defined in OAlg.Data.Logical Methods (//) :: [x] -> [x] -> [x] Source #
(Ord a, Ord b) => Erasable (Graph a (Set b)) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods (//) :: Graph a (Set b) -> Graph a (Set b) -> Graph a (Set b) Source #