# semtypinst

Dark Mode

- Index

Search:
Group by:

# Imports

ast, astalgo, msgs, types, magicsys, semdata, renderer, options, lineinfos

# Types

    LayeredIdTable = ref object
      topLayer*: TIdTable
      nextLayer*: LayeredIdTable

  Source Edit

    TReplTypeVars = object
      c*: PContext
      typeMap*: LayeredIdTable
      symMap*: TIdTable
      localCache*: TIdTable
      info*: TLineInfo
      allowMetaTypes*: bool
      skipTypedesc*: bool
      isReturnType*: bool
      owner*: PSym
      recursionLimit: int

  Source Edit

# Procs

    proc checkConstructedType(conf: ConfigRef; info: TLineInfo; typ: PType) {...}{.
        raises: [Exception, ValueError, IOError, ERecoverableError],
        tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

  Source Edit

    proc searchInstTypes(key: PType): PType {...}{.
        raises: [Exception, ERecoverableError], tags: [RootEffect].}

  Source Edit

    proc cacheTypeInst(inst: PType) {...}{.raises: [], tags: [].}

  Source Edit

    proc initLayeredTypeMap(pt: TIdTable): LayeredIdTable {...}{.raises: [], tags: [].}

  Source Edit

    proc newTypeMapLayer(cl: var TReplTypeVars): LayeredIdTable {...}{.raises: [],
        tags: [].}

  Source Edit

    proc replaceTypeVarsT(cl: var TReplTypeVars; t: PType): PType {...}{.
        raises: [Exception], tags: [RootEffect].}

  Source Edit

    proc replaceTypeVarsN(cl: var TReplTypeVars; n: PNode; start = 0): PNode {...}{.
        raises: [Exception, ValueError, IOError, ERecoverableError],
        tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

  Source Edit

    proc instCopyType(cl: var TReplTypeVars; t: PType): PType {...}{.raises: [], tags: [].}

  Source Edit

    proc eraseVoidParams(t: PType) {...}{.raises: [], tags: [].}

  Source Edit

    proc skipIntLiteralParams(t: PType) {...}{.raises: [], tags: [].}

  Source Edit

    proc instAllTypeBoundOp(c: PContext; info: TLineInfo) {...}{.raises: [Exception],
        tags: [RootEffect].}

  Source Edit

    proc initTypeVars(p: PContext; typeMap: LayeredIdTable; info: TLineInfo;
                      owner: PSym): TReplTypeVars {...}{.raises: [], tags: [].}

  Source Edit

    proc replaceTypesInBody(p: PContext; pt: TIdTable; n: PNode; owner: PSym;
                            allowMetaTypes = false): PNode {...}{.
        raises: [Exception, ValueError, IOError, ERecoverableError],
        tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

  Source Edit

    proc recomputeFieldPositions(t: PType; obj: PNode; currPosition: var int) {...}{.
        raises: [], tags: [].}

  Source Edit

    proc generateTypeInstance(p: PContext; pt: TIdTable; info: TLineInfo; t: PType): PType {...}{.
        raises: [Exception], tags: [RootEffect].}

  Source Edit

    proc prepareMetatypeForSigmatch(p: PContext; pt: TIdTable; info: TLineInfo;
                                    t: PType): PType {...}{.raises: [Exception],
        tags: [RootEffect].}

  Source Edit

# Templates

    template generateTypeInstance(p: PContext; pt: TIdTable; arg: PNode; t: PType): untyped

  Source Edit