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