Documentation

d_poset_90 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Poset_282 Source #

du_poset_90 :: T_DistributiveLattice_616 -> T_Poset_282 Source #

d_'8743''45'idem_92 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

du_'8743''45'idem_92 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

d_'8743''45'isBand_94 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsBand_242 Source #

du_'8743''45'isBand_94 :: T_DistributiveLattice_616 -> T_IsBand_242 Source #

d_'8743''45'isMagma_96 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMagma_98 Source #

du_'8743''45'isMagma_96 :: T_DistributiveLattice_616 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_98 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_98 :: T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_100 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_100 :: T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

d_'8743''45'isSemigroup_102 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

du_'8743''45'isSemigroup_102 :: T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

d_'8743''45'isSemilattice_104 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

du_'8743''45'isSemilattice_104 :: T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_106 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_106 :: T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_108 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_108 :: T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

d_'8743''45'semilattice_110 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Semilattice_10 Source #

du_'8743''45'semilattice_110 :: T_DistributiveLattice_616 -> T_Semilattice_10 Source #

d_'8743''45''8744''45'distributiveLattice_112 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_DistributiveLattice_616 Source #

du_'8743''45''8744''45'distributiveLattice_112 :: T_DistributiveLattice_616 -> T_DistributiveLattice_616 Source #

d_'8743''45''8744''45'isDistributiveLattice_114 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsDistributiveLattice_1950 Source #

du_'8743''45''8744''45'isDistributiveLattice_114 :: T_DistributiveLattice_616 -> T_IsDistributiveLattice_1950 Source #

d_'8743''45''8744''45'isLattice_116 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsLattice_1876 Source #

du_'8743''45''8744''45'isLattice_116 :: T_DistributiveLattice_616 -> T_IsLattice_1876 Source #

d_'8743''45''8744''45'lattice_118 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Lattice_532 Source #

du_'8743''45''8744''45'lattice_118 :: T_DistributiveLattice_616 -> T_Lattice_532 Source #

d_'8744''45'idem_120 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

du_'8744''45'idem_120 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

d_'8744''45'isBand_122 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsBand_242 Source #

du_'8744''45'isBand_122 :: T_DistributiveLattice_616 -> T_IsBand_242 Source #

d_'8744''45'isMagma_124 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMagma_98 Source #

du_'8744''45'isMagma_124 :: T_DistributiveLattice_616 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_126 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_126 :: T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_128 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_128 :: T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

d_'8744''45'isSemigroup_130 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

du_'8744''45'isSemigroup_130 :: T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

d_'8744''45'isSemilattice_132 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

du_'8744''45'isSemilattice_132 :: T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_134 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_134 :: T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_136 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_136 :: T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

d_'8744''45'semilattice_138 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Semilattice_10 Source #

du_'8744''45'semilattice_138 :: T_DistributiveLattice_616 -> T_Semilattice_10 Source #

d_'8744''45''8743''45'isOrderTheoreticLattice_140 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsLattice_316 Source #

du_'8744''45''8743''45'isOrderTheoreticLattice_140 :: T_DistributiveLattice_616 -> T_IsLattice_316 Source #

d_'8744''45''8743''45'orderTheoreticLattice_142 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Lattice_362 Source #

du_'8744''45''8743''45'orderTheoreticLattice_142 :: T_DistributiveLattice_616 -> T_Lattice_362 Source #

d_'8744''45''8743''45'distrib'737'_144 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45''8743''45'distrib'737'_144 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45''8743''45'distrib_146 :: T_DistributiveLattice_616 -> T_Σ_14 Source #

d_'8743''45''8744''45'distrib'737'_148 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45''8744''45'distrib'737'_148 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45''8744''45'distrib'691'_150 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45''8744''45'distrib'691'_150 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45''8744''45'distrib_152 :: T_DistributiveLattice_616 -> T_Σ_14 Source #

d_replace'45'equality_160 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Equivalence_16) -> T_DistributiveLattice_616 Source #

du_replace'45'equality_160 :: T_DistributiveLattice_616 -> (AgdaAny -> AgdaAny -> T_Equivalence_16) -> T_DistributiveLattice_616 Source #