| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Reflects
Documentation
d_of_12 ∷ T_Level_18 → () → Bool → AgdaAny → T_Reflects_14 Source #
d_invert_20 ∷ T_Level_18 → () → Bool → T_Reflects_14 → AgdaAny Source #
d_fromEquivalence_28 ∷ T_Level_18 → () → Bool → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Reflects_14 Source #
du_fromEquivalence_28 ∷ Bool → (AgdaAny → AgdaAny) → T_Reflects_14 Source #
d_det_42 ∷ T_Level_18 → () → Bool → Bool → T_Reflects_14 → T_Reflects_14 → T__'8801'__12 Source #