Safe Haskell | None |
---|---|
Language | Haskell2010 |
API to which SubtypePlugin
s should conform.
- data SubtypePlugin = SubtypePlugin {
- detect :: [Value] -> Maybe SubtypeDesc
- unify :: SubtypeDesc -> SubtypeDesc -> Either SubtypeDesc Type
- data SubtypeDesc = SubtypeDesc {}
Documentation
data SubtypePlugin Source
Operations that SubtypPlugin
must implement.
SubtypePlugin | |
|