Safe Haskell | None |
---|---|
Language | Haskell2010 |
Refined.Implies
- 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
validated-types-0.1.1: Type-level constraints on strings and other input
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Refined.Implies
class Implies from to where Source #
Certain refinedments imply others. See https://github.com/nikita-volkov/refined/pull/6