ideas-math-types-1.1: Common types for mathematical domain reasoners

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell2010

Domain.Logic.Views

Description

 

Documentation

(.<->.) :: Logic a -> Logic a -> Logic a infixr 2 Source #

(.->.) :: Logic a -> Logic a -> Logic a infixr 3 Source #

(.&&.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 5 Source #

(.||.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 4 Source #

simplify :: Logic a -> Logic a Source #

pushNot :: Logic a -> Logic a Source #

pushNotWith :: (a -> Logic a) -> Logic a -> Logic a Source #

orView :: View (Logic a) [a] Source #

andView :: View (Logic a) [a] Source #