Domain.Logic.Utils

Utilities for the logic domain

Documentation

propositionalId :: Id

makeSimpleRule :: String -> (a -> Maybe a) -> Rule a

makeListRule :: String -> (a -> [a]) -> Rule a

groupAbsorption :: Id

groupAssociativity :: Id

groupCommutativity :: Id

groupDeMorgan :: Id

groupDistribution :: Id

groupIdempotency :: Id

groupDoubleNegation :: Id

groupEquivalence :: Id

groupFalseComplement :: Id

groupFalseConjunction :: Id

groupFalseDisjunction :: Id

groupNotTrue :: Id

groupImplication :: Id

groupTrueComplement :: Id

groupTrueConjunction :: Id

groupTrueDisjunction :: Id

groupNotFalse :: Id

makeInvRule :: IsId n => (a -> a -> Bool) -> n -> Rule a -> Rule a

makeInvRuleWithUse :: (IsTerm a, IsTerm b, IsId n, Show a) => (Context a -> Context a -> Bool) -> n -> Rule b -> Rule (Context a)

collect :: View a (a, a) -> Isomorphism a [a]

andView :: View (Logic a) (Logic a, Logic a)

orView :: View (Logic a) (Logic a, Logic a)

eqView :: View (Logic a) (Logic a, Logic a)

somewhereOr :: IsStrategy g => g (Context SLogic) -> Strategy (Context SLogic)

somewhereAnd :: IsStrategy g => g (Context SLogic) -> Strategy (Context SLogic)

(===) :: Eq a => Logic a -> Logic a -> Bool infix 6

(==>) :: Eq a => Logic a -> Logic a -> Bool infix 6

(<=>) :: Eq a => Logic a -> Logic a -> Bool infix 6