Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Formatting type declarations and class instances for inferred types.
Documentation
splitTypeByLabel :: Text -> Type -> Map Text Type Source #
Splits initial type with a given label, into a mapping of object type names and object type structures.
unificationCandidates :: HashMap t Type -> [[t]] Source #
For a given splitted types, it returns candidates for extra unifications.