Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data SubtypePlugin = SubtypePlugin {
- detect :: [Value] -> Maybe SubtypeDesc
- unify :: SubtypeDesc -> SubtypeDesc -> Either SubtypeDesc Type
- data SubtypeDesc = SubtypeDesc {}
Documentation
data SubtypePlugin Source
SubtypePlugin | |
|