qlogic-0.9: A Haskell Library for Propositional Logic.
Qlogic.Semiring
class RingConst a where
Methods
czero :: a
cone :: a
ringvar :: PropAtom b => b -> a
restrictvar :: PropAtom b => b -> a
class Semiring a where
plus :: a -> a -> a
prod :: a -> a -> a
zero :: a
one :: a
bigPlus :: [a] -> a
bigProd :: [a] -> a
Instances
class Boolean b => AbstrEq a b where
(.==.) :: a -> a -> b
(./=.) :: a -> a -> b
class AbstrEq a b => AbstrOrd a b where
(.<.) :: a -> a -> b
(.>=.) :: a -> a -> b
(.>.) :: a -> a -> b
(.<=.) :: a -> a -> b
(.<<=.) :: a -> a -> b
(.>>=.) :: a -> a -> b
class (AbstrOrd a b, Semiring a) => AbstrOrdSemiring a b