| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial
Documentation
d_A'7522'_24 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → () Source #
d_isIndexedEquivalence_32 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_IsEquivalence_26 → T_IsIndexedEquivalence_22 Source #
d_isIndexedPreorder_60 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → T_IsIndexedPreorder_44 Source #
d_indexedSetoid_100 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → T_Setoid_44 → T_IndexedSetoid_18 Source #