heyting-algebras-0.2.0.1: Heyting and Boolean algebras

Index

:/\:Algebra.Heyting.Free
:=>:Algebra.Heyting.Free
:\/:Algebra.Heyting.Free
<+>Algebra.Heyting.BoolRing
<.>Algebra.Heyting.BoolRing
<=>Algebra.Heyting
===Algebra.Heyting.CounterExample
==>Algebra.Boolean, Algebra.Heyting
annotateAlgebra.Heyting.CounterExample
BALVHeytingAlgebraLawViolationAlgebra.Boolean.Properties
BALVNotLawViolationAlgebra.Boolean.Properties
BJSLVJoinOrderViolationAlgebra.Heyting.Properties
BJSLVNonAssociativeAlgebra.Heyting.Properties
BJSLVNonCommutativeAlgebra.Heyting.Properties
BJSLVNonIdempotentAlgebra.Heyting.Properties
BJSLVNonUnitalAlgebra.Heyting.Properties
BMSLVMeetOrderViolationAlgebra.Heyting.Properties
BMSLVNonAssociativeAlgebra.Heyting.Properties
BMSLVNonCommutativeAlgebra.Heyting.Properties
BMSLVNonIdempotentAlgebra.Heyting.Properties
BMSLVNonUnitalAlgebra.Heyting.Properties
BooleanAlgebra.Boolean
booleanAlgebra.Boolean
BooleanAlgebraAlgebra.Boolean
BooleanAlgebraLawViolationAlgebra.Boolean.Properties
BoolRing 
1 (Type/Class)Algebra.Heyting.BoolRing
2 (Data Constructor)Algebra.Heyting.BoolRing
BottomAlgebra.Heyting.Free
BoundedJoinSemiLatticeLawViolationAlgebra.Heyting.Properties
BoundedMeetSemiLatticeLawViolationAlgebra.Heyting.Properties
CounterExampleAlgebra.Heyting.CounterExample
counterExampleAlgebra.Heyting.CounterExample
DistributiveLatticeLawViolationAlgebra.Heyting.Properties
DLLVJoinOverMeetViolationAlgebra.Heyting.Properties
DLLVMeetOverJoinViolationAlgebra.Heyting.Properties
fmapCounterExampleAlgebra.Heyting.CounterExample
foldMapCounterExampleAlgebra.Heyting.CounterExample
FreeAlgebra.Heyting.Free
FreeBoolean 
1 (Type/Class)Algebra.Boolean.Free
2 (Data Constructor)Algebra.Boolean.Free
fromBoolAlgebra.Heyting.CounterExample
fromCounterExampleAlgebra.Heyting.CounterExample
fromCounterExample'Algebra.Heyting.CounterExample
getBoolRingAlgebra.Heyting.BoolRing
HAVBoundedJoinSemilatticeLawViolationAlgebra.Heyting.Properties
HAVBoundedMeetSemilatticeLawViolationAlgebra.Heyting.Properties
HAVDistributiveLatticeLawViolationAlgebra.Heyting.Properties
HAVImplication1Algebra.Heyting.Properties
HAVImplication2Algebra.Heyting.Properties
HAVImplicationAndOrdAlgebra.Heyting.Properties
HAVNotAlgebra.Heyting.Properties
HAVNotAndJoinAlgebra.Heyting.Properties
HAVNotAndMeetAlgebra.Heyting.Properties
HeytingAlgebra.Heyting
HeytingAlgebraLawViolationAlgebra.Heyting.Properties
layerAlgebra.Heyting.Layered
LayeredAlgebra.Heyting.Layered
liftFreeAlgebra.Heyting.Free
LowerAlgebra.Heyting.Layered
lowerFreeAlgebra.Heyting.Free
negAlgebra.Boolean, Algebra.Heyting
oneAlgebra.Heyting.BoolRing
prop_BooleanAlgebraAlgebra.Boolean.Properties
prop_BoundedJoinSemiLatticeAlgebra.Heyting.Properties
prop_BoundedMeetSemiLatticeAlgebra.Heyting.Properties
prop_DistributiveLatticeAlgebra.Heyting.Properties
prop_HeytingAlgebraAlgebra.Heyting.Properties
prop_impliesAlgebra.Heyting.Properties
prop_negAlgebra.Boolean.Properties
prop_notAlgebra.Boolean.Properties
retractFreeAlgebra.Heyting.Free
runBooleanAlgebraAlgebra.Boolean
runFreeBooleanAlgebra.Boolean.Free
SemiringAlgebra.Heyting.BoolRing
substFreeAlgebra.Heyting.Free
toBoolAlgebra.Heyting.CounterExample
toExprAlgebra.Heyting.Free
TopAlgebra.Heyting.Free
UpperAlgebra.Heyting.Layered
VarAlgebra.Heyting.Free
withArgsAlgebra.Heyting.Properties