Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data LogicalRelation a Source #
LVar a | |
Not (LogicalRelation a) | |
(LogicalRelation a) :&&: (LogicalRelation a) infix 7 | |
(LogicalRelation a) :||: (LogicalRelation a) infix 6 |
Functor LogicalRelation Source # | |
Eq a => Eq (LogicalRelation a) Source # | |
Ord a => Ord (LogicalRelation a) Source # | |
Show a => Show (LogicalRelation a) Source # | |