Language.Symantic.Typing.Document

Type Config_Doc_Type

newtype Config_Doc_Type

Constructors

Config_Doc_Type

Fields

• config_Doc_Type_vars_numbering :: Bool

  Style of type variables:

  • if True: use name and position (as in a0 then a1)
  • if False: use name, and a counter when names collide (as in a then a1)

  NOTE: if the name is empty, a freshName is taken from poolNames.

config_doc_type :: Config_Doc_Type

docType :: forall src vs t d. Semigroup d => Doc_Text d => Doc_Color d => Config_Doc_Type -> Precedence -> Type src vs t -> d

docTypes :: forall src vs ts d. Semigroup d => Doc_Text d => Doc_Color d => Config_Doc_Type -> Types src vs ts -> d

var2Name :: Config_Doc_Type -> (Map IndexVar Name, Names) -> Type src vs t -> (Map IndexVar Name, Names)

Return a Map associating a distinct Name for all the variables of the given Type.

Type Name

type Name = Text

type NameHint = Name

type Names = Set Name

freshifyName :: Names -> Name -> Name

Return given Name renamed a bit to avoid conflicting with any given Names.

freshName :: Names -> Name

poolNames :: [Name]

Infinite list of unique Names: a, b, .., z, a1, b1 .., z1, a2, ..