Data.Aeson.AutoType.Split

Formatting type declarations and class instances for inferred types.

Documentation

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.

toposort :: Map Text Type -> [(Text, Type)]

Topological sorting of splitted types so that it is accepted declaration order.