Files
Nim/compiler/types.idx
github-actions[bot] 0bbd01ebc4 Deploy to GitHub pages
2026-02-12 12:41:37 +00:00

165 lines
16 KiB
Plaintext

nimTitle types types.html module types 0
nim isNone types.html#isNone TTypeRelation.isNone 24
nim isConvertible types.html#isConvertible TTypeRelation.isConvertible 24
nim isIntConv types.html#isIntConv TTypeRelation.isIntConv 24
nim isSubtype types.html#isSubtype TTypeRelation.isSubtype 24
nim isSubrange types.html#isSubrange TTypeRelation.isSubrange 24
nim isBothMetaConvertible types.html#isBothMetaConvertible TTypeRelation.isBothMetaConvertible 24
nim isInferred types.html#isInferred TTypeRelation.isInferred 24
nim isInferredConvertible types.html#isInferredConvertible TTypeRelation.isInferredConvertible 24
nim isGeneric types.html#isGeneric TTypeRelation.isGeneric 24
nim isFromIntLit types.html#isFromIntLit TTypeRelation.isFromIntLit 24
nim isEqual types.html#isEqual TTypeRelation.isEqual 24
nim TTypeRelation types.html#TTypeRelation enum TTypeRelation 24
nim pcmNoSideEffect types.html#pcmNoSideEffect ProcConvMismatch.pcmNoSideEffect 40
nim pcmNotGcSafe types.html#pcmNotGcSafe ProcConvMismatch.pcmNotGcSafe 40
nim pcmNotIterator types.html#pcmNotIterator ProcConvMismatch.pcmNotIterator 40
nim pcmDifferentCallConv types.html#pcmDifferentCallConv ProcConvMismatch.pcmDifferentCallConv 40
nim ProcConvMismatch types.html#ProcConvMismatch enum ProcConvMismatch 40
nim addTypeDeclVerboseMaybe types.html#addTypeDeclVerboseMaybe,string,ConfigRef,PType proc addTypeDeclVerboseMaybe(result: var string; conf: ConfigRef; typ: PType) 46
nim TTypeIter types.html#TTypeIter type TTypeIter 55
nim TTypePredicate types.html#TTypePredicate type TTypePredicate 56
nim iterOverType types.html#iterOverType,PType,TTypeIter,RootRef proc iterOverType(t: PType; iter: TTypeIter; closure: RootRef): bool 58
nim paramsNotEqual types.html#paramsNotEqual TParamsEquality.paramsNotEqual 62
nim paramsEqual types.html#paramsEqual TParamsEquality.paramsEqual 62
nim paramsIncompatible types.html#paramsIncompatible TParamsEquality.paramsIncompatible 62
nim TParamsEquality types.html#TParamsEquality enum TParamsEquality 62
nim equalParams types.html#equalParams,PNode,PNode proc equalParams(a, b: PNode): TParamsEquality 71
nim abstractPtrs types.html#abstractPtrs const abstractPtrs 77
nim abstractVar types.html#abstractVar const abstractVar 79
nim abstractRange types.html#abstractRange const abstractRange 81
nim abstractInstOwned types.html#abstractInstOwned const abstractInstOwned 83
nim skipPtrs types.html#skipPtrs const skipPtrs 84
nim typedescPtrs types.html#typedescPtrs const typedescPtrs 87
nim typedescInst types.html#typedescInst const typedescInst 88
nim arrPutGetMagicApplies types.html#arrPutGetMagicApplies const arrPutGetMagicApplies 91
nim invalidGenericInst types.html#invalidGenericInst,PType proc invalidGenericInst(f: PType): bool 93
nim isPureObject types.html#isPureObject,PType proc isPureObject(typ: PType): bool 96
nim isUnsigned types.html#isUnsigned,PType proc isUnsigned(t: PType): bool 102
nim getOrdValueAux types.html#getOrdValueAux,PNode,bool proc getOrdValueAux(n: PNode; err: var bool): Int128 105
nim getOrdValue types.html#getOrdValue,PNode proc getOrdValue(n: PNode): Int128 127
nim getOrdValue types.html#getOrdValue,PNode,Int128 proc getOrdValue(n: PNode; onError: Int128): Int128 132
nim getFloatValue types.html#getFloatValue,PNode proc getFloatValue(n: PNode): BiggestFloat 138
nim addTypeHeader types.html#addTypeHeader,string,ConfigRef,PType,TPreferedDesc proc addTypeHeader(result: var string; conf: ConfigRef; typ: PType;\n prefer: TPreferedDesc = preferMixed; getDeclarationPath = true) 144
nim getProcHeader types.html#getProcHeader,ConfigRef,PSym,TPreferedDesc proc getProcHeader(conf: ConfigRef; sym: PSym; prefer: TPreferedDesc = preferName;\n getDeclarationPath = true): string 148
nim elemType types.html#elemType,PType proc elemType(t: PType): PType 169
nim enumHasHoles types.html#enumHasHoles,PType proc enumHasHoles(t: PType): bool 178
nim isOrdinalType types.html#isOrdinalType,PType,bool proc isOrdinalType(t: PType; allowEnumWithHoles: bool = false): bool 182
nim searchTypeFor types.html#searchTypeFor,PType,TTypePredicate proc searchTypeFor(t: PType; predicate: TTypePredicate): bool 279
nim containsObject types.html#containsObject,PType proc containsObject(t: PType): bool 286
nim frNone types.html#frNone TTypeFieldResult.frNone 295
nim frHeader types.html#frHeader TTypeFieldResult.frHeader 295
nim frEmbedded types.html#frEmbedded TTypeFieldResult.frEmbedded 295
nim TTypeFieldResult types.html#TTypeFieldResult enum TTypeFieldResult 295
nim analyseObjectWithTypeField types.html#analyseObjectWithTypeField,PType proc analyseObjectWithTypeField(t: PType): TTypeFieldResult 327
nim containsGarbageCollectedRef types.html#containsGarbageCollectedRef,PType proc containsGarbageCollectedRef(typ: PType): bool 340
nim containsManagedMemory types.html#containsManagedMemory,PType proc containsManagedMemory(typ: PType): bool 349
nim containsTyRef types.html#containsTyRef,PType proc containsTyRef(typ: PType): bool 355
nim containsHiddenPointer types.html#containsHiddenPointer,PType proc containsHiddenPointer(typ: PType): bool 362
nim sameBackendType types.html#sameBackendType,PType,PType proc sameBackendType(x, y: PType): bool 385
nim isFinal types.html#isFinal,PType proc isFinal(t: PType): bool 432
nim canFormAcycle types.html#canFormAcycle,ModuleGraph,PType proc canFormAcycle(g: ModuleGraph; typ: PType): bool 436
nim bindConcreteTypeToUserTypeClass types.html#bindConcreteTypeToUserTypeClass.t,PType,PType template bindConcreteTypeToUserTypeClass(tc, concrete: PType) 441
nim firstOrd types.html#firstOrd,ConfigRef,PType proc firstOrd(conf: ConfigRef; t: PType): Int128 445
nim firstFloat types.html#firstFloat,PType proc firstFloat(t: PType): BiggestFloat 496
nim targetSizeSignedToKind types.html#targetSizeSignedToKind,ConfigRef proc targetSizeSignedToKind(conf: ConfigRef): TTypeKind 513
nim targetSizeUnsignedToKind types.html#targetSizeUnsignedToKind,ConfigRef proc targetSizeUnsignedToKind(conf: ConfigRef): TTypeKind 520
nim normalizeKind types.html#normalizeKind,ConfigRef,TTypeKind proc normalizeKind(conf: ConfigRef; k: TTypeKind): TTypeKind 527
nim lastOrd types.html#lastOrd,ConfigRef,PType proc lastOrd(conf: ConfigRef; t: PType): Int128 536
nim lastFloat types.html#lastFloat,PType proc lastFloat(t: PType): BiggestFloat 592
nim floatRangeCheck types.html#floatRangeCheck,BiggestFloat,PType proc floatRangeCheck(x: BiggestFloat; t: PType): bool 609
nim lengthOrd types.html#lengthOrd,ConfigRef,PType proc lengthOrd(conf: ConfigRef; t: PType): Int128 628
nim dcEq types.html#dcEq TDistinctCompare.dcEq 639
nim dcEqIgnoreDistinct types.html#dcEqIgnoreDistinct TDistinctCompare.dcEqIgnoreDistinct 639
nim dcEqOrDistinctOf types.html#dcEqOrDistinctOf TDistinctCompare.dcEqOrDistinctOf 639
nim TDistinctCompare types.html#TDistinctCompare enum TDistinctCompare 639
nim IgnoreTupleFields types.html#IgnoreTupleFields TTypeCmpFlag.IgnoreTupleFields 645
nim IgnoreCC types.html#IgnoreCC TTypeCmpFlag.IgnoreCC 645
nim ExactTypeDescValues types.html#ExactTypeDescValues TTypeCmpFlag.ExactTypeDescValues 645
nim ExactGenericParams types.html#ExactGenericParams TTypeCmpFlag.ExactGenericParams 645
nim ExactConstraints types.html#ExactConstraints TTypeCmpFlag.ExactConstraints 645
nim ExactGcSafety types.html#ExactGcSafety TTypeCmpFlag.ExactGcSafety 645
nim AllowCommonBase types.html#AllowCommonBase TTypeCmpFlag.AllowCommonBase 645
nim PickyCAliases types.html#PickyCAliases TTypeCmpFlag.PickyCAliases 645
nim IgnoreFlags types.html#IgnoreFlags TTypeCmpFlag.IgnoreFlags 645
nim PickyBackendAliases types.html#PickyBackendAliases TTypeCmpFlag.PickyBackendAliases 645
nim IgnoreRangeShallow types.html#IgnoreRangeShallow TTypeCmpFlag.IgnoreRangeShallow 645
nim TTypeCmpFlag types.html#TTypeCmpFlag enum TTypeCmpFlag 645
nim TTypeCmpFlags types.html#TTypeCmpFlags type TTypeCmpFlags 658
nim sameType types.html#sameType,PType,PType,TTypeCmpFlags proc sameType(a, b: PType; flags: TTypeCmpFlags = {}): bool 684
nim sameTypeOrNil types.html#sameTypeOrNil,PType,PType,TTypeCmpFlags proc sameTypeOrNil(a, b: PType; flags: TTypeCmpFlags = {}): bool 689
nim sameObjectTypes types.html#sameObjectTypes,PType,PType proc sameObjectTypes(a, b: PType): bool 801
nim sameDistinctTypes types.html#sameDistinctTypes,PType,PType proc sameDistinctTypes(a, b: PType): bool 807
nim sameEnumTypes types.html#sameEnumTypes,PType,PType proc sameEnumTypes(a, b: PType): bool 810
nim isGenericAlias types.html#isGenericAlias,PType proc isGenericAlias(t: PType): bool 857
nim genericAliasDepth types.html#genericAliasDepth,PType proc genericAliasDepth(t: PType): int 860
nim skipGenericAlias types.html#skipGenericAlias,PType proc skipGenericAlias(t: PType): PType 867
nim sameFlags types.html#sameFlags,PType,PType proc sameFlags(a, b: PType): bool 872
nim sameBackendTypeIgnoreRange types.html#sameBackendTypeIgnoreRange,PType,PType proc sameBackendTypeIgnoreRange(x, y: PType): bool 1065
nim sameBackendTypePickyAliases types.html#sameBackendTypePickyAliases,PType,PType proc sameBackendTypePickyAliases(x, y: PType): bool 1072
nim compareTypes types.html#compareTypes,PType,PType,TDistinctCompare,TTypeCmpFlags proc compareTypes(x, y: PType; cmp: TDistinctCompare = dcEq;\n flags: TTypeCmpFlags = {}): bool 1078
nim inheritanceDiff types.html#inheritanceDiff,PType,PType proc inheritanceDiff(a, b: PType): int 1089
nim commonSuperclass types.html#commonSuperclass,PType,PType proc commonSuperclass(a, b: PType): PType 1113
nim lacksMTypeField types.html#lacksMTypeField,PType proc lacksMTypeField(typ: PType): bool 1138
nim isObjLackingTypeField types.html#isObjLackingTypeField,PType proc isObjLackingTypeField(typ: PType): bool 1143
nim szUnknownSize types.html#szUnknownSize const szUnknownSize 21
nim szIllegalRecursion types.html#szIllegalRecursion const szIllegalRecursion 22
nim szUncomputedSize types.html#szUncomputedSize const szUncomputedSize 23
nim szTooBigSize types.html#szTooBigSize const szTooBigSize 24
nim OffsetAccum types.html#OffsetAccum object OffsetAccum 32
nim inc types.html#inc,OffsetAccum,int32 proc inc(arg: var OffsetAccum; value: int32) 36
nim align types.html#align,OffsetAccum,int32 proc align(arg: var OffsetAccum; value: int32) 50
nim computeSizeAlign types.html#computeSizeAlign,ConfigRef,PType proc computeSizeAlign(conf: ConfigRef; typ: PType) 76
nim foldSizeOf types.html#foldSizeOf.t,ConfigRef,PNode,PNode template foldSizeOf(conf: ConfigRef; n: PNode; fallback: PNode): PNode 471
nim foldAlignOf types.html#foldAlignOf.t,ConfigRef,PNode,PNode template foldAlignOf(conf: ConfigRef; n: PNode; fallback: PNode): PNode 485
nim foldOffsetOf types.html#foldOffsetOf.t,ConfigRef,PNode,PNode template foldOffsetOf(conf: ConfigRef; n: PNode; fallback: PNode): PNode 499
nim computeSize types.html#computeSize,ConfigRef,PType proc computeSize(conf: ConfigRef; typ: PType): BiggestInt 1152
nim getReturnType types.html#getReturnType,PSym proc getReturnType(s: PSym): PType 1156
nim getAlign types.html#getAlign,ConfigRef,PType proc getAlign(conf: ConfigRef; typ: PType): BiggestInt 1161
nim getSize types.html#getSize,ConfigRef,PType proc getSize(conf: ConfigRef; typ: PType): BiggestInt 1165
nim setImportedTypeSize types.html#setImportedTypeSize,ConfigRef,PType,int proc setImportedTypeSize(conf: ConfigRef; t: PType; size: int) 1169
nim isConcept types.html#isConcept,PType proc isConcept(t: PType): bool 1180
nim containsGenericType types.html#containsGenericType,PType proc containsGenericType(t: PType): bool 1209
nim containsUnresolvedType types.html#containsUnresolvedType,PType proc containsUnresolvedType(t: PType): bool 1226
nim baseOfDistinct types.html#baseOfDistinct,PType,ModuleGraph,IdGenerator proc baseOfDistinct(t: PType; g: ModuleGraph; idgen: IdGenerator): PType 1229
nim safeInheritanceDiff types.html#safeInheritanceDiff,PType,PType proc safeInheritanceDiff(a, b: PType): int 1243
nim isDefectException types.html#isDefectException,PType proc isDefectException(t: PType): bool 1260
nim efCompat types.html#efCompat EffectsCompat.efCompat 1282
nim efRaisesDiffer types.html#efRaisesDiffer EffectsCompat.efRaisesDiffer 1282
nim efRaisesUnknown types.html#efRaisesUnknown EffectsCompat.efRaisesUnknown 1282
nim efTagsDiffer types.html#efTagsDiffer EffectsCompat.efTagsDiffer 1282
nim efTagsUnknown types.html#efTagsUnknown EffectsCompat.efTagsUnknown 1282
nim efEffectsDelayed types.html#efEffectsDelayed EffectsCompat.efEffectsDelayed 1282
nim efTagsIllegal types.html#efTagsIllegal EffectsCompat.efTagsIllegal 1282
nim EffectsCompat types.html#EffectsCompat enum EffectsCompat 1282
nim compatibleEffects types.html#compatibleEffects,PType,PType proc compatibleEffects(formal, actual: PType): EffectsCompat 1291
nim isCompileTimeOnly types.html#isCompileTimeOnly,PType proc isCompileTimeOnly(t: PType): bool 1339
nim containsCompileTimeOnly types.html#containsCompileTimeOnly,PType proc containsCompileTimeOnly(t: PType): bool 1342
nim safeSkipTypes types.html#safeSkipTypes,PType,TTypeKinds proc safeSkipTypes(t: PType; kinds: TTypeKinds): PType 1349
nim NoneLike types.html#NoneLike OrdinalType.NoneLike 1357
nim IntLike types.html#IntLike OrdinalType.IntLike 1357
nim FloatLike types.html#FloatLike OrdinalType.FloatLike 1357
nim OrdinalType types.html#OrdinalType enum OrdinalType 1357
nim classify types.html#classify,PType proc classify(t: PType): OrdinalType 1360
nim skipConv types.html#skipConv,PNode proc skipConv(n: PNode): PNode 1371
nim skipHidden types.html#skipHidden,PNode proc skipHidden(n: PNode): PNode 1384
nim skipConvTakeType types.html#skipConvTakeType,PNode proc skipConvTakeType(n: PNode): PNode 1396
nim isEmptyContainer types.html#isEmptyContainer,PType proc isEmptyContainer(t: PType): bool 1400
nim takeType types.html#takeType,PType,PType,ModuleGraph,IdGenerator proc takeType(formal, arg: PType; g: ModuleGraph; idgen: IdGenerator): PType 1408
nim skipHiddenSubConv types.html#skipHiddenSubConv,PNode,ModuleGraph,IdGenerator proc skipHiddenSubConv(n: PNode; g: ModuleGraph; idgen: IdGenerator): PNode 1425
nim getProcConvMismatch types.html#getProcConvMismatch,ConfigRef,PType,PType proc getProcConvMismatch(c: ConfigRef; f, a: PType; rel = isNone): (\n set[ProcConvMismatch], TTypeRelation) 1442
nim addPragmaAndCallConvMismatch types.html#addPragmaAndCallConvMismatch,string,PType,PType,ConfigRef proc addPragmaAndCallConvMismatch(message: var string; formal, actual: PType;\n conf: ConfigRef) 1473
nim typeNameAndDesc types.html#typeNameAndDesc,PType proc typeNameAndDesc(t: PType): string 1512
nim typeMismatch types.html#typeMismatch,ConfigRef,TLineInfo,PType,PType,PNode proc typeMismatch(conf: ConfigRef; info: TLineInfo; formal, actual: PType; n: PNode) 1519
nim isRecursiveStructuralType types.html#isRecursiveStructuralType,PType proc isRecursiveStructuralType(t: PType): bool 1583
nim isException types.html#isException,PType proc isException(t: PType): bool 1587
nim isDefectOrCatchableError types.html#isDefectOrCatchableError,PType proc isDefectOrCatchableError(t: PType): bool 1609
nim isSinkTypeForParam types.html#isSinkTypeForParam,PType proc isSinkTypeForParam(t: PType): bool 1621
nim lookupFieldAgain types.html#lookupFieldAgain,PType,PSym proc lookupFieldAgain(ty: PType; field: PSym): PSym 1632
nim isCharArrayPtr types.html#isCharArrayPtr,PType,bool proc isCharArrayPtr(t: PType; allowPointerToChar: bool): bool 1643
nim isRefPtrObject types.html#isRefPtrObject,PType proc isRefPtrObject(t: PType): bool 1660
nim nominalRoot types.html#nominalRoot,PType proc nominalRoot(t: PType): PType 1663
nim genericRoot types.html#genericRoot,PType proc genericRoot(t: PType): PType 1726
nim reduceToBase types.html#reduceToBase,PType proc reduceToBase(f: PType): PType 1743
nimgrp getordvalue types.html#getOrdValue-procs-all proc 127