Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

Layer one Heyting algebra on top of the other. Note: this is not a categorical sum.

## Instances

(Eq a, Eq b) => Eq (Layered a b) Source # | |

(Ord a, Ord b) => Ord (Layered a b) Source # | |

Defined in Algebra.Heyting.Layered | |

(Show a, Show b) => Show (Layered a b) Source # | |

(JoinSemiLattice a, JoinSemiLattice b) => JoinSemiLattice (Layered a b) Source # | |

(MeetSemiLattice a, MeetSemiLattice b) => MeetSemiLattice (Layered a b) Source # | |

(Lattice a, Lattice b) => Lattice (Layered a b) Source # | |

Defined in Algebra.Heyting.Layered | |

(BoundedJoinSemiLattice a, JoinSemiLattice b) => BoundedJoinSemiLattice (Layered a b) Source # | |

Defined in Algebra.Heyting.Layered | |

(MeetSemiLattice a, BoundedMeetSemiLattice b) => BoundedMeetSemiLattice (Layered a b) Source # | |

Defined in Algebra.Heyting.Layered | |

(Lattice a, Lattice b, BoundedJoinSemiLattice a, BoundedMeetSemiLattice b) => BoundedLattice (Layered a b) Source # | |

Defined in Algebra.Heyting.Layered | |

(HeytingAlgebra a, HeytingAlgebra b, Eq a) => HeytingAlgebra (Layered a b) Source # | |