Safe Haskell | None |
---|---|
Language | Haskell2010 |
- displaySplitTypes :: Map Text Type -> Text
- splitTypeByLabel :: Text -> Type -> Map Text Type
- unificationCandidates :: HashMap t Type -> [[t]]
- unifyCandidates :: [[Text]] -> Map Text Type -> Map Text Type
Documentation
displaySplitTypes :: Map Text Type -> Text Source
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.