| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Irrelevant
Documentation
d_Irrelevant_20 ∷ p → p → () Source #
data T_Irrelevant_20 Source #
Constructors
| C_'91'_'93'_28 |
d_map_30 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Irrelevant_20 → T_Irrelevant_20 Source #
d_pure_36 ∷ T_Level_18 → () → AgdaAny → T_Irrelevant_20 Source #
d__'60''42''62'__40 ∷ T_Level_18 → () → T_Level_18 → () → T_Irrelevant_20 → T_Irrelevant_20 → T_Irrelevant_20 Source #
d__'62''62''61'__46 ∷ T_Level_18 → () → T_Level_18 → () → T_Irrelevant_20 → (AgdaAny → T_Irrelevant_20) → T_Irrelevant_20 Source #
d_zipWith_52 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Irrelevant_20 → T_Irrelevant_20 → T_Irrelevant_20 Source #