Documentation

d__Absorbs__8 :: (Bool -> Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d__DistributesOver__10 :: (Bool -> Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d__DistributesOver'691'__12 :: (Bool -> Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d__DistributesOver'737'__14 :: (Bool -> Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d_Absorptive_18 :: (Bool -> Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d_Associative_26 :: (Bool -> Bool -> Bool) -> () Source #

d_Commutative_30 :: (Bool -> Bool -> Bool) -> () Source #

d_Idempotent_38 :: (Bool -> Bool -> Bool) -> () Source #

d_Identity_42 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_Inverse_46 :: Bool -> (Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d_Involutive_48 :: (Bool -> Bool) -> () Source #

d_LeftIdentity_62 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_LeftInverse_64 :: Bool -> (Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d_LeftZero_66 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_RightIdentity_80 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_RightInverse_82 :: Bool -> (Bool -> Bool) -> (Bool -> Bool -> Bool) -> () Source #

d_RightZero_84 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_Selective_86 :: (Bool -> Bool -> Bool) -> () Source #

d_Zero_88 :: Bool -> (Bool -> Bool -> Bool) -> () Source #

d_IsBand_94 :: p -> () Source #

d_IsCommutativeMonoid_100 :: p1 -> p2 -> () Source #

d_IsCommutativeSemiring_106 :: p1 -> p2 -> p3 -> p4 -> () Source #

d_IsIdempotentCommutativeMonoid_112 :: p1 -> p2 -> () Source #

d_IsMagma_120 :: p -> () Source #

d_IsMonoid_122 :: p1 -> p2 -> () Source #

d_IsSemigroup_134 :: p -> () Source #

d_IsSemiring_136 :: p1 -> p2 -> p3 -> p4 -> () Source #

d_IsBooleanAlgebra_1568 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_IsDistributiveLattice_1576 :: p1 -> p2 -> () Source #

d_IsLattice_1580 :: p1 -> p2 -> () Source #

d_IsSemilattice_1584 :: p -> () Source #

d__'8799'__1996 :: Bool -> Bool -> T_Dec_32 Source #

d_'8801''45'setoid_1998 :: T_Setoid_44 Source #

d_'8801''45'decSetoid_2000 :: T_DecSetoid_84 Source #

d_'8804''45'reflexive_2002 :: Bool -> Bool -> T__'8801'__12 -> T__'8804'__10 Source #

du_'8804''45'reflexive_2002 :: T__'8804'__10 Source #

d_'8804''45'refl_2004 :: Bool -> T__'8804'__10 Source #

du_'8804''45'refl_2004 :: T__'8804'__10 Source #

d_'8804''45'trans_2006 :: Bool -> Bool -> Bool -> T__'8804'__10 -> T__'8804'__10 -> T__'8804'__10 Source #

du_'8804''45'trans_2006 :: T__'8804'__10 -> T__'8804'__10 -> T__'8804'__10 Source #

d_'8804''45'antisym_2010 :: Bool -> Bool -> T__'8804'__10 -> T__'8804'__10 -> T__'8801'__12 Source #

d_'8804''45'minimum_2012 :: Bool -> T__'8804'__10 Source #

d_'8804''45'maximum_2014 :: Bool -> T__'8804'__10 Source #

d_'8804''45'total_2016 :: Bool -> Bool -> T__'8846'__30 Source #

d__'8804''63'__2022 :: Bool -> Bool -> T_Dec_32 Source #

d_'8804''45'irrelevant_2026 :: Bool -> Bool -> T__'8804'__10 -> T__'8804'__10 -> T__'8801'__12 Source #

d_'8804''45'isPreorder_2028 :: T_IsPreorder_70 Source #

d_'8804''45'isPartialOrder_2030 :: T_IsPartialOrder_162 Source #

d_'8804''45'isTotalOrder_2032 :: T_IsTotalOrder_380 Source #

d_'8804''45'isDecTotalOrder_2034 :: T_IsDecTotalOrder_430 Source #

d_'8804''45'poset_2036 :: T_Poset_282 Source #

d_'8804''45'preorder_2038 :: T_Preorder_132 Source #

d_'8804''45'totalOrder_2040 :: T_TotalOrder_648 Source #

d_'8804''45'decTotalOrder_2042 :: T_DecTotalOrder_736 Source #

d_'60''45'irrefl_2044 :: Bool -> Bool -> T__'8801'__12 -> T__'60'__18 -> T_'8869'_4 Source #

d_'60''45'asym_2046 :: Bool -> Bool -> T__'60'__18 -> T__'60'__18 -> T_'8869'_4 Source #

d_'60''45'trans_2048 :: Bool -> Bool -> Bool -> T__'60'__18 -> T__'60'__18 -> T__'60'__18 Source #

d_'60''45'trans'691'_2050 :: Bool -> Bool -> Bool -> T__'8804'__10 -> T__'60'__18 -> T__'60'__18 Source #

d_'60''45'trans'737'_2052 :: Bool -> Bool -> Bool -> T__'60'__18 -> T__'8804'__10 -> T__'60'__18 Source #

d_'60''45'cmp_2054 :: Bool -> Bool -> T_Tri_136 Source #

d__'60''63'__2056 :: Bool -> Bool -> T_Dec_32 Source #

d_'60''45'resp'8322''45''8801'_2058 :: T_Σ_14 Source #

d_'60''45'irrelevant_2064 :: Bool -> Bool -> T__'60'__18 -> T__'60'__18 -> T__'8801'__12 Source #

d_'60''45'isStrictPartialOrder_2066 :: T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder_2068 :: T_IsStrictTotalOrder_498 Source #

d_'60''45'strictPartialOrder_2070 :: T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder_2072 :: T_StrictTotalOrder_860 Source #

d_'8744''45'assoc_2074 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45'comm_2084 :: Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45'identity'737'_2086 :: Bool -> T__'8801'__12 Source #

d_'8744''45'identity'691'_2088 :: Bool -> T__'8801'__12 Source #

d_'8744''45'identity_2090 :: T_Σ_14 Source #

d_'8744''45'zero'737'_2092 :: Bool -> T__'8801'__12 Source #

d_'8744''45'zero'691'_2094 :: Bool -> T__'8801'__12 Source #

d_'8744''45'zero_2096 :: T_Σ_14 Source #

d_'8744''45'inverse'737'_2098 :: Bool -> T__'8801'__12 Source #

d_'8744''45'inverse'691'_2100 :: Bool -> T__'8801'__12 Source #

d_'8744''45'inverse_2104 :: T_Σ_14 Source #

d_'8744''45'idem_2106 :: Bool -> T__'8801'__12 Source #

d_'8744''45'sel_2108 :: Bool -> Bool -> T__'8846'__30 Source #

du_'8744''45'sel_2108 :: Bool -> T__'8846'__30 Source #

d_'8744''45'isMagma_2114 :: T_IsMagma_98 Source #

d_'8744''45'magma_2116 :: T_Magma_36 Source #

d_'8744''45'isSemigroup_2118 :: T_IsSemigroup_206 Source #

d_'8744''45'semigroup_2120 :: T_Semigroup_206 Source #

d_'8744''45'isBand_2122 :: T_IsBand_242 Source #

d_'8744''45'band_2124 :: T_Band_266 Source #

d_'8744''45'isSemilattice_2126 :: T_IsSemilattice_1576 Source #

d_'8744''45'semilattice_2128 :: T_Semilattice_10 Source #

d_'8744''45'isMonoid_2130 :: T_IsMonoid_370 Source #

d_'8744''45'isCommutativeMonoid_2132 :: T_IsCommutativeMonoid_420 Source #

d_'8744''45'commutativeMonoid_2134 :: T_CommutativeMonoid_582 Source #

d_'8744''45'isIdempotentCommutativeMonoid_2136 :: T_IsIdempotentCommutativeMonoid_480 Source #

d_'8744''45'idempotentCommutativeMonoid_2138 :: T_IdempotentCommutativeMonoid_678 Source #

d_'8743''45'assoc_2140 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8743''45'comm_2150 :: Bool -> Bool -> T__'8801'__12 Source #

d_'8743''45'identity'737'_2152 :: Bool -> T__'8801'__12 Source #

d_'8743''45'identity'691'_2154 :: Bool -> T__'8801'__12 Source #

d_'8743''45'identity_2156 :: T_Σ_14 Source #

d_'8743''45'zero'737'_2158 :: Bool -> T__'8801'__12 Source #

d_'8743''45'zero'691'_2160 :: Bool -> T__'8801'__12 Source #

d_'8743''45'zero_2162 :: T_Σ_14 Source #

d_'8743''45'inverse'737'_2164 :: Bool -> T__'8801'__12 Source #

d_'8743''45'inverse'691'_2166 :: Bool -> T__'8801'__12 Source #

d_'8743''45'inverse_2170 :: T_Σ_14 Source #

d_'8743''45'idem_2172 :: Bool -> T__'8801'__12 Source #

d_'8743''45'sel_2174 :: Bool -> Bool -> T__'8846'__30 Source #

du_'8743''45'sel_2174 :: Bool -> T__'8846'__30 Source #

d_'8743''45'distrib'737''45''8744'_2180 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8743''45'distrib'691''45''8744'_2190 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8743''45'distrib'45''8744'_2198 :: T_Σ_14 Source #

d_'8744''45'distrib'737''45''8743'_2200 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45'distrib'691''45''8743'_2210 :: Bool -> Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45'distrib'45''8743'_2218 :: T_Σ_14 Source #

d_'8743''45'abs'45''8744'_2220 :: Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45'abs'45''8743'_2226 :: Bool -> Bool -> T__'8801'__12 Source #

d_'8744''45''8743''45'absorptive_2232 :: T_Σ_14 Source #

d_'8743''45'isMagma_2234 :: T_IsMagma_98 Source #

d_'8743''45'magma_2236 :: T_Magma_36 Source #

d_'8743''45'isSemigroup_2238 :: T_IsSemigroup_206 Source #

d_'8743''45'semigroup_2240 :: T_Semigroup_206 Source #

d_'8743''45'isBand_2242 :: T_IsBand_242 Source #

d_'8743''45'band_2244 :: T_Band_266 Source #

d_'8743''45'isSemilattice_2246 :: T_IsSemilattice_1576 Source #

d_'8743''45'semilattice_2248 :: T_Semilattice_10 Source #

d_'8743''45'isMonoid_2250 :: T_IsMonoid_370 Source #

d_'8743''45'isCommutativeMonoid_2252 :: T_IsCommutativeMonoid_420 Source #

d_'8743''45'commutativeMonoid_2254 :: T_CommutativeMonoid_582 Source #

d_'8743''45'isIdempotentCommutativeMonoid_2256 :: T_IsIdempotentCommutativeMonoid_480 Source #

d_'8743''45'idempotentCommutativeMonoid_2258 :: T_IdempotentCommutativeMonoid_678 Source #

d_'8744''45''8743''45'isSemiring_2260 :: T_IsSemiring_1136 Source #

d_'8744''45''8743''45'isCommutativeSemiring_2262 :: T_IsCommutativeSemiring_1244 Source #

d_'8744''45''8743''45'commutativeSemiring_2264 :: T_CommutativeSemiring_2036 Source #

d_'8743''45''8744''45'isSemiring_2266 :: T_IsSemiring_1136 Source #

d_'8743''45''8744''45'isCommutativeSemiring_2268 :: T_IsCommutativeSemiring_1244 Source #

d_'8743''45''8744''45'commutativeSemiring_2270 :: T_CommutativeSemiring_2036 Source #

d_'8744''45''8743''45'isLattice_2272 :: T_IsLattice_1876 Source #

d_'8744''45''8743''45'lattice_2274 :: T_Lattice_532 Source #

d_'8744''45''8743''45'isDistributiveLattice_2276 :: T_IsDistributiveLattice_1950 Source #

d_'8744''45''8743''45'distributiveLattice_2278 :: T_DistributiveLattice_616 Source #

d_'8744''45''8743''45'isBooleanAlgebra_2280 :: T_IsBooleanAlgebra_2026 Source #

d_'8744''45''8743''45'booleanAlgebra_2282 :: T_BooleanAlgebra_714 Source #

d_xor'45'is'45'ok_2288 :: Bool -> Bool -> T__'8801'__12 Source #

d_xor'45''8743''45'commutativeRing_2294 :: T_CommutativeRing_2814 Source #

d_not'45'involutive_2594 :: Bool -> T__'8801'__12 Source #

d_not'45'injective_2600 :: Bool -> Bool -> T__'8801'__12 -> T__'8801'__12 Source #

d_not'45''172'_2610 :: Bool -> Bool -> T__'8801'__12 -> T__'8801'__12 -> T_'8869'_4 Source #

d_'172''45'not_2616 :: Bool -> Bool -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 Source #

d_'8660''8594''8801'_2628 :: Bool -> Bool -> Bool -> T_Equivalence_16 -> T__'8801'__12 Source #

d_T'45''8801'_2644 :: Bool -> T_Equivalence_16 Source #

d_T'45'not'45''8801'_2648 :: Bool -> T_Equivalence_16 Source #

d_T'45''8743'_2654 :: Bool -> Bool -> T_Equivalence_16 Source #

d_T'45''8744'_2660 :: Bool -> Bool -> T_Equivalence_16 Source #

d_T'45'irrelevant_2662 :: Bool -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #

d_T'63'_2664 :: Bool -> T_Dec_32 Source #

d_T'63''45'diag_2670 :: Bool -> AgdaAny -> AgdaAny Source #

du_T'63''45'diag_2670 :: Bool -> AgdaAny Source #

d_push'45'function'45'into'45'if_2680 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> Bool -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #

d_T'45'irrelevance_2682 :: Bool -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #