Language.Symantic.Typing.Document

Type Config_Doc_Type

data 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_imports :: Imports NameTy

config_Doc_Type :: Config_Doc_Type

Document Type

docType :: forall src vs t d. Semigroup d => From (Word Char) d => From (Word Text) d => Spaceable d => Colorable16 d => Config_Doc_Type -> Precedence -> Type src vs t -> 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 Names

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, ..

Document Types

docTypes :: forall src vs ts d. Semigroup d => From (Word Char) d => From (Word Text) d => Spaceable d => Colorable16 d => Config_Doc_Type -> Types src vs ts -> d

Document Const

docConst :: Monoid d => From (Word Char) d => From (Word Text) d => Imports NameTy -> Const src c -> d

Document NameTy

docNameTy :: From (Word Text) d => NameTy -> d

Document Mod

docMod :: Monoid d => From (Word Char) d => From (Word Text) d => (a -> d) -> Mod a -> d

Document PathMod

docPathMod :: Monoid d => From (Word Char) d => From (Word Text) d => PathMod -> d

docParen :: Spaceable d => From (Word Char) d => d -> d