| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.LiftedChoice
Documentation
d_Lift_30 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_Lift_30 :: (AgdaAny -> AgdaAny -> T__'8846'__30) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'9702'__132 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'9702'__132 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_sel'45''8801'_134 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_sel'45''8801'_134 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_distrib_156 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_distrib_156 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'9702'__190 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'9702'__190 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_sel_192 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_sel_192 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_idem_198 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_idem_198 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d__'9702'__216 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'9702'__216 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_cong_218 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_cong_218 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_assoc_310 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_assoc_310 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_comm_320 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_comm_320 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'9702'__360 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'9702'__360 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_isMagma_362 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> T_IsMagma_98 Source #
du_isMagma_362 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> T_IsMagma_98 Source #
d_isSemigroup_366 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemigroup_206 Source #
du_isSemigroup_366 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemigroup_206 Source #
d_isBand_372 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsBand_242 Source #
du_isBand_372 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsBand_242 Source #
d_isSelectiveMagma_376 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> T_IsSelectiveMagma_170 Source #
du_isSelectiveMagma_376 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_IsEquivalence_26 -> T_IsSelectiveMagma_170 Source #
d__'9702'__390 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'9702'__390 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_preserves'7506'_404 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #
du_preserves'7506'_404 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #
d_preserves'691'_486 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_preserves'691'_486 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_preserves'7495'_524 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_preserves'7495'_524 :: T_IsSelectiveMagma_170 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_forces'7495'_566 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSelectiveMagma_170 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 Source #