| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Aeson.AutoType.Format
Description
Formatting type declarations and class instances for inferred types.
- 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
Display an environment of types split by name.
splitTypeByLabel :: Text -> Type -> Map Text Type
Splits initial type with a given label, into a mapping of object type names and object type structures.
unificationCandidates :: HashMap t Type -> [[t]]
For a given splitted types, it returns candidates for extra unifications.
unifyCandidates :: [[Text]] -> Map Text Type -> Map Text Type
Unifies candidates on a give input list.