Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Implies from to where
Documentation
class Implies from to where Source #
Certain refinedments imply others. See https://github.com/nikita-volkov/refined/pull/6
Safe Haskell | None |
---|---|
Language | Haskell2010 |
class Implies from to where Source #
Certain refinedments imply others. See https://github.com/nikita-volkov/refined/pull/6