| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Properties.Semilattice
Documentation
d__'8804'__166 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → AgdaAny → AgdaAny → () Source #
d__'8805'__172 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → AgdaAny → AgdaAny → () Source #
d_'8743''45'isOrderTheoreticMeetSemilattice_176 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_IsMeetSemilattice_438 Source #
du_'8743''45'isOrderTheoreticMeetSemilattice_176 ∷ T_Semilattice_402 → T_IsMeetSemilattice_438 Source #
d_'8743''45'isOrderTheoreticJoinSemilattice_178 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_IsJoinSemilattice_68 Source #
du_'8743''45'isOrderTheoreticJoinSemilattice_178 ∷ T_Semilattice_402 → T_IsJoinSemilattice_68 Source #
d_'8743''45'orderTheoreticMeetSemilattice_180 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_MeetSemilattice_540 Source #
d_'8743''45'orderTheoreticJoinSemilattice_182 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_JoinSemilattice_170 Source #
d_isOrderTheoreticMeetSemilattice_184 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_IsMeetSemilattice_438 Source #
d_isOrderTheoreticJoinSemilattice_186 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_IsJoinSemilattice_68 Source #
d_orderTheoreticMeetSemilattice_188 ∷ T_Level_18 → T_Level_18 → T_Semilattice_402 → T_MeetSemilattice_540 Source #