Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_Irrelevant_8 ∷ T_Level_18 → () → () Source #
d_WeaklyDecidable_16 ∷ T_Level_18 → () → () Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
d_Irrelevant_8 ∷ T_Level_18 → () → () Source #
d_WeaklyDecidable_16 ∷ T_Level_18 → () → () Source #