# semtypinst

Theme:

- Index

Search:
Group by:
Source Edit

# Imports

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

# Types

    TReplTypeVars = object
      c*: PContext
      typeMap*: LayeredIdTable
      symMap*: SymMapping
      localCache*: TypeMapping
      info*: TLineInfo
      allowMetaTypes*: bool
      skipTypedesc*: bool
      isReturnType*: bool
      owner*: PSym

  Source Edit

# Procs

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

  Source Edit

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

  Source Edit

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

  Source Edit

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

  Source Edit

    proc instCopyType(cl: var TReplTypeVars; t: PType): PType {.
        ...raises: [KeyError, ValueError, OSError, Exception],
        tags: [ReadDirEffect, RootEffect], forbids: [].}

  Source Edit

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

  Source Edit

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

  Source Edit

    proc prepareNode(cl: var TReplTypeVars; n: PNode): PNode {.
        ...raises: [Exception, KeyError], tags: [RootEffect], forbids: [].}

  instantiates a given generic expression, not a type node Source Edit

    proc prepareTypesInBody(p: PContext; pt: LayeredIdTable; n: PNode;
                            owner: PSym = nil): PNode {.
        ...raises: [Exception, KeyError], tags: [RootEffect], forbids: [].}

  Source Edit

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

  Source Edit

    proc replaceTypesInBody(p: PContext; pt: LayeredIdTable; n: PNode; owner: PSym;
                            allowMetaTypes = false; fromStaticExpr = false;
                            expectedType: PType = nil): PNode {....raises: [KeyError,
        Exception, ValueError, OSError, IOError, ERecoverableError], tags: [
        RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
        forbids: [].}

  Source Edit

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

  Source Edit

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

  Source Edit

    proc searchInstTypes(g: ModuleGraph; key: PType): PType {.
        ...raises: [KeyError, ValueError, OSError, Exception, ERecoverableError],
        tags: [ReadDirEffect, RootEffect], forbids: [].}

  Source Edit

    proc skipIntLiteralParams(t: PType; idgen: IdGenerator) {....raises: [], tags: [],
        forbids: [].}

  Source Edit

# Templates

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

  Source Edit