Safe Haskell	None

MAlonzo.Code.Algebra.Lattice.Structures.Biased

Documentation

d__DistributesOver'691'__22 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Absorptive_28 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Congruent'8321'_42 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> () Source #

d_RightInverse_92 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_IsBooleanAlgebra_102 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> () Source #

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

d_IsJoinSemilattice_112 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

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

d_IsMeetSemilattice_116 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_isPartialEquivalence_334 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_334 :: T_IsDistributiveLattice_1950 -> T_IsPartialEquivalence_16 Source #

d_reflexive_338 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_338 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_'8743''45'absorbs'45''8744'_344 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'absorbs'45''8744'_344 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'691'_352 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'691'_352 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'737'_354 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'737'_354 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'691''45''8744'_358 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'691''45''8744'_358 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'737''45''8744'_360 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'737''45''8744'_360 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'absorbs'45''8743'_362 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'absorbs'45''8743'_362 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'691'_370 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'691'_370 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'737'_372 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'737'_372 :: T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'distrib'691''45''8743'_376 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'distrib'691''45''8743'_376 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'distrib'737''45''8743'_378 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'distrib'737''45''8743'_378 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice_1950 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isPartialEquivalence_394 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_394 :: T_IsSemilattice_1576 -> T_IsPartialEquivalence_16 Source #

d_reflexive_400 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_400 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_402 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> T_Setoid_44 Source #

du_setoid_402 :: T_IsSemilattice_1576 -> T_Setoid_44 Source #

d_'8729''45'cong'691'_410 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'691'_410 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'737'_412 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'737'_412 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isPartialEquivalence_420 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_420 :: T_IsLattice_1876 -> T_IsPartialEquivalence_16 Source #

d_reflexive_424 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_424 :: T_IsLattice_1876 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_'8743''45'absorbs'45''8744'_430 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'absorbs'45''8744'_430 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'691'_438 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'691'_438 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'737'_440 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'737'_440 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'absorbs'45''8743'_442 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'absorbs'45''8743'_442 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'691'_450 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'691'_450 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'737'_452 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'737'_452 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice_1876 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isPartialEquivalence_468 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_468 :: T_IsSemilattice_1576 -> T_IsPartialEquivalence_16 Source #

d_reflexive_474 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_474 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_476 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> T_Setoid_44 Source #

du_setoid_476 :: T_IsSemilattice_1576 -> T_Setoid_44 Source #

d_'8729''45'cong'691'_484 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'691'_484 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'737'_486 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'737'_486 :: T_IsSemilattice_1576 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_IsLattice'8322'_536 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #

data T_IsLattice'8322'_536 Source #

Constructors

C_IsLattice'8322''46'constructor_3577 T_IsSemilattice_1576 T_IsSemilattice_1576 T_Σ_14

d_isJoinSemilattice_548 :: T_IsLattice'8322'_536 -> T_IsSemilattice_1576 Source #

d_isMeetSemilattice_550 :: T_IsLattice'8322'_536 -> T_IsSemilattice_1576 Source #

d_absorptive_552 :: T_IsLattice'8322'_536 -> T_Σ_14 Source #

d_assoc_556 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm_558 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_idem_560 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny Source #

d_isBand_562 :: T_IsLattice'8322'_536 -> T_IsBand_242 Source #

d_isEquivalence_564 :: T_IsLattice'8322'_536 -> T_IsEquivalence_26 Source #

d_isMagma_566 :: T_IsLattice'8322'_536 -> T_IsMagma_98 Source #

d_isPartialEquivalence_568 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_568 :: T_IsLattice'8322'_536 -> T_IsPartialEquivalence_16 Source #

d_isSemigroup_570 :: T_IsLattice'8322'_536 -> T_IsSemigroup_206 Source #

d_refl_572 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny Source #

d_reflexive_574 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_574 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_576 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> T_Setoid_44 Source #

du_setoid_576 :: T_IsLattice'8322'_536 -> T_Setoid_44 Source #

d_sym_578 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_580 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong_582 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'691'_584 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'691'_584 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'737'_586 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'737'_586 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_assoc_590 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm_592 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_idem_594 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny Source #

d_isBand_596 :: T_IsLattice'8322'_536 -> T_IsBand_242 Source #

d_isEquivalence_598 :: T_IsLattice'8322'_536 -> T_IsEquivalence_26 Source #

d_isMagma_600 :: T_IsLattice'8322'_536 -> T_IsMagma_98 Source #

d_isPartialEquivalence_602 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_602 :: T_IsLattice'8322'_536 -> T_IsPartialEquivalence_16 Source #

d_isSemigroup_604 :: T_IsLattice'8322'_536 -> T_IsSemigroup_206 Source #

d_refl_606 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny Source #

d_reflexive_608 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_608 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_610 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> T_Setoid_44 Source #

du_setoid_610 :: T_IsLattice'8322'_536 -> T_Setoid_44 Source #

d_sym_612 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_614 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong_616 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'691'_618 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'691'_618 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8729''45'cong'737'_620 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8729''45'cong'737'_620 :: T_IsLattice'8322'_536 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isLattice'8322'_622 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsLattice'8322'_536 -> T_IsLattice_1876 Source #

du_isLattice'8322'_622 :: T_IsLattice'8322'_536 -> T_IsLattice_1876 Source #

d_IsDistributiveLattice'691''690''7504'_628 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #

data T_IsDistributiveLattice'691''690''7504'_628 Source #

Constructors

C_IsDistributiveLattice'691''690''7504''46'constructor_6357 T_IsLattice_1876 (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)

d_isLattice_638 :: T_IsDistributiveLattice'691''690''7504'_628 -> T_IsLattice_1876 Source #

d_'8744''45'distrib'691''45''8743'_640 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_absorptive_644 :: T_IsDistributiveLattice'691''690''7504'_628 -> T_Σ_14 Source #

d_isEquivalence_646 :: T_IsDistributiveLattice'691''690''7504'_628 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_648 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_648 :: T_IsDistributiveLattice'691''690''7504'_628 -> T_IsPartialEquivalence_16 Source #

d_refl_650 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny Source #

d_reflexive_652 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_652 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_654 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_656 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'absorbs'45''8744'_658 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'absorbs'45''8744'_658 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'assoc_660 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'comm_662 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong_664 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'691'_666 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'691'_666 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'737'_668 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'737'_668 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'absorbs'45''8743'_670 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'absorbs'45''8743'_670 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'assoc_672 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'comm_674 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong_676 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'691'_678 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'691'_678 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'737'_680 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'737'_680 :: T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_setoid_682 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_Setoid_44 Source #

du_setoid_682 :: T_IsDistributiveLattice'691''690''7504'_628 -> T_Setoid_44 Source #

d_'8744''45'distrib'45''8743'_684 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_Σ_14 Source #

du_'8744''45'distrib'45''8743'_684 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_Σ_14 Source #

d_'8743''45'distrib'737''45''8744'_686 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'737''45''8744'_686 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'45''8744'_688 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_Σ_14 Source #

du_'8743''45'distrib'45''8744'_688 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_Σ_14 Source #

d_isDistributiveLattice'691''690''7504'_690 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_IsDistributiveLattice_1950 Source #

du_isDistributiveLattice'691''690''7504'_690 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsDistributiveLattice'691''690''7504'_628 -> T_IsDistributiveLattice_1950 Source #

d_IsBooleanAlgebra'691'_702 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> () Source #

data T_IsBooleanAlgebra'691'_702 Source #

Constructors

C_IsBooleanAlgebra'691''46'constructor_9655 T_IsDistributiveLattice_1950 (AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)

d_isDistributiveLattice_722 :: T_IsBooleanAlgebra'691'_702 -> T_IsDistributiveLattice_1950 Source #

d_'8744''45'complement'691'_724 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny Source #

d_'8743''45'complement'691'_726 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny Source #

d_'172''45'cong_728 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_absorptive_732 :: T_IsBooleanAlgebra'691'_702 -> T_Σ_14 Source #

d_isEquivalence_734 :: T_IsBooleanAlgebra'691'_702 -> T_IsEquivalence_26 Source #

d_isLattice_736 :: T_IsBooleanAlgebra'691'_702 -> T_IsLattice_1876 Source #

d_isPartialEquivalence_738 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_738 :: T_IsBooleanAlgebra'691'_702 -> T_IsPartialEquivalence_16 Source #

d_refl_740 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny Source #

d_reflexive_742 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_742 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_744 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_746 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'absorbs'45''8744'_748 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'absorbs'45''8744'_748 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'assoc_750 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'comm_752 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong_754 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'691'_756 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'691'_756 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'cong'737'_758 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'cong'737'_758 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'45''8744'_760 :: T_IsBooleanAlgebra'691'_702 -> T_Σ_14 Source #

d_'8743''45'distrib'691''45''8744'_762 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'691''45''8744'_762 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'737''45''8744'_764 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'737''45''8744'_764 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'absorbs'45''8743'_766 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'absorbs'45''8743'_766 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'assoc_768 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'comm_770 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong_772 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'691'_774 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'691'_774 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'cong'737'_776 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'cong'737'_776 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'distrib'45''8743'_778 :: T_IsBooleanAlgebra'691'_702 -> T_Σ_14 Source #

d_'8744''45'distrib'691''45''8743'_780 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'distrib'691''45''8743'_780 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45'distrib'737''45''8743'_782 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45'distrib'737''45''8743'_782 :: T_IsBooleanAlgebra'691'_702 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_setoid_784 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> T_Setoid_44 Source #

du_setoid_784 :: T_IsBooleanAlgebra'691'_702 -> T_Setoid_44 Source #

d_isBooleanAlgebra'691'_786 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> T_IsBooleanAlgebra_2026 Source #

du_isBooleanAlgebra'691'_786 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_IsBooleanAlgebra'691'_702 -> T_IsBooleanAlgebra_2026 Source #