| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Properties.Poset
Documentation
d__'8777'__50 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → () Source #
d__'8805'__140 ∷ T_Poset_282 → AgdaAny → AgdaAny → () Source #
d_'8805''45'isPartialOrder_146 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → T_IsPartialOrder_162 Source #
d_antisym_152 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_antisym_152 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_refl_154 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny Source #
du_refl_154 ∷ T_Poset_282 → AgdaAny → AgdaAny Source #
d_reflexive_156 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_reflexive_156 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_trans_158 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_trans_158 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d__'8816'__160 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → () Source #
d_'8816''45'resp'737''45''8776'_166 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → T_'8869'_4) → AgdaAny → T_'8869'_4 Source #
d_'8816''45'resp'691''45''8776'_172 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → T_'8869'_4) → AgdaAny → T_'8869'_4 Source #
d__'60'__178 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → () Source #
d_'60''45'isStrictPartialOrder_180 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → T_IsStrictPartialOrder_266 Source #
d_'60''45'strictPartialOrder_182 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → T_StrictPartialOrder_472 Source #
d_asym_186 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_'8869'_4 Source #
d_irrefl_188 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_'8869'_4 Source #
d_'60''45'resp'691''45''8776'_192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
du_'60''45'resp'691''45''8776'_192 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
d_'60''45'resp'737''45''8776'_194 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
du_'60''45'resp'737''45''8776'_194 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
d_trans_196 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_trans_196 ∷ T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'60''8658''8777'_202 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_'8869'_4 Source #
d_'8804''8743''8777''8658''60'_208 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → T_'8869'_4) → T_Σ_14 Source #
d_'60''8658''8817'_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_'8869'_4 Source #
d_'8804''8658''8815'_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_'8869'_4 Source #
d_mono'8658'cong_224 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_mono'8658'cong_224 ∷ T_Poset_282 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_antimono'8658'cong_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_antimono'8658'cong_228 ∷ T_Poset_282 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_invIsPartialOrder_230 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Poset_282 → T_IsPartialOrder_162 Source #