Data.API.NormalForm

Normalised API types

type NormAPI

data NormTypeDecl

type NormRecordType

type NormUnionType

type NormEnumType

Converting to normal form

apiNormalForm

declNF

Dependency analysis

typeDeclsFreeVars

typeDeclFreeVars

typeFreeVars

typeDeclaredInApi

typeUsedInApi

typeUsedInTransitiveDep

transitiveDeps

transitiveReverseDeps

Invariant validation

apiInvariant

declIsValid

typeIsValid

Modifying types

substTypeDecl

substType

renameTypeUses