| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinMaxOp
Documentation
d__'8851'__78 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'8851'__78 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_IsDistributiveLattice_102 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #
d_IsLattice_106 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #
d_'8851''45'isSemilattice_748 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSemilattice_1576 Source #
du_'8851''45'isSemilattice_748 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemilattice_1576 Source #
d_'8851''45'semilattice_750 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Semilattice_10 Source #
du_'8851''45'semilattice_750 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_Semilattice_10 Source #
d_'8851''45'isSemilattice_754 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSemilattice_1576 Source #
du_'8851''45'isSemilattice_754 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemilattice_1576 Source #
d_'8851''45'semilattice_756 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Semilattice_10 Source #
du_'8851''45'semilattice_756 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Semilattice_10 Source #
d_'8852''45''8851''45'isLattice_758 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsLattice_1876 Source #
du_'8852''45''8851''45'isLattice_758 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsLattice_1876 Source #
d_'8851''45''8852''45'isLattice_760 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsLattice_1876 Source #
du_'8851''45''8852''45'isLattice_760 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsLattice_1876 Source #
d_'8851''45''8852''45'isDistributiveLattice_762 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsDistributiveLattice_1950 Source #
du_'8851''45''8852''45'isDistributiveLattice_762 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsDistributiveLattice_1950 Source #
d_'8852''45''8851''45'isDistributiveLattice_764 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsDistributiveLattice_1950 Source #
du_'8852''45''8851''45'isDistributiveLattice_764 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsDistributiveLattice_1950 Source #
d_'8852''45''8851''45'lattice_766 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Lattice_532 Source #
du_'8852''45''8851''45'lattice_766 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Lattice_532 Source #
d_'8851''45''8852''45'lattice_768 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Lattice_532 Source #
du_'8851''45''8852''45'lattice_768 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Lattice_532 Source #
d_'8852''45''8851''45'distributiveLattice_770 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_DistributiveLattice_616 Source #
du_'8852''45''8851''45'distributiveLattice_770 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_DistributiveLattice_616 Source #