sema

package

Go to main page

Versions in this module

v1

v1.0.3

Nov 21, 2024

Changes in this version

+ type InvocationTypeInferenceError struct

+ func (*InvocationTypeInferenceError) IsUserError()

+ func (e *InvocationTypeInferenceError) Error() string

+ type UnconvertableTypeError struct

+ Type ast.Type

+ func (*UnconvertableTypeError) IsUserError()

+ func (e *UnconvertableTypeError) Error() string

v1.0.2

Oct 30, 2024

Changes in this version

+ type InvalidAttachmentConformancesError struct

+ func (*InvalidAttachmentConformancesError) IsUserError()

+ func (e *InvalidAttachmentConformancesError) Error() string

v1.0.1

Oct 8, 2024

Changes in this version

type FunctionType

+ func (t *FunctionType) ParameterTypes() []Type

v1.0.0

Sep 26, 2024

Changes in this version

+ const AccountCapabilityControllerTypeSetTagFunctionDocString

+ const AccountCapabilityControllerTypeSetTagFunctionName

+ const AccountTypeAddressFieldDocString

+ const AccountTypeAddressFieldName

+ const AccountTypeAvailableBalanceFieldDocString

+ const AccountTypeAvailableBalanceFieldName

+ const AccountTypeBalanceFieldDocString

+ const AccountTypeBalanceFieldName

+ const AccountTypeCapabilitiesFieldDocString

+ const AccountTypeCapabilitiesFieldName

+ const AccountTypeContractsFieldDocString

+ const AccountTypeContractsFieldName

+ const AccountTypeInboxFieldDocString

+ const AccountTypeInboxFieldName

+ const AccountTypeKeysFieldDocString

+ const AccountTypeKeysFieldName

+ const AccountTypeName

+ const AccountTypeStorageFieldDocString

+ const AccountTypeStorageFieldName

+ const Account_AccountCapabilitiesTypeForEachControllerFunctionDocString

+ const Account_AccountCapabilitiesTypeForEachControllerFunctionName

+ const Account_AccountCapabilitiesTypeGetControllerFunctionDocString

+ const Account_AccountCapabilitiesTypeGetControllerFunctionName

+ const Account_AccountCapabilitiesTypeGetControllersFunctionDocString

+ const Account_AccountCapabilitiesTypeGetControllersFunctionName

+ const Account_AccountCapabilitiesTypeIssueFunctionDocString

+ const Account_AccountCapabilitiesTypeIssueFunctionName

+ const Account_AccountCapabilitiesTypeIssueWithTypeFunctionDocString

+ const Account_AccountCapabilitiesTypeIssueWithTypeFunctionName

+ const Account_AccountCapabilitiesTypeName

+ const Account_CapabilitiesTypeAccountFieldDocString

+ const Account_CapabilitiesTypeAccountFieldName

+ const Account_CapabilitiesTypeBorrowFunctionDocString

+ const Account_CapabilitiesTypeBorrowFunctionName

+ const Account_CapabilitiesTypeExistsFunctionDocString

+ const Account_CapabilitiesTypeExistsFunctionName

+ const Account_CapabilitiesTypeGetFunctionDocString

+ const Account_CapabilitiesTypeGetFunctionName

+ const Account_CapabilitiesTypeName

+ const Account_CapabilitiesTypePublishFunctionDocString

+ const Account_CapabilitiesTypePublishFunctionName

+ const Account_CapabilitiesTypeStorageFieldDocString

+ const Account_CapabilitiesTypeStorageFieldName

+ const Account_CapabilitiesTypeUnpublishFunctionDocString

+ const Account_CapabilitiesTypeUnpublishFunctionName

+ const Account_ContractsTypeAddFunctionDocString

+ const Account_ContractsTypeAddFunctionName

+ const Account_ContractsTypeBorrowFunctionDocString

+ const Account_ContractsTypeBorrowFunctionName

+ const Account_ContractsTypeGetFunctionDocString

+ const Account_ContractsTypeGetFunctionName

+ const Account_ContractsTypeName

+ const Account_ContractsTypeNamesFieldDocString

+ const Account_ContractsTypeNamesFieldName

+ const Account_ContractsTypeRemoveFunctionDocString

+ const Account_ContractsTypeRemoveFunctionName

+ const Account_ContractsTypeTryUpdateFunctionDocString

+ const Account_ContractsTypeTryUpdateFunctionName

+ const Account_ContractsTypeUpdateFunctionDocString

+ const Account_ContractsTypeUpdateFunctionName

+ const Account_InboxTypeClaimFunctionDocString

+ const Account_InboxTypeClaimFunctionName

+ const Account_InboxTypeName

+ const Account_InboxTypePublishFunctionDocString

+ const Account_InboxTypePublishFunctionName

+ const Account_InboxTypeUnpublishFunctionDocString

+ const Account_InboxTypeUnpublishFunctionName

+ const Account_KeysTypeAddFunctionDocString

+ const Account_KeysTypeAddFunctionName

+ const Account_KeysTypeCountFieldDocString

+ const Account_KeysTypeCountFieldName

+ const Account_KeysTypeForEachFunctionDocString

+ const Account_KeysTypeForEachFunctionName

+ const Account_KeysTypeGetFunctionDocString

+ const Account_KeysTypeGetFunctionName

+ const Account_KeysTypeName

+ const Account_KeysTypeRevokeFunctionDocString

+ const Account_KeysTypeRevokeFunctionName

+ const Account_StorageCapabilitiesTypeForEachControllerFunctionDocString

+ const Account_StorageCapabilitiesTypeForEachControllerFunctionName

+ const Account_StorageCapabilitiesTypeGetControllerFunctionDocString

+ const Account_StorageCapabilitiesTypeGetControllerFunctionName

+ const Account_StorageCapabilitiesTypeGetControllersFunctionDocString

+ const Account_StorageCapabilitiesTypeGetControllersFunctionName

+ const Account_StorageCapabilitiesTypeIssueFunctionDocString

+ const Account_StorageCapabilitiesTypeIssueFunctionName

+ const Account_StorageCapabilitiesTypeIssueWithTypeFunctionDocString

+ const Account_StorageCapabilitiesTypeIssueWithTypeFunctionName

+ const Account_StorageCapabilitiesTypeName

+ const Account_StorageTypeBorrowFunctionDocString

+ const Account_StorageTypeBorrowFunctionName

+ const Account_StorageTypeCapacityFieldDocString

+ const Account_StorageTypeCapacityFieldName

+ const Account_StorageTypeCheckFunctionDocString

+ const Account_StorageTypeCheckFunctionName

+ const Account_StorageTypeCopyFunctionDocString

+ const Account_StorageTypeCopyFunctionName

+ const Account_StorageTypeForEachPublicFunctionDocString

+ const Account_StorageTypeForEachPublicFunctionName

+ const Account_StorageTypeForEachStoredFunctionDocString

+ const Account_StorageTypeForEachStoredFunctionName

+ const Account_StorageTypeLoadFunctionDocString

+ const Account_StorageTypeLoadFunctionName

+ const Account_StorageTypeName

+ const Account_StorageTypePublicPathsFieldDocString

+ const Account_StorageTypePublicPathsFieldName

+ const Account_StorageTypeSaveFunctionDocString

+ const Account_StorageTypeSaveFunctionName

+ const Account_StorageTypeStoragePathsFieldDocString

+ const Account_StorageTypeStoragePathsFieldName

+ const Account_StorageTypeTypeFunctionDocString

+ const Account_StorageTypeTypeFunctionName

+ const Account_StorageTypeUsedFieldDocString

+ const Account_StorageTypeUsedFieldName

+ const ArrayTypeToConstantSizedFunctionName

+ const ArrayTypeToVariableSizedFunctionName

+ const CompositeForEachAttachmentFunctionName

+ const FixedSizeUnsignedIntegerTypeName

+ const HashableStructTypeName

+ const IdentityMappingIdentifier

+ const InclusiveRangeTypeContainsFunctionName

+ const InclusiveRangeTypeEndFieldName

+ const InclusiveRangeTypeFunctionName

+ const InclusiveRangeTypeStartFieldName

+ const InclusiveRangeTypeStepFieldName

+ const IntersectionTypeFunctionName

+ const MetaTypeIsRecoveredFieldName

+ const StorageCapabilityControllerTypeSetTagFunctionDocString

+ const StorageCapabilityControllerTypeSetTagFunctionName

+ const StringTypeContainsFunctionName

+ const StringTypeCountFunctionName

+ const StringTypeIndexFunctionName

+ const StringTypeReplaceAllFunctionDocString

+ const StringTypeReplaceAllFunctionName

+ const StringTypeSplitFunctionDocString

+ const StringTypeSplitFunctionName

+ var AccountCapabilitiesType = &EntitlementType

+ var AccountCapabilityControllerTypeSetTagFunctionType = &FunctionType

+ var AccountMappingType = &EntitlementMapType

+ var AccountReferenceType = &ReferenceType

+ var AccountReferenceTypeAnnotation = NewTypeAnnotation(AccountReferenceType)

+ var AccountType = func() *CompositeType { ... }()

+ var AccountTypeAddressFieldType = TheAddressType

+ var AccountTypeAnnotation = NewTypeAnnotation(AccountType)

+ var AccountTypeAvailableBalanceFieldType = UFix64Type

+ var AccountTypeBalanceFieldType = UFix64Type

+ var AccountTypeCapabilitiesFieldType = Account_CapabilitiesType

+ var AccountTypeContractsFieldType = Account_ContractsType

+ var AccountTypeInboxFieldType = Account_InboxType

+ var AccountTypeKeysFieldType = Account_KeysType

+ var AccountTypeStorageFieldType = Account_StorageType

+ var Account_AccountCapabilitiesType = func() *CompositeType { ... }()

+ var Account_AccountCapabilitiesTypeForEachControllerFunctionType = &FunctionType

+ var Account_AccountCapabilitiesTypeGetControllerFunctionType = &FunctionType

+ var Account_AccountCapabilitiesTypeGetControllersFunctionType = &FunctionType

+ var Account_AccountCapabilitiesTypeIssueFunctionType = &FunctionType

+ var Account_AccountCapabilitiesTypeIssueFunctionTypeParameterT = &TypeParameter

+ var Account_AccountCapabilitiesTypeIssueWithTypeFunctionType = &FunctionType

+ var Account_CapabilitiesType = func() *CompositeType { ... }()

+ var Account_CapabilitiesTypeAccountFieldType = Account_AccountCapabilitiesType

+ var Account_CapabilitiesTypeBorrowFunctionType = &FunctionType

+ var Account_CapabilitiesTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var Account_CapabilitiesTypeExistsFunctionType = &FunctionType

+ var Account_CapabilitiesTypeGetFunctionType = &FunctionType

+ var Account_CapabilitiesTypeGetFunctionTypeParameterT = &TypeParameter

+ var Account_CapabilitiesTypePublishFunctionType = &FunctionType

+ var Account_CapabilitiesTypeStorageFieldType = Account_StorageCapabilitiesType

+ var Account_CapabilitiesTypeUnpublishFunctionType = &FunctionType

+ var Account_ContractsType = func() *CompositeType { ... }()

+ var Account_ContractsTypeAddFunctionType = &FunctionType

+ var Account_ContractsTypeBorrowFunctionType = &FunctionType

+ var Account_ContractsTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var Account_ContractsTypeGetFunctionType = &FunctionType

+ var Account_ContractsTypeNamesFieldType = &VariableSizedType

+ var Account_ContractsTypeRemoveFunctionType = &FunctionType

+ var Account_ContractsTypeTryUpdateFunctionType = &FunctionType

+ var Account_ContractsTypeUpdateFunctionType = &FunctionType

+ var Account_InboxType = func() *CompositeType { ... }()

+ var Account_InboxTypeClaimFunctionType = &FunctionType

+ var Account_InboxTypeClaimFunctionTypeParameterT = &TypeParameter

+ var Account_InboxTypePublishFunctionType = &FunctionType

+ var Account_InboxTypeUnpublishFunctionType = &FunctionType

+ var Account_InboxTypeUnpublishFunctionTypeParameterT = &TypeParameter

+ var Account_KeysType = func() *CompositeType { ... }()

+ var Account_KeysTypeAddFunctionType = &FunctionType

+ var Account_KeysTypeCountFieldType = UInt64Type

+ var Account_KeysTypeForEachFunctionType = &FunctionType

+ var Account_KeysTypeGetFunctionType = &FunctionType

+ var Account_KeysTypeRevokeFunctionType = &FunctionType

+ var Account_StorageCapabilitiesType = func() *CompositeType { ... }()

+ var Account_StorageCapabilitiesTypeForEachControllerFunctionType = &FunctionType

+ var Account_StorageCapabilitiesTypeGetControllerFunctionType = &FunctionType

+ var Account_StorageCapabilitiesTypeGetControllersFunctionType = &FunctionType

+ var Account_StorageCapabilitiesTypeIssueFunctionType = &FunctionType

+ var Account_StorageCapabilitiesTypeIssueFunctionTypeParameterT = &TypeParameter

+ var Account_StorageCapabilitiesTypeIssueWithTypeFunctionType = &FunctionType

+ var Account_StorageType = func() *CompositeType { ... }()

+ var Account_StorageTypeBorrowFunctionType = &FunctionType

+ var Account_StorageTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var Account_StorageTypeCapacityFieldType = UInt64Type

+ var Account_StorageTypeCheckFunctionType = &FunctionType

+ var Account_StorageTypeCheckFunctionTypeParameterT = &TypeParameter

+ var Account_StorageTypeCopyFunctionType = &FunctionType

+ var Account_StorageTypeCopyFunctionTypeParameterT = &TypeParameter

+ var Account_StorageTypeForEachPublicFunctionType = &FunctionType

+ var Account_StorageTypeForEachStoredFunctionType = &FunctionType

+ var Account_StorageTypeLoadFunctionType = &FunctionType

+ var Account_StorageTypeLoadFunctionTypeParameterT = &TypeParameter

+ var Account_StorageTypePublicPathsFieldType = &VariableSizedType

+ var Account_StorageTypeSaveFunctionType = &FunctionType

+ var Account_StorageTypeSaveFunctionTypeParameterT = &TypeParameter

+ var Account_StorageTypeStoragePathsFieldType = &VariableSizedType

+ var Account_StorageTypeTypeFunctionType = &FunctionType

+ var Account_StorageTypeUsedFieldType = UInt64Type

+ var AddContractType = &EntitlementType

+ var AddKeyType = &EntitlementType

+ var AllFixedSizeUnsignedIntegerTypes = []Type

+ var AllNonLeafIntegerTypes = []Type

+ var BorrowValueType = &EntitlementType

+ var BuiltinEntitlementMappings = map[string]*EntitlementMapType

+ var BuiltinEntitlements = map[string]*EntitlementType

+ var CapabilitiesMappingType = &EntitlementMapType

+ var CapabilitiesType = &EntitlementType

+ var ClaimInboxCapabilityType = &EntitlementType

+ var ContractAccountFieldType = &ReferenceType

+ var ContractsType = &EntitlementType

+ var CopyValueType = &EntitlementType

+ var FixedSizeUnsignedIntegerType = ...()

+ var FixedSizeUnsignedIntegerTypeTag = ...(Word256TypeTag)

+ var FullyEntitledAccountAccess = NewEntitlementSetAccess([]*EntitlementType{ ... }, Conjunction)

+ var FullyEntitledAccountReferenceType = &ReferenceType

+ var FullyEntitledAccountReferenceTypeAnnotation = NewTypeAnnotation(FullyEntitledAccountReferenceType)

+ var GetAccountCapabilityControllerType = &EntitlementType

+ var GetStorageCapabilityControllerType = &EntitlementType

+ var HashableStructType = &SimpleType

+ var HashableStructTypeTag = ...(PathTypeTag)

+ var IdentityType = func() *EntitlementMapType { ... }()

+ var InboxType = &EntitlementType

+ var InclusiveRangeTypeFieldNames = []string

+ var InclusiveRangeTypeFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, OptionalMetaTypeAnnotation)

+ var InclusiveRangeTypeTag = newTypeTagFromUpperMask(inclusiveRangeTypeMask)

+ var InsertType = &EntitlementType

+ var IntersectionTypeFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, OptionalMetaTypeAnnotation)

+ var IntersectionTypeTag = newTypeTagFromUpperMask(intersectionTypeMask)

+ var IssueAccountCapabilityControllerType = &EntitlementType

+ var IssueStorageCapabilityControllerType = &EntitlementType

+ var KeysType = &EntitlementType

+ var LoadValueType = &EntitlementType

+ var MetaTypeIsRecoveredFieldType = BoolType

+ var MutateType = &EntitlementType

+ var PublishCapabilityType = &EntitlementType

+ var PublishInboxCapabilityType = &EntitlementType

+ var RemoveContractType = &EntitlementType

+ var RemoveType = &EntitlementType

+ var ResourceOwnerFieldType = &OptionalType

+ var ResourceUUIDFieldType = UInt64Type

+ var RevokeKeyType = &EntitlementType

+ var SaveValueType = &EntitlementType

+ var StorageCapabilitiesType = &EntitlementType

+ var StorageCapabilityControllerTypeSetTagFunctionType = &FunctionType

+ var StorageType = &EntitlementType

+ var StringTypeContainsFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, BoolTypeAnnotation)

+ var StringTypeCountFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, IntTypeAnnotation)

+ var StringTypeIndexFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, IntTypeAnnotation)

+ var StringTypeReplaceAllFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, StringTypeAnnotation)

+ var StringTypeSplitFunctionType = NewSimpleFunctionType(FunctionPurityView, []Parameter{ ... }, ...)

+ var UnpublishCapabilityType = &EntitlementType

+ var UnpublishInboxCapabilityType = &EntitlementType

+ var UpdateContractType = &EntitlementType

+ var Word128TypeAnnotation = NewTypeAnnotation(Word128Type)

+ var Word256TypeAnnotation = NewTypeAnnotation(Word256Type)

+ func CheckParameterizedTypeInstantiated(t ParameterizedType, pos ast.HasPosition, memoryGauge common.MemoryGauge, ...)

+ func FormatConstantSizedTypeID[T ~string](elementTypeID T, size int64) T

+ func FormatDictionaryTypeID[T ~string](keyTypeID T, valueTypeID T) T

+ func FormatEntitlementSetTypeID[T ~string](entitlementTypeIDs []T, kind EntitlementSetKind) T

+ func FormatIntersectionTypeID[T ~string](interfaceTypeIDs []T) T

+ func FormatOptionalTypeID[T ~string](elementTypeID T) T

+ func FormatVariableSizedTypeID[T ~string](elementTypeID T) T

+ func IsHashableStructType(t Type) bool

+ func IsPrimitiveOrContainerOfPrimitive(referencedType Type) bool

+ type Access interface

+ Equal func(other Access) bool

+ ID func() TypeID

+ IsPrimitiveAccess func() bool

+ PermitsAccess func(Access) bool

+ QualifiedKeyword func() string

+ QualifiedString func() string

+ String func() string

+ var InaccessibleAccess Access = PrimitiveAccess(ast.AccessNone)

+ var UnauthorizedAccess Access = PrimitiveAccess(ast.AccessAll)

+ func AllSupportedEntitlements(typ Type) Access

+ func NewAccessFromEntitlementOrderedSet(set *EntitlementOrderedSet, setKind EntitlementSetKind) Access

type AddressType

+ func (*AddressType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (*AddressType) ContainFieldsOrElements() bool

+ func (*AddressType) IsOrContainsReferenceType() bool

+ func (*AddressType) IsPrimitiveType() bool

+ func (t *AddressType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *AddressType) RewriteWithIntersectionTypes() (Type, bool)

+ type AmbiguousIntersectionTypeError struct

+ func (*AmbiguousIntersectionTypeError) IsUserError()

+ func (e *AmbiguousIntersectionTypeError) Error() string

type CapabilityType

+ func (*CapabilityType) ContainFieldsOrElements() bool

+ func (*CapabilityType) IsPrimitiveType() bool

+ func (t *CapabilityType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *CapabilityType) IsOrContainsReferenceType() bool

+ func (t *CapabilityType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *CapabilityType) RewriteWithIntersectionTypes() (Type, bool)

type Checker

+ func (checker *Checker) EffectiveCompositeMemberAccess(access Access) Access

+ func (checker *Checker) VisitEntitlementDeclaration(declaration *ast.EntitlementDeclaration) (_ struct{})

+ func (checker *Checker) VisitEntitlementMappingDeclaration(declaration *ast.EntitlementMappingDeclaration) (_ struct{})

+ func (checker *Checker) VisitExpressionWithReferenceCheck(expr ast.Expression, parent ast.Element, targetType Type) Type

type CompositeType

+ DefaultDestroyEvent *CompositeType

+ HasComputedMembers bool

+ ImportableBuiltin bool

+ func (*CompositeType) IsOrContainsReferenceType() bool

+ func (t *CompositeType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *CompositeType) ConstructorFunctionType() *FunctionType

+ func (t *CompositeType) ContainFieldsOrElements() bool

+ func (t *CompositeType) EffectiveInterfaceConformanceSet() *InterfaceSet

+ func (t *CompositeType) EffectiveInterfaceConformances() []Conformance

+ func (t *CompositeType) InitializerEffectiveArgumentLabels() []string

+ func (t *CompositeType) InitializerFunctionType() *FunctionType

+ func (t *CompositeType) IsPrimitiveType() bool

+ func (t *CompositeType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *CompositeType) RewriteWithIntersectionTypes() (result Type, rewritten bool)

+ func (t *CompositeType) SupportedEntitlements() *EntitlementSet

+ type Conformance struct

+ ConformanceChainRoot *InterfaceType

+ InterfaceType *InterfaceType

type ConformanceError

+ NestedInterfaceType *InterfaceType

type ConstantSizedType

+ func (t *ConstantSizedType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *ConstantSizedType) ContainFieldsOrElements() bool

+ func (t *ConstantSizedType) IsOrContainsReferenceType() bool

+ func (t *ConstantSizedType) IsPrimitiveType() bool

+ func (t *ConstantSizedType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *ConstantSizedType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *ConstantSizedType) SupportedEntitlements() *EntitlementSet

+ type CyclicConformanceError struct

+ InterfaceType *InterfaceType

+ func (CyclicConformanceError) IsUserError()

+ func (e CyclicConformanceError) Error() string

+ type CyclicEntitlementMappingError struct

+ IncludedType *EntitlementMapType

+ Map *EntitlementMapType

+ func (*CyclicEntitlementMappingError) IsUserError()

+ func (e *CyclicEntitlementMappingError) Error() string

+ type DefaultDestroyEventInNonResourceError struct

+ Kind string

+ func (*DefaultDestroyEventInNonResourceError) IsUserError()

+ func (e *DefaultDestroyEventInNonResourceError) Error() string

+ type DefaultDestroyInvalidArgumentError struct

+ Kind DefaultDestroyInvalidArgumentKind

+ func (*DefaultDestroyInvalidArgumentError) IsUserError()

+ func (e *DefaultDestroyInvalidArgumentError) Error() string

+ func (e *DefaultDestroyInvalidArgumentError) SecondaryError() string

+ type DefaultDestroyInvalidArgumentKind int

+ const InvalidExpression

+ const InvalidIdentifier

+ const NonDictionaryIndexExpression

+ const ReferenceTypedMemberAccess

+ type DefaultDestroyInvalidParameterError struct

+ ParamType Type

+ func (*DefaultDestroyInvalidParameterError) IsUserError()

+ func (e *DefaultDestroyInvalidParameterError) Error() string

type DictionaryType

+ func (*DictionaryType) ContainFieldsOrElements() bool

+ func (t *DictionaryType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *DictionaryType) IsOrContainsReferenceType() bool

+ func (t *DictionaryType) IsPrimitiveType() bool

+ func (t *DictionaryType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *DictionaryType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *DictionaryType) SupportedEntitlements() *EntitlementSet

+ type DirectEntitlementAnnotationError struct

+ func (*DirectEntitlementAnnotationError) IsUserError()

+ func (e *DirectEntitlementAnnotationError) Error() string

+ type DisjunctionOrderedSet = orderedmap.OrderedMap[string, *EntitlementOrderedSet]

type DuplicateConformanceError

+ CompositeKindedType CompositeKindedType

+ type DuplicateEntitlementMappingInclusionError struct

+ IncludedType *EntitlementMapType

+ Map *EntitlementMapType

+ func (*DuplicateEntitlementMappingInclusionError) IsUserError()

+ func (e *DuplicateEntitlementMappingInclusionError) Error() string

type Elaboration

+ IsRecovered bool

+ func (e *Elaboration) AttachTypes(expr *ast.AttachExpression) (ty *CompositeType)

+ func (e *Elaboration) DefaultDestroyDeclaration(declaration ast.Declaration) ast.CompositeLikeDeclaration

+ func (e *Elaboration) EntitlementDeclarationType(declaration *ast.EntitlementDeclaration) *EntitlementType

+ func (e *Elaboration) EntitlementMapDeclarationType(declaration *ast.EntitlementMappingDeclaration) *EntitlementMapType

+ func (e *Elaboration) EntitlementMapType(typeID common.TypeID) *EntitlementMapType

+ func (e *Elaboration) EntitlementMapTypeDeclaration(entitlementMapType *EntitlementMapType) *ast.EntitlementMappingDeclaration

+ func (e *Elaboration) EntitlementType(typeID common.TypeID) *EntitlementType

+ func (e *Elaboration) EntitlementTypeDeclaration(entitlementType *EntitlementType) *ast.EntitlementDeclaration

+ func (e *Elaboration) ForStatementType(statement *ast.ForStatement) (types ForStatementTypes)

+ func (e *Elaboration) GetSemanticAccess(access ast.Access) (semaAccess Access, present bool)

+ func (e *Elaboration) MemberExpressionMemberAccessInfo(expression *ast.MemberExpression) (memberInfo MemberAccessInfo, ok bool)

+ func (e *Elaboration) SetAttachTypes(expr *ast.AttachExpression, ty *CompositeType)

+ func (e *Elaboration) SetDefaultDestroyDeclaration(declaration ast.Declaration, eventDeclaration ast.CompositeLikeDeclaration)

+ func (e *Elaboration) SetEntitlementDeclarationWithType(declaration *ast.EntitlementDeclaration, entitlementType *EntitlementType)

+ func (e *Elaboration) SetEntitlementMapDeclarationWithType(declaration *ast.EntitlementMappingDeclaration, ...)

+ func (e *Elaboration) SetEntitlementMapType(typeID TypeID, ty *EntitlementMapType)

+ func (e *Elaboration) SetEntitlementType(typeID TypeID, ty *EntitlementType)

+ func (e *Elaboration) SetForStatementType(statement *ast.ForStatement, types ForStatementTypes)

+ func (e *Elaboration) SetInterfaceDeclarationWithType(declaration *ast.InterfaceDeclaration, interfaceType *InterfaceType)

+ func (e *Elaboration) SetMemberExpressionMemberAccessInfo(expression *ast.MemberExpression, memberAccessInfo MemberAccessInfo)

+ func (e *Elaboration) SetSemanticAccess(access ast.Access, semanticAccess Access)

+ type EmitDefaultDestroyEventError struct

+ func (*EmitDefaultDestroyEventError) IsUserError()

+ func (e *EmitDefaultDestroyEventError) Error() string

+ type EntitlementMapAccess struct

+ Type *EntitlementMapType

+ func NewEntitlementMapAccess(mapType *EntitlementMapType) *EntitlementMapAccess

+ func (*EntitlementMapAccess) IsPrimitiveAccess() bool

+ func (e *EntitlementMapAccess) Codomain() Access

+ func (e *EntitlementMapAccess) Domain() EntitlementSetAccess

+ func (e *EntitlementMapAccess) Equal(other Access) bool

+ func (e *EntitlementMapAccess) ID() TypeID

+ func (e *EntitlementMapAccess) Image(inputs Access, astRange func() ast.Range) (Access, error)

+ func (e *EntitlementMapAccess) PermitsAccess(other Access) bool

+ func (e *EntitlementMapAccess) QualifiedKeyword() string

+ func (e *EntitlementMapAccess) QualifiedString() string

+ func (e *EntitlementMapAccess) String() string

+ type EntitlementMapType struct

+ Identifier string

+ IncludesIdentity bool

+ Location common.Location

+ Relations []EntitlementRelation

+ func NewEntitlementMapType(memoryGauge common.MemoryGauge, location common.Location, identifier string) *EntitlementMapType

+ func (*EntitlementMapType) ContainFieldsOrElements() bool

+ func (*EntitlementMapType) IsComparable() bool

+ func (*EntitlementMapType) IsEquatable() bool

+ func (*EntitlementMapType) IsExportable(_ map[*Member]bool) bool

+ func (*EntitlementMapType) IsImportable(_ map[*Member]bool) bool

+ func (*EntitlementMapType) IsInvalidType() bool

+ func (*EntitlementMapType) IsOrContainsReferenceType() bool

+ func (*EntitlementMapType) IsPrimitiveType() bool

+ func (*EntitlementMapType) IsResourceType() bool

+ func (*EntitlementMapType) IsStorable(_ map[*Member]bool) bool

+ func (*EntitlementMapType) IsType()

+ func (*EntitlementMapType) TypeAnnotationState() TypeAnnotationState

+ func (*EntitlementMapType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), ...) bool

+ func (t *EntitlementMapType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (t *EntitlementMapType) Equal(other Type) bool

+ func (t *EntitlementMapType) GetContainerType() Type

+ func (t *EntitlementMapType) GetLocation() common.Location

+ func (t *EntitlementMapType) GetMembers() map[string]MemberResolver

+ func (t *EntitlementMapType) ID() TypeID

+ func (t *EntitlementMapType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *EntitlementMapType) QualifiedIdentifier() string

+ func (t *EntitlementMapType) QualifiedString() string

+ func (t *EntitlementMapType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *EntitlementMapType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *EntitlementMapType) SetContainerType(containerType Type)

+ func (t *EntitlementMapType) String() string

+ func (t *EntitlementMapType) Tag() TypeTag

+ type EntitlementOrderedSet = orderedmap.OrderedMap[*EntitlementType, struct{}]

+ type EntitlementRelation struct

+ Input *EntitlementType

+ Output *EntitlementType

+ func NewEntitlementRelation(memoryGauge common.MemoryGauge, input *EntitlementType, ...) EntitlementRelation

+ type EntitlementSet struct

+ Disjunctions *DisjunctionOrderedSet

+ Entitlements *EntitlementOrderedSet

+ func (s *EntitlementSet) Access() Access

+ func (s *EntitlementSet) Add(entitlementType *EntitlementType)

+ func (s *EntitlementSet) AddDisjunction(disjunction *EntitlementOrderedSet)

+ func (s *EntitlementSet) IsMinimallyRepresentable() bool

+ func (s *EntitlementSet) Merge(other *EntitlementSet)

+ func (s *EntitlementSet) Minimize()

+ type EntitlementSetAccess struct

+ Entitlements *EntitlementOrderedSet

+ SetKind EntitlementSetKind

+ func NewEntitlementSetAccess(entitlements []*EntitlementType, setKind EntitlementSetKind) EntitlementSetAccess

+ func (EntitlementSetAccess) IsPrimitiveAccess() bool

+ func (e EntitlementSetAccess) Equal(other Access) bool

+ func (e EntitlementSetAccess) ID() TypeID

+ func (e EntitlementSetAccess) PermitsAccess(other Access) bool

+ func (e EntitlementSetAccess) QualifiedKeyword() string

+ func (e EntitlementSetAccess) QualifiedString() string

+ func (e EntitlementSetAccess) String() string

+ type EntitlementSetKind uint8

+ const Conjunction

+ const Disjunction

+ type EntitlementSupportingType interface

+ SupportedEntitlements func() *EntitlementSet

+ type EntitlementType struct

+ Identifier string

+ Location common.Location

+ func NewEntitlementType(memoryGauge common.MemoryGauge, location common.Location, identifier string) *EntitlementType

+ func (*EntitlementType) ContainFieldsOrElements() bool

+ func (*EntitlementType) IsComparable() bool

+ func (*EntitlementType) IsEquatable() bool

+ func (*EntitlementType) IsExportable(_ map[*Member]bool) bool

+ func (*EntitlementType) IsImportable(_ map[*Member]bool) bool

+ func (*EntitlementType) IsOrContainsReferenceType() bool

+ func (*EntitlementType) IsPrimitiveType() bool

+ func (*EntitlementType) IsResourceType() bool

+ func (*EntitlementType) IsStorable(_ map[*Member]bool) bool

+ func (*EntitlementType) IsType()

+ func (*EntitlementType) TypeAnnotationState() TypeAnnotationState

+ func (*EntitlementType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), ...) bool

+ func (t *EntitlementType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (t *EntitlementType) Equal(other Type) bool

+ func (t *EntitlementType) GetContainerType() Type

+ func (t *EntitlementType) GetLocation() common.Location

+ func (t *EntitlementType) GetMembers() map[string]MemberResolver

+ func (t *EntitlementType) ID() TypeID

+ func (t *EntitlementType) IsInvalidType() bool

+ func (t *EntitlementType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *EntitlementType) QualifiedIdentifier() string

+ func (t *EntitlementType) QualifiedString() string

+ func (t *EntitlementType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *EntitlementType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *EntitlementType) SetContainerType(containerType Type)

+ func (t *EntitlementType) String() string

+ func (t *EntitlementType) Tag() TypeTag

type FixedPointNumericType

+ func (*FixedPointNumericType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (*FixedPointNumericType) IsOrContainsReferenceType() bool

+ func (*FixedPointNumericType) IsPrimitiveType() bool

+ func (t *FixedPointNumericType) ContainFieldsOrElements() bool

+ func (t *FixedPointNumericType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *FixedPointNumericType) RewriteWithIntersectionTypes() (result Type, rewritten bool)

+ type ForStatementTypes struct

+ IndexVariableType Type

+ ValueVariableType Type

type FunctionType

+ TypeArgumentsCheck TypeArgumentsCheck

+ func ArrayToConstantSizedFunctionType(elementType Type) *FunctionType

+ func ArrayToVariableSizedFunctionType(elementType Type) *FunctionType

+ func CompositeForEachAttachmentFunctionType(t common.CompositeKind) *FunctionType

+ func InclusiveRangeContainsFunctionType(elementType Type) *FunctionType

+ func (*FunctionType) ContainFieldsOrElements() bool

+ func (*FunctionType) IsOrContainsReferenceType() bool

+ func (t *FunctionType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *FunctionType) IsPrimitiveType() bool

+ func (t *FunctionType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *FunctionType) NamedQualifiedString(functionName string) string

+ func (t *FunctionType) RewriteWithIntersectionTypes() (Type, bool)

type GenericType

+ func (*GenericType) IsOrContainsReferenceType() bool

+ func (*GenericType) IsPrimitiveType() bool

+ func (t *GenericType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *GenericType) ContainFieldsOrElements() bool

+ func (t *GenericType) Map(_ common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *GenericType) RewriteWithIntersectionTypes() (result Type, rewritten bool)

+ type InclusiveRangeType struct

+ MemberType Type

+ func NewInclusiveRangeType(memoryGauge common.MemoryGauge, elementType Type) *InclusiveRangeType

+ func (*InclusiveRangeType) AllowsValueIndexingAssignment() bool

+ func (*InclusiveRangeType) IsComparable() bool

+ func (*InclusiveRangeType) IsResourceType() bool

+ func (*InclusiveRangeType) IsStorable(_ map[*Member]bool) bool

+ func (*InclusiveRangeType) IsType()

+ func (*InclusiveRangeType) Tag() TypeTag

+ func (*InclusiveRangeType) TypeParameters() []*TypeParameter

+ func (t *InclusiveRangeType) BaseType() Type

+ func (t *InclusiveRangeType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *InclusiveRangeType) ContainFieldsOrElements() bool

+ func (t *InclusiveRangeType) Equal(other Type) bool

+ func (t *InclusiveRangeType) GetMembers() map[string]MemberResolver

+ func (t *InclusiveRangeType) ID() TypeID

+ func (t *InclusiveRangeType) Instantiate(memoryGauge common.MemoryGauge, typeArguments []Type, ...) Type

+ func (t *InclusiveRangeType) IsEquatable() bool

+ func (t *InclusiveRangeType) IsExportable(results map[*Member]bool) bool

+ func (t *InclusiveRangeType) IsImportable(results map[*Member]bool) bool

+ func (t *InclusiveRangeType) IsInvalidType() bool

+ func (t *InclusiveRangeType) IsOrContainsReferenceType() bool

+ func (t *InclusiveRangeType) IsPrimitiveType() bool

+ func (t *InclusiveRangeType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *InclusiveRangeType) QualifiedString() string

+ func (t *InclusiveRangeType) Resolve(typeArguments *TypeParameterTypeOrderedMap) Type

+ func (t *InclusiveRangeType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *InclusiveRangeType) String() string

+ func (t *InclusiveRangeType) TypeAnnotationState() TypeAnnotationState

+ func (t *InclusiveRangeType) TypeArguments() []Type

+ func (t *InclusiveRangeType) Unify(other Type, typeParameters *TypeParameterTypeOrderedMap, ...) bool

type IndexExpressionTypes

+ ResultType Type

+ ReturnReference bool

+ type InterfaceMemberConflictError struct

+ ConflictingInterfaceType *InterfaceType

+ ConflictingMemberKind common.DeclarationKind

+ InterfaceType *InterfaceType

+ MemberKind common.DeclarationKind

+ MemberName string

+ func (*InterfaceMemberConflictError) IsUserError()

+ func (e *InterfaceMemberConflictError) Error() string

type InterfaceType

+ DefaultDestroyEvent *CompositeType

+ ExplicitInterfaceConformances []*InterfaceType

+ func (*InterfaceType) ContainFieldsOrElements() bool

+ func (*InterfaceType) IsOrContainsReferenceType() bool

+ func (*InterfaceType) IsPrimitiveType() bool

+ func (t *InterfaceType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *InterfaceType) EffectiveInterfaceConformanceSet() *InterfaceSet

+ func (t *InterfaceType) EffectiveInterfaceConformances() []Conformance

+ func (t *InterfaceType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *InterfaceType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *InterfaceType) SupportedEntitlements() *EntitlementSet

+ type IntersectionCompositeKindMismatchError struct

+ CompositeKind common.CompositeKind

+ PreviousCompositeKind common.CompositeKind

+ func (*IntersectionCompositeKindMismatchError) IsUserError()

+ func (e *IntersectionCompositeKindMismatchError) Error() string

+ type IntersectionMemberClashError struct

+ Name string

+ OriginalDeclaringType *InterfaceType

+ RedeclaringType *InterfaceType

+ func (*IntersectionMemberClashError) IsUserError()

+ func (e *IntersectionMemberClashError) Error() string

+ type IntersectionType struct

+ LegacyType Type

+ Types []*InterfaceType

+ func NewIntersectionType(memoryGauge common.MemoryGauge, legacyType Type, types []*InterfaceType) *IntersectionType

+ func (*IntersectionType) ContainFieldsOrElements() bool

+ func (*IntersectionType) IsEquatable() bool

+ func (*IntersectionType) IsPrimitiveType() bool

+ func (*IntersectionType) IsType()

+ func (*IntersectionType) TypeAnnotationState() TypeAnnotationState

+ func (*IntersectionType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), ...) bool

+ func (t *IntersectionType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (t *IntersectionType) EffectiveIntersectionSet() *InterfaceSet

+ func (t *IntersectionType) Equal(other Type) bool

+ func (t *IntersectionType) GetMembers() map[string]MemberResolver

+ func (t *IntersectionType) ID() TypeID

+ func (t *IntersectionType) IsComparable() bool

+ func (t *IntersectionType) IsExportable(results map[*Member]bool) bool

+ func (t *IntersectionType) IsImportable(results map[*Member]bool) bool

+ func (t *IntersectionType) IsInvalidType() bool

+ func (t *IntersectionType) IsOrContainsReferenceType() bool

+ func (t *IntersectionType) IsResourceType() bool

+ func (t *IntersectionType) IsStorable(results map[*Member]bool) bool

+ func (t *IntersectionType) IsValidIndexingType(ty Type) bool

+ func (t *IntersectionType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *IntersectionType) QualifiedString() string

+ func (t *IntersectionType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *IntersectionType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *IntersectionType) String() string

+ func (t *IntersectionType) SupportedEntitlements() *EntitlementSet

+ func (t *IntersectionType) Tag() TypeTag

+ func (t *IntersectionType) TypeIndexingElementType(indexingType Type, _ func() ast.Range) (Type, error)

type InvalidAccessError

+ PossessedAccess Access

+ func (e *InvalidAccessError) SecondaryError() string

type InvalidAssignmentAccessError

+ ContainerType Type

+ type InvalidAttachmentEntitlementError struct

+ Attachment *CompositeType

+ BaseType Type

+ InvalidEntitlement *EntitlementType

+ Pos ast.Position

+ func (*InvalidAttachmentEntitlementError) IsUserError()

+ func (e *InvalidAttachmentEntitlementError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidAttachmentEntitlementError) Error() string

+ func (e *InvalidAttachmentEntitlementError) SecondaryError() string

+ func (e *InvalidAttachmentEntitlementError) StartPosition() ast.Position

+ type InvalidAttachmentMappedEntitlementMemberError struct

+ Pos ast.Position

+ func (*InvalidAttachmentMappedEntitlementMemberError) IsUserError()

+ func (e *InvalidAttachmentMappedEntitlementMemberError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidAttachmentMappedEntitlementMemberError) Error() string

+ func (e *InvalidAttachmentMappedEntitlementMemberError) StartPosition() ast.Position

+ type InvalidEmitConditionError struct

+ func (*InvalidEmitConditionError) IsUserError()

+ func (e *InvalidEmitConditionError) Error() string

+ type InvalidEntitlementAccessError struct

+ Pos ast.Position

+ func (*InvalidEntitlementAccessError) IsUserError()

+ func (e *InvalidEntitlementAccessError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidEntitlementAccessError) Error() string

+ func (e *InvalidEntitlementAccessError) StartPosition() ast.Position

+ type InvalidEntitlementMappingInclusionError struct

+ IncludedType Type

+ Map *EntitlementMapType

+ func (*InvalidEntitlementMappingInclusionError) IsUserError()

+ func (e *InvalidEntitlementMappingInclusionError) Error() string

+ type InvalidEntitlementMappingTypeError struct

+ Pos ast.Position

+ Type Type

+ func (*InvalidEntitlementMappingTypeError) IsUserError()

+ func (e *InvalidEntitlementMappingTypeError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidEntitlementMappingTypeError) Error() string

+ func (e *InvalidEntitlementMappingTypeError) SecondaryError() string

+ func (e *InvalidEntitlementMappingTypeError) StartPosition() ast.Position

+ type InvalidIntersectedTypeError struct

+ Type Type

+ func (*InvalidIntersectedTypeError) IsUserError()

+ func (e *InvalidIntersectedTypeError) Error() string

+ type InvalidIntersectionTypeDuplicateError struct

+ Type *InterfaceType

+ func (*InvalidIntersectionTypeDuplicateError) IsUserError()

+ func (e *InvalidIntersectionTypeDuplicateError) Error() string

+ type InvalidMappedAuthorizationOutsideOfFieldError struct

+ Map *EntitlementMapType

+ func (*InvalidMappedAuthorizationOutsideOfFieldError) IsUserError()

+ func (e *InvalidMappedAuthorizationOutsideOfFieldError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidMappedAuthorizationOutsideOfFieldError) Error() string

+ func (e *InvalidMappedAuthorizationOutsideOfFieldError) StartPosition() ast.Position

+ type InvalidMappedEntitlementMemberError struct

+ Pos ast.Position

+ func (*InvalidMappedEntitlementMemberError) IsUserError()

+ func (e *InvalidMappedEntitlementMemberError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidMappedEntitlementMemberError) Error() string

+ func (e *InvalidMappedEntitlementMemberError) StartPosition() ast.Position

+ type InvalidNonEntitlementAccessError struct

+ func (*InvalidNonEntitlementAccessError) IsUserError()

+ func (e *InvalidNonEntitlementAccessError) Error() string

+ type InvalidNonEntitlementTypeInMapError struct

+ Pos ast.Position

+ func (*InvalidNonEntitlementTypeInMapError) IsUserError()

+ func (e *InvalidNonEntitlementTypeInMapError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *InvalidNonEntitlementTypeInMapError) Error() string

+ func (e *InvalidNonEntitlementTypeInMapError) StartPosition() ast.Position

+ type InvalidTypeArgumentError struct

+ Details string

+ TypeArgumentName string

+ func (*InvalidTypeArgumentError) IsUserError()

+ func (e *InvalidTypeArgumentError) Error() string

+ func (e *InvalidTypeArgumentError) SecondaryError() string

type InvalidUnaryOperandError

+ ExpectedTypeDescription string

+ type MappingAccessMissingKeywordError struct

+ Type Type

+ func (*MappingAccessMissingKeywordError) IsUserError()

+ func (e *MappingAccessMissingKeywordError) Error() string

+ func (e *MappingAccessMissingKeywordError) SecondaryError() string

type Member

+ HasConditions bool

+ func NewConstructorMember(memoryGauge common.MemoryGauge, containerType Type, access Access, ...) *Member

+ func NewUnmeteredConstructorMember(containerType Type, access Access, identifier string, ...) *Member

+ type MemberAccessInfo struct

+ AccessedType Type

+ IsOptional bool

+ Member *Member

+ ResultingType Type

+ ReturnReference bool

+ type MissingTypeArgumentError struct

+ TypeArgumentName string

+ func (*MissingTypeArgumentError) IsUserError()

+ func (e *MissingTypeArgumentError) Error() string

type MultipleInterfaceDefaultImplementationsError

+ CompositeKindedType CompositeKindedType

+ type NestedReferenceError struct

+ Type *ReferenceType

+ func (*NestedReferenceError) IsUserError()

+ func (e *NestedReferenceError) Error() string

type NumericType

+ func (*NumericType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (*NumericType) IsOrContainsReferenceType() bool

+ func (*NumericType) IsPrimitiveType() bool

+ func (t *NumericType) ByteSize() int

+ func (t *NumericType) ContainFieldsOrElements() bool

+ func (t *NumericType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *NumericType) RewriteWithIntersectionTypes() (result Type, rewritten bool)

+ func (t *NumericType) WithByteSize(size int) *NumericType

type OptionalType

+ func (t *OptionalType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *OptionalType) ContainFieldsOrElements() bool

+ func (t *OptionalType) IsOrContainsReferenceType() bool

+ func (t *OptionalType) IsPrimitiveType() bool

+ func (t *OptionalType) Map(memoryGauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *OptionalType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *OptionalType) SupportedEntitlements() *EntitlementSet

type Parameter

+ DefaultArgument Type

+ type PrimitiveAccess ast.PrimitiveAccess

+ func (PrimitiveAccess) ID() TypeID

+ func (PrimitiveAccess) IsPrimitiveAccess() bool

+ func (a PrimitiveAccess) Equal(other Access) bool

+ func (a PrimitiveAccess) PermitsAccess(otherAccess Access) bool

+ func (a PrimitiveAccess) QualifiedKeyword() string

+ func (a PrimitiveAccess) QualifiedString() string

+ func (a PrimitiveAccess) String() string

+ type ReferenceToAnOptionalError struct

+ ReferencedOptionalType *OptionalType

+ func (*ReferenceToAnOptionalError) IsUserError()

+ func (e *ReferenceToAnOptionalError) Error() string

+ func (e *ReferenceToAnOptionalError) SecondaryError() string

type ReferenceType

+ Authorization Access

+ func MaybeReferenceType(typ Type) (*ReferenceType, bool)

+ func (*ReferenceType) ContainFieldsOrElements() bool

+ func (*ReferenceType) IsOrContainsReferenceType() bool

+ func (t *ReferenceType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *ReferenceType) IsPrimitiveType() bool

+ func (t *ReferenceType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *ReferenceType) RewriteWithIntersectionTypes() (Type, bool)

type SimpleType

+ ContainFields bool

+ Primitive bool

+ TypeTag TypeTag

+ func (*SimpleType) IsOrContainsReferenceType() bool

+ func (t *SimpleType) CheckInstantiated(_ ast.HasPosition, _ common.MemoryGauge, _ func(err error))

+ func (t *SimpleType) ContainFieldsOrElements() bool

+ func (t *SimpleType) IsPrimitiveType() bool

+ func (t *SimpleType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *SimpleType) RewriteWithIntersectionTypes() (Type, bool)

type TransactionType

+ func (*TransactionType) ContainFieldsOrElements() bool

+ func (*TransactionType) IsOrContainsReferenceType() bool

+ func (*TransactionType) IsPrimitiveType() bool

+ func (t *TransactionType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *TransactionType) Map(_ common.MemoryGauge, _ map[*TypeParameter]*TypeParameter, f func(Type) Type) Type

+ func (t *TransactionType) RewriteWithIntersectionTypes() (Type, bool)

type Type

+ func CheckIntersectionType(memoryGauge common.MemoryGauge, types []*InterfaceType, ...) Type

+ CheckInstantiated func(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ ContainFieldsOrElements func() bool

+ IsOrContainsReferenceType func() bool

+ IsPrimitiveType func() bool

+ Map func(memoryGauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ RewriteWithIntersectionTypes func() (result Type, rewritten bool)

type TypeAnnotation

+ func (a TypeAnnotation) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) TypeAnnotation

type TypeAnnotationState

+ const TypeAnnotationStateDirectEntitlementTypeAnnotation

+ type TypeArgumentsCheck func(memoryGauge common.MemoryGauge, typeArguments *TypeParameterTypeOrderedMap, ...)

type TypeID

+ func InclusiveRangeTypeID(memberTypeID string) TypeID

+ type TypeIDOrderedSet = orderedmap.OrderedMap[common.TypeID, struct{}]

+ type UnauthorizedReferenceAssignmentError struct

+ FoundAccess Access

+ RequiredAccess [2]Access

+ func (*UnauthorizedReferenceAssignmentError) IsUserError()

+ func (e *UnauthorizedReferenceAssignmentError) Error() string

+ func (e *UnauthorizedReferenceAssignmentError) SecondaryError() string

+ type UnrepresentableEntitlementMapOutputError struct

+ Input EntitlementSetAccess

+ Map *EntitlementMapType

+ func (*UnrepresentableEntitlementMapOutputError) IsUserError()

+ func (e *UnrepresentableEntitlementMapOutputError) EndPosition(common.MemoryGauge) ast.Position

+ func (e *UnrepresentableEntitlementMapOutputError) Error() string

+ func (e *UnrepresentableEntitlementMapOutputError) SecondaryError() string

+ func (e *UnrepresentableEntitlementMapOutputError) StartPosition() ast.Position

type VariableSizedType

+ func (t *VariableSizedType) CheckInstantiated(pos ast.HasPosition, memoryGauge common.MemoryGauge, report func(err error))

+ func (t *VariableSizedType) ContainFieldsOrElements() bool

+ func (t *VariableSizedType) IsOrContainsReferenceType() bool

+ func (t *VariableSizedType) IsPrimitiveType() bool

+ func (t *VariableSizedType) Map(gauge common.MemoryGauge, typeParamMap map[*TypeParameter]*TypeParameter, ...) Type

+ func (t *VariableSizedType) RewriteWithIntersectionTypes() (Type, bool)

+ func (t *VariableSizedType) SupportedEntitlements() *EntitlementSet

v1.0.0-preview-atree-register-inlining.39

Jul 24, 2024

v1.0.0-preview-atree-register-inlining.38

Jul 16, 2024

v1.0.0-preview-atree-register-inlining.37

Jul 12, 2024

v1.0.0-preview-atree-register-inlining.36

Jul 8, 2024

v1.0.0-preview-atree-register-inlining.35

Jun 25, 2024

v1.0.0-preview-atree-register-inlining.34

Jun 12, 2024

v1.0.0-preview-atree-register-inlining.32

Jun 4, 2024

v1.0.0-preview-atree-register-inlining.30

May 28, 2024

v1.0.0-preview-atree-register-inlining.29

May 17, 2024

v1.0.0-preview-atree-register-inlining.28

May 15, 2024

v1.0.0-preview-atree-register-inlining.27

May 15, 2024

v1.0.0-preview-atree-register-inlining.26

May 7, 2024

v1.0.0-preview-atree-register-inlining.25

May 2, 2024

v1.0.0-preview-atree-register-inlining.24

May 1, 2024

v1.0.0-preview-atree-register-inlining.23

Apr 26, 2024

v1.0.0-preview-atree-register-inlining.22

Apr 24, 2024

v1.0.0-preview-atree-register-inlining.21

Apr 18, 2024

v1.0.0-preview.52

Aug 31, 2024

v1.0.0-preview.51

Aug 29, 2024

v1.0.0-preview.50

Aug 22, 2024

v1.0.0-preview.49

Aug 21, 2024

v1.0.0-preview.48

Aug 13, 2024

v1.0.0-preview.47

Aug 13, 2024

v1.0.0-preview.46

Aug 12, 2024

v1.0.0-preview.45

Aug 12, 2024

v1.0.0-preview.44

Aug 9, 2024

v1.0.0-preview.43

Aug 8, 2024

v1.0.0-preview.42

Jul 31, 2024

v1.0.0-preview.41

Jul 29, 2024

v1.0.0-preview.40

Jul 25, 2024

v1.0.0-preview.39

Jul 24, 2024

v1.0.0-preview.38

Jul 16, 2024

v1.0.0-preview.37

Jul 12, 2024

v1.0.0-preview.36

Jul 8, 2024

v1.0.0-preview.35

Jun 24, 2024

v1.0.0-preview.34

Jun 12, 2024

v1.0.0-preview.33

Jun 5, 2024

v1.0.0-preview.32

Jun 4, 2024

v1.0.0-preview.31

May 29, 2024

v1.0.0-preview.30

May 28, 2024

v1.0.0-preview.29

May 17, 2024

v1.0.0-preview.28

May 15, 2024

v1.0.0-preview.27

May 15, 2024

v1.0.0-preview.26

May 7, 2024

v1.0.0-preview.25

May 1, 2024

v1.0.0-preview.24

Apr 30, 2024

v1.0.0-preview.23

Apr 26, 2024

v1.0.0-preview.22

Apr 24, 2024

v1.0.0-preview.21

Apr 18, 2024

v1.0.0-preview.20

Apr 12, 2024

v1.0.0-preview.19

Apr 3, 2024

v1.0.0-preview.18

Mar 27, 2024

v1.0.0-preview.17

Mar 27, 2024

v1.0.0-preview.16

Mar 20, 2024

v1.0.0-preview.15

Mar 18, 2024

v1.0.0-preview.14

Mar 13, 2024

v1.0.0-preview.13

Mar 13, 2024

v1.0.0-preview.12

Mar 11, 2024

v1.0.0-preview.11

Mar 11, 2024

v1.0.0-preview.10

Mar 8, 2024

v1.0.0-preview.2

Jan 16, 2024

v1.0.0-preview.1

Sep 18, 2023

v1.0.0-M9

Mar 4, 2024

v1.0.0-M8

Feb 22, 2024

v1.0.0-M7

Feb 14, 2024

v1.0.0-M6

Feb 12, 2024

v1.0.0-M5

Feb 2, 2024

v1.0.0-M4

Jan 26, 2024

v1.0.0-M3

Jan 24, 2024

v1.0.0-M10

Mar 8, 2024

v0

v0.42.12

Jun 13, 2024

v0.42.11

May 9, 2024

v0.42.11-atree-register-inlining.2

Apr 29, 2024

v0.42.11-atree-register-inlining

Apr 17, 2024

v0.42.10

Apr 10, 2024

v0.42.9

Feb 7, 2024

v0.42.8

Jan 26, 2024

Changes in this version

type CheckerError

+ func (e CheckerError) Unwrap() []error

v0.42.7

Jan 5, 2024

Changes in this version

+ const AuthAccountContractsTypeTryUpdateFunctionDocString

+ const AuthAccountContractsTypeTryUpdateFunctionName

+ const DeploymentResultTypeDeployedContractFieldDocString

+ const DeploymentResultTypeDeployedContractFieldName

+ const DeploymentResultTypeName

+ var AuthAccountContractsTypeTryUpdateFunctionType = &FunctionType

+ var DeploymentResultType = func() *CompositeType { ... }()

+ var DeploymentResultTypeDeployedContractFieldType = &OptionalType

v0.42.6

Nov 30, 2023

Changes in this version

+ type InvalidInterfaceConditionResourceInvalidationError struct

+ func (*InvalidInterfaceConditionResourceInvalidationError) IsUserError()

+ func (e *InvalidInterfaceConditionResourceInvalidationError) Error() string

v0.42.5

Nov 9, 2023

v0.42.4

Nov 8, 2023

v0.42.3

Oct 30, 2023

v0.42.2

Oct 26, 2023

v0.42.1

Oct 23, 2023

Changes in this version

+ type ActivationHandlerFunc func(common.Location) *VariableActivation

type Config

+ BaseTypeActivationHandler ActivationHandlerFunc

+ BaseValueActivationHandler ActivationHandlerFunc

+ type InvalidTypeParameterizedNonNativeFunctionError struct

+ func (*InvalidTypeParameterizedNonNativeFunctionError) IsUserError()

+ func (e *InvalidTypeParameterizedNonNativeFunctionError) Error() string

type VariableActivations

+ func NewVariableActivationsFromHandler(handler ActivationHandlerFunc, location common.Location, ...) *VariableActivations

v0.42.0

Oct 5, 2023

Changes in this version

+ const TypeIDSeparator

type CompositeType

+ func (t *CompositeType) ResolveMembers()

+ type NativeFunctionWithImplementationError struct

+ func (*NativeFunctionWithImplementationError) IsUserError()

+ func (e *NativeFunctionWithImplementationError) Error() string

type Type

+ func TypeActivationNestedType(typeActivation *VariableActivation, qualifiedIdentifier string) Type

v0.41.1

Sep 19, 2023

Changes in this version

+ const StringTypeJoinFunctionDocString

+ const StringTypeJoinFunctionName

+ var StringTypeJoinFunctionType = &FunctionType

v0.41.0

Sep 14, 2023

Changes in this version

+ const AccountCapabilityControllerTypeCapabilityFieldDocString

+ const AccountCapabilityControllerTypeCapabilityFieldName

+ const ArrayTypeFilterFunctionName

+ const ArrayTypeMapFunctionName

+ const CapabilityTypeFunctionName

+ const CompositeTypeFunctionName

+ const ConstantSizedArrayTypeFunctionName

+ const DictionaryTypeFunctionName

+ const FunctionTypeFunctionName

+ const InterfaceTypeFunctionName

+ const OptionalTypeFunctionName

+ const ReferenceTypeFunctionName

+ const RestrictedTypeFunctionName

+ const StorageCapabilityControllerTypeCapabilityFieldDocString

+ const StorageCapabilityControllerTypeCapabilityFieldName

+ const VariableSizedArrayTypeFunctionName

+ var AccountCapabilityControllerTypeCapabilityFieldType = &CapabilityType

+ var StorageCapabilityControllerTypeCapabilityFieldType = &CapabilityType

type FunctionType

+ func ArrayFilterFunctionType(memoryGauge common.MemoryGauge, elementType Type) *FunctionType

+ func ArrayMapFunctionType(memoryGauge common.MemoryGauge, arrayType ArrayType) *FunctionType

type TypeID

+ func ConstantSizedTypeID(elementTypeID TypeID, size int64) TypeID

+ func DictionaryTypeID(keyTypeID TypeID, valueTypeID TypeID) TypeID

+ func OptionalTypeID(elementTypeID TypeID) TypeID

+ func VariableSizedTypeID(elementTypeID TypeID) TypeID

v0.41.0-stable-cadence.1

Aug 15, 2023

v0.40.0

Aug 3, 2023

Changes in this version

+ const ArrayTypeReverseFunctionName

+ const CharacterTypeUtf8FieldDocString

+ const CharacterTypeUtf8FieldName

+ var CharacterTypeUtf8FieldType = &VariableSizedType

type FixedPointNumericType

+ func (t *FixedPointNumericType) WithSaturatingFunctions(saturatingArithmetic SaturatingArithmeticSupport) *FixedPointNumericType

type FunctionType

+ func ArrayReverseFunctionType(arrayType ArrayType) *FunctionType

+ type HasSuggestedFixes interface

+ SuggestFixes func(code string) []SuggestedFix

type IncorrectArgumentLabelError

+ func (e *IncorrectArgumentLabelError) SuggestFixes(code string) []SuggestedFix

type MissingArgumentLabelError

+ func (e *MissingArgumentLabelError) SuggestFixes(_ string) []SuggestedFix

type NotDeclaredMemberError

+ func (e *NotDeclaredMemberError) SuggestFixes(_ string) []SuggestedFix

type NumericType

+ func (t *NumericType) WithSaturatingFunctions(saturatingArithmetic SaturatingArithmeticSupport) *NumericType

+ type SaturatingArithmeticSupport struct

+ Add bool

+ Divide bool

+ Multiply bool

+ Subtract bool

+ type SuggestedFix struct

+ Message string

+ TextEdits []TextEdit

+ type TextEdit struct

+ Insertion string

+ Replacement string

v0.39.17

Oct 26, 2023

v0.39.16

Oct 5, 2023

v0.39.15

Sep 19, 2023

v0.39.14

Jul 11, 2023

Changes in this version

+ type Arity struct

+ Max int

+ Min int

+ func (arity *Arity) MaxCount(parameterCount int) *int

+ func (arity *Arity) MinCount(parameterCount int) int

+ type ExcessiveArgumentsError struct

+ ActualCount int

+ MaxCount int

+ func (*ExcessiveArgumentsError) IsUserError()

+ func (e *ExcessiveArgumentsError) Error() string

+ func (e *ExcessiveArgumentsError) SecondaryError() string

type FunctionType

+ Arity *Arity

+ type InsufficientArgumentsError struct

+ ActualCount int

+ MinCount int

+ func (*InsufficientArgumentsError) IsUserError()

+ func (e *InsufficientArgumentsError) Error() string

+ func (e *InsufficientArgumentsError) SecondaryError() string

v0.39.13-stable-cadence

Jun 26, 2023

v0.39.12

Jun 21, 2023

v0.39.11

Jun 20, 2023

v0.39.10

Jun 17, 2023

v0.39.9

Jun 13, 2023

v0.39.8

Jun 12, 2023

v0.39.8-patch.1

Jun 13, 2023

v0.39.7

Jun 12, 2023

v0.39.6

Jun 9, 2023

v0.39.5

Jun 8, 2023

v0.39.4

Jun 7, 2023

v0.39.3

Jun 7, 2023

v0.39.2

Jun 6, 2023

v0.39.1

May 31, 2023

v0.39.0

May 31, 2023

Changes in this version

+ const AccountCapabilityControllerTypeBorrowTypeFieldDocString

+ const AccountCapabilityControllerTypeBorrowTypeFieldName

+ const AccountCapabilityControllerTypeCapabilityIDFieldDocString

+ const AccountCapabilityControllerTypeCapabilityIDFieldName

+ const AccountCapabilityControllerTypeDeleteFunctionDocString

+ const AccountCapabilityControllerTypeDeleteFunctionName

+ const AccountCapabilityControllerTypeName

+ const AccountCapabilityControllerTypeTagFieldDocString

+ const AccountCapabilityControllerTypeTagFieldName

+ const AddressTypeFromBytesFunctionDocString

+ const AddressTypeFromBytesFunctionName

+ const AddressTypeFromStringFunctionDocString

+ const AddressTypeFromStringFunctionName

+ const AuthAccountAccountCapabilitiesTypeForEachControllerFunctionDocString

+ const AuthAccountAccountCapabilitiesTypeForEachControllerFunctionName

+ const AuthAccountAccountCapabilitiesTypeGetControllerFunctionDocString

+ const AuthAccountAccountCapabilitiesTypeGetControllerFunctionName

+ const AuthAccountAccountCapabilitiesTypeGetControllersFunctionDocString

+ const AuthAccountAccountCapabilitiesTypeGetControllersFunctionName

+ const AuthAccountAccountCapabilitiesTypeIssueFunctionDocString

+ const AuthAccountAccountCapabilitiesTypeIssueFunctionName

+ const AuthAccountAccountCapabilitiesTypeName

+ const AuthAccountCapabilitiesTypeAccountFieldDocString

+ const AuthAccountCapabilitiesTypeAccountFieldName

+ const AuthAccountCapabilitiesTypeBorrowFunctionDocString

+ const AuthAccountCapabilitiesTypeBorrowFunctionName

+ const AuthAccountCapabilitiesTypeGetFunctionDocString

+ const AuthAccountCapabilitiesTypeGetFunctionName

+ const AuthAccountCapabilitiesTypeMigrateLinkFunctionDocString

+ const AuthAccountCapabilitiesTypeMigrateLinkFunctionName

+ const AuthAccountCapabilitiesTypeName

+ const AuthAccountCapabilitiesTypePublishFunctionDocString

+ const AuthAccountCapabilitiesTypePublishFunctionName

+ const AuthAccountCapabilitiesTypeStorageFieldDocString

+ const AuthAccountCapabilitiesTypeStorageFieldName

+ const AuthAccountCapabilitiesTypeUnpublishFunctionDocString

+ const AuthAccountCapabilitiesTypeUnpublishFunctionName

+ const AuthAccountContractsTypeAddFunctionDocString

+ const AuthAccountContractsTypeBorrowFunctionDocString

+ const AuthAccountContractsTypeBorrowFunctionName

+ const AuthAccountContractsTypeGetFunctionDocString

+ const AuthAccountContractsTypeNamesFieldDocString

+ const AuthAccountContractsTypeNamesFieldName

+ const AuthAccountContractsTypeRemoveFunctionDocString

+ const AuthAccountContractsTypeUpdate__experimentalFunctionDocString

+ const AuthAccountContractsTypeUpdate__experimentalFunctionName

+ const AuthAccountInboxTypeClaimFunctionDocString

+ const AuthAccountInboxTypeClaimFunctionName

+ const AuthAccountInboxTypePublishFunctionDocString

+ const AuthAccountInboxTypePublishFunctionName

+ const AuthAccountInboxTypeUnpublishFunctionDocString

+ const AuthAccountInboxTypeUnpublishFunctionName

+ const AuthAccountKeysTypeAddFunctionDocString

+ const AuthAccountKeysTypeAddFunctionName

+ const AuthAccountKeysTypeCountFieldDocString

+ const AuthAccountKeysTypeCountFieldName

+ const AuthAccountKeysTypeForEachFunctionDocString

+ const AuthAccountKeysTypeForEachFunctionName

+ const AuthAccountKeysTypeGetFunctionDocString

+ const AuthAccountKeysTypeGetFunctionName

+ const AuthAccountKeysTypeName

+ const AuthAccountKeysTypeRevokeFunctionDocString

+ const AuthAccountKeysTypeRevokeFunctionName

+ const AuthAccountStorageCapabilitiesTypeForEachControllerFunctionDocString

+ const AuthAccountStorageCapabilitiesTypeForEachControllerFunctionName

+ const AuthAccountStorageCapabilitiesTypeGetControllerFunctionDocString

+ const AuthAccountStorageCapabilitiesTypeGetControllerFunctionName

+ const AuthAccountStorageCapabilitiesTypeGetControllersFunctionDocString

+ const AuthAccountStorageCapabilitiesTypeGetControllersFunctionName

+ const AuthAccountStorageCapabilitiesTypeIssueFunctionDocString

+ const AuthAccountStorageCapabilitiesTypeIssueFunctionName

+ const AuthAccountStorageCapabilitiesTypeName

+ const AuthAccountTypeAddPublicKeyFunctionDocString

+ const AuthAccountTypeAddressFieldDocString

+ const AuthAccountTypeAvailableBalanceFieldDocString

+ const AuthAccountTypeBalanceFieldDocString

+ const AuthAccountTypeBorrowFunctionDocString

+ const AuthAccountTypeCapabilitiesFieldDocString

+ const AuthAccountTypeCapabilitiesFieldName

+ const AuthAccountTypeCheckFunctionDocString

+ const AuthAccountTypeCheckFunctionName

+ const AuthAccountTypeContractsFieldDocString

+ const AuthAccountTypeCopyFunctionDocString

+ const AuthAccountTypeForEachPrivateFunctionDocString

+ const AuthAccountTypeForEachPublicFunctionDocString

+ const AuthAccountTypeForEachStoredFunctionDocString

+ const AuthAccountTypeGetCapabilityFunctionDocString

+ const AuthAccountTypeGetLinkTargetFunctionDocString

+ const AuthAccountTypeInboxFieldDocString

+ const AuthAccountTypeKeysFieldDocString

+ const AuthAccountTypeLinkAccountFunctionDocString

+ const AuthAccountTypeLinkFunctionDocString

+ const AuthAccountTypeLoadFunctionDocString

+ const AuthAccountTypePrivatePathsFieldDocString

+ const AuthAccountTypePublicPathsFieldDocString

+ const AuthAccountTypeRemovePublicKeyFunctionDocString

+ const AuthAccountTypeSaveFunctionDocString

+ const AuthAccountTypeStorageCapacityFieldDocString

+ const AuthAccountTypeStoragePathsFieldDocString

+ const AuthAccountTypeStorageUsedFieldDocString

+ const AuthAccountTypeTypeFunctionDocString

+ const AuthAccountTypeUnlinkFunctionDocString

+ const CapabilityTypeIDFieldName

+ const CharacterTypeName

+ const CharacterTypeToStringFunctionDocString

+ const CharacterTypeToStringFunctionName

+ const DeployedContractTypeAddressFieldDocString

+ const DeployedContractTypeCodeFieldDocString

+ const DeployedContractTypeName

+ const DeployedContractTypeNameFieldDocString

+ const FromBigEndianBytesFunctionName

+ const MetaTypeIdentifierFieldName

+ const MetaTypeIsSubtypeFunctionName

+ const PublicAccountCapabilitiesTypeBorrowFunctionDocString

+ const PublicAccountCapabilitiesTypeBorrowFunctionName

+ const PublicAccountCapabilitiesTypeGetFunctionDocString

+ const PublicAccountCapabilitiesTypeGetFunctionName

+ const PublicAccountCapabilitiesTypeName

+ const PublicAccountContractsTypeBorrowFunctionDocString

+ const PublicAccountContractsTypeBorrowFunctionName

+ const PublicAccountContractsTypeGetFunctionDocString

+ const PublicAccountContractsTypeNamesFieldDocString

+ const PublicAccountContractsTypeNamesFieldName

+ const PublicAccountKeysTypeCountFieldDocString

+ const PublicAccountKeysTypeCountFieldName

+ const PublicAccountKeysTypeForEachFunctionDocString

+ const PublicAccountKeysTypeForEachFunctionName

+ const PublicAccountKeysTypeGetFunctionDocString

+ const PublicAccountKeysTypeGetFunctionName

+ const PublicAccountKeysTypeName

+ const PublicAccountTypeAddressFieldDocString

+ const PublicAccountTypeAvailableBalanceFieldDocString

+ const PublicAccountTypeBalanceFieldDocString

+ const PublicAccountTypeCapabilitiesFieldDocString

+ const PublicAccountTypeCapabilitiesFieldName

+ const PublicAccountTypeContractsFieldDocString

+ const PublicAccountTypeForEachPublicFunctionDocString

+ const PublicAccountTypeForEachPublicFunctionName

+ const PublicAccountTypeGetCapabilityFunctionDocString

+ const PublicAccountTypeGetCapabilityFunctionName

+ const PublicAccountTypeGetLinkTargetFunctionDocString

+ const PublicAccountTypeGetLinkTargetFunctionName

+ const PublicAccountTypeKeysFieldDocString

+ const PublicAccountTypePublicPathsFieldDocString

+ const PublicAccountTypePublicPathsFieldName

+ const PublicAccountTypeStorageCapacityFieldDocString

+ const PublicAccountTypeStorageUsedFieldDocString

+ const StorageCapabilityControllerTypeBorrowTypeFieldDocString

+ const StorageCapabilityControllerTypeBorrowTypeFieldName

+ const StorageCapabilityControllerTypeCapabilityIDFieldDocString

+ const StorageCapabilityControllerTypeCapabilityIDFieldName

+ const StorageCapabilityControllerTypeDeleteFunctionDocString

+ const StorageCapabilityControllerTypeDeleteFunctionName

+ const StorageCapabilityControllerTypeName

+ const StorageCapabilityControllerTypeRetargetFunctionDocString

+ const StorageCapabilityControllerTypeRetargetFunctionName

+ const StorageCapabilityControllerTypeTagFieldDocString

+ const StorageCapabilityControllerTypeTagFieldName

+ const StorageCapabilityControllerTypeTargetFunctionDocString

+ const StorageCapabilityControllerTypeTargetFunctionName

+ const StringTypeConcatFunctionName

+ const StringTypeDecodeHexFunctionName

+ const StringTypeLengthFieldName

+ const StringTypeSliceFunctionName

+ const StringTypeToLowerFunctionName

+ const StringTypeUtf8FieldName

+ const Word128TypeName

+ const Word256TypeName

+ var AccountCapabilityControllerType = &SimpleType

+ var AccountCapabilityControllerTypeAnnotation = NewTypeAnnotation(AccountCapabilityControllerType)

+ var AccountCapabilityControllerTypeBorrowTypeFieldType = MetaType

+ var AccountCapabilityControllerTypeCapabilityIDFieldType = UInt64Type

+ var AccountCapabilityControllerTypeDeleteFunctionType = &FunctionType

+ var AccountCapabilityControllerTypeTag = newTypeTagFromUpperMask(accountCapabilityControllerTypeMask)

+ var AccountCapabilityControllerTypeTagFieldType = StringType

+ var AddressTypeFromBytesFunctionType = &FunctionType

+ var AddressTypeFromStringFunctionType = FromStringFunctionType(TheAddressType)

+ var AuthAccountAccountCapabilitiesType = func() *CompositeType { ... }()

+ var AuthAccountAccountCapabilitiesTypeForEachControllerFunctionType = &FunctionType

+ var AuthAccountAccountCapabilitiesTypeGetControllerFunctionType = &FunctionType

+ var AuthAccountAccountCapabilitiesTypeGetControllersFunctionType = &FunctionType

+ var AuthAccountAccountCapabilitiesTypeIssueFunctionType = &FunctionType

+ var AuthAccountAccountCapabilitiesTypeIssueFunctionTypeParameterT = &TypeParameter

+ var AuthAccountCapabilitiesType = func() *CompositeType { ... }()

+ var AuthAccountCapabilitiesTypeAccountFieldType = AuthAccountAccountCapabilitiesType

+ var AuthAccountCapabilitiesTypeBorrowFunctionType = &FunctionType

+ var AuthAccountCapabilitiesTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var AuthAccountCapabilitiesTypeGetFunctionType = &FunctionType

+ var AuthAccountCapabilitiesTypeGetFunctionTypeParameterT = &TypeParameter

+ var AuthAccountCapabilitiesTypeMigrateLinkFunctionType = &FunctionType

+ var AuthAccountCapabilitiesTypePublishFunctionType = &FunctionType

+ var AuthAccountCapabilitiesTypeStorageFieldType = AuthAccountStorageCapabilitiesType

+ var AuthAccountCapabilitiesTypeUnpublishFunctionType = &FunctionType

+ var AuthAccountContractsTypeBorrowFunctionType = &FunctionType

+ var AuthAccountContractsTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var AuthAccountContractsTypeNamesFieldType = &VariableSizedType

+ var AuthAccountContractsTypeUpdate__experimentalFunctionType = &FunctionType

+ var AuthAccountInboxTypeClaimFunctionType = &FunctionType

+ var AuthAccountInboxTypeClaimFunctionTypeParameterT = &TypeParameter

+ var AuthAccountInboxTypePublishFunctionType = &FunctionType

+ var AuthAccountInboxTypeUnpublishFunctionType = &FunctionType

+ var AuthAccountInboxTypeUnpublishFunctionTypeParameterT = &TypeParameter

+ var AuthAccountKeysTypeCountFieldType = UInt64Type

+ var AuthAccountKeysTypeForEachFunctionType = &FunctionType

+ var AuthAccountKeysTypeGetFunctionType = &FunctionType

+ var AuthAccountStorageCapabilitiesType = func() *CompositeType { ... }()

+ var AuthAccountStorageCapabilitiesTypeForEachControllerFunctionType = &FunctionType

+ var AuthAccountStorageCapabilitiesTypeGetControllerFunctionType = &FunctionType

+ var AuthAccountStorageCapabilitiesTypeGetControllersFunctionType = &FunctionType

+ var AuthAccountStorageCapabilitiesTypeIssueFunctionType = &FunctionType

+ var AuthAccountStorageCapabilitiesTypeIssueFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeAddressFieldType = TheAddressType

+ var AuthAccountTypeAvailableBalanceFieldType = UFix64Type

+ var AuthAccountTypeBalanceFieldType = UFix64Type

+ var AuthAccountTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeCapabilitiesFieldType = AuthAccountCapabilitiesType

+ var AuthAccountTypeCheckFunctionType = &FunctionType

+ var AuthAccountTypeCheckFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeContractsFieldType = AuthAccountContractsType

+ var AuthAccountTypeCopyFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeForEachPrivateFunctionType = &FunctionType

+ var AuthAccountTypeForEachPublicFunctionType = &FunctionType

+ var AuthAccountTypeForEachStoredFunctionType = &FunctionType

+ var AuthAccountTypeGetCapabilityFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeGetLinkTargetFunctionType = &FunctionType

+ var AuthAccountTypeInboxFieldType = AuthAccountInboxType

+ var AuthAccountTypeKeysFieldType = AuthAccountKeysType

+ var AuthAccountTypeLinkAccountFunctionTypePathParameterTypeAnnotation = AuthAccountTypeLinkAccountFunctionType.Parameters[0].TypeAnnotation

+ var AuthAccountTypeLinkFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeLoadFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypePrivatePathsFieldType = &VariableSizedType

+ var AuthAccountTypePublicPathsFieldType = &VariableSizedType

+ var AuthAccountTypeSaveFunctionTypeParameterT = &TypeParameter

+ var AuthAccountTypeStorageCapacityFieldType = UInt64Type

+ var AuthAccountTypeStoragePathsFieldType = &VariableSizedType

+ var AuthAccountTypeStorageUsedFieldType = UInt64Type

+ var CapabilityTypeAddressFieldType = TheAddressType

+ var CapabilityTypeIDFieldType = UInt64Type

+ var CharacterTypeToStringFunctionType = &FunctionType

+ var DeployedContractTypeAddressFieldType = TheAddressType

+ var DeployedContractTypeCodeFieldType = &VariableSizedType

+ var DeployedContractTypeNameFieldType = StringType

+ var PublicAccountCapabilitiesType = func() *CompositeType { ... }()

+ var PublicAccountCapabilitiesTypeBorrowFunctionType = &FunctionType

+ var PublicAccountCapabilitiesTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var PublicAccountCapabilitiesTypeGetFunctionType = &FunctionType

+ var PublicAccountCapabilitiesTypeGetFunctionTypeParameterT = &TypeParameter

+ var PublicAccountContractsTypeBorrowFunctionType = &FunctionType

+ var PublicAccountContractsTypeBorrowFunctionTypeParameterT = &TypeParameter

+ var PublicAccountContractsTypeGetFunctionType = &FunctionType

+ var PublicAccountContractsTypeNamesFieldType = &VariableSizedType

+ var PublicAccountKeysTypeCountFieldType = UInt64Type

+ var PublicAccountKeysTypeForEachFunctionType = &FunctionType

+ var PublicAccountKeysTypeGetFunctionType = &FunctionType

+ var PublicAccountTypeAddressFieldType = TheAddressType

+ var PublicAccountTypeAvailableBalanceFieldType = UFix64Type

+ var PublicAccountTypeBalanceFieldType = UFix64Type

+ var PublicAccountTypeCapabilitiesFieldType = PublicAccountCapabilitiesType

+ var PublicAccountTypeContractsFieldType = PublicAccountContractsType

+ var PublicAccountTypeForEachPublicFunctionType = &FunctionType

+ var PublicAccountTypeGetCapabilityFunctionTypeParameterT = &TypeParameter

+ var PublicAccountTypeGetLinkTargetFunctionType = &FunctionType

+ var PublicAccountTypeKeysFieldType = PublicAccountKeysType

+ var PublicAccountTypePublicPathsFieldType = &VariableSizedType

+ var PublicAccountTypeStorageCapacityFieldType = UInt64Type

+ var PublicAccountTypeStorageUsedFieldType = UInt64Type

+ var StorageCapabilityControllerType = &SimpleType

+ var StorageCapabilityControllerTypeAnnotation = NewTypeAnnotation(StorageCapabilityControllerType)

+ var StorageCapabilityControllerTypeBorrowTypeFieldType = MetaType

+ var StorageCapabilityControllerTypeCapabilityIDFieldType = UInt64Type

+ var StorageCapabilityControllerTypeDeleteFunctionType = &FunctionType

+ var StorageCapabilityControllerTypeRetargetFunctionType = &FunctionType

+ var StorageCapabilityControllerTypeTag = newTypeTagFromUpperMask(storageCapabilityControllerTypeMask)

+ var StorageCapabilityControllerTypeTagFieldType = StringType

+ var StorageCapabilityControllerTypeTargetFunctionType = &FunctionType

+ var Word128Type = ...(Word128TypeMinIntBig, Word128TypeMaxIntBig)

+ var Word128TypeMaxIntBig = func() *big.Int { ... }()

+ var Word128TypeMaxIntPlusOneBig = func() *big.Int { ... }()

+ var Word128TypeMinIntBig = new(big.Int)

+ var Word128TypeTag = newTypeTagFromLowerMask(word128TypeMask)

+ var Word256Type = ...(Word256TypeMinIntBig, Word256TypeMaxIntBig)

+ var Word256TypeMaxIntBig = func() *big.Int { ... }()

+ var Word256TypeMaxIntPlusOneBig = func() *big.Int { ... }()

+ var Word256TypeMinIntBig = new(big.Int)

+ var Word256TypeTag = newTypeTagFromLowerMask(word256TypeMask)

+ func FormatCapabilityTypeID(borrowTypeString string) string

+ func FormatFunctionTypeID(typeParameters []string, parameters []string, returnTypeAnnotation string) string

+ func FormatReferenceTypeID(authorized bool, typeString string) string

+ func FormatRestrictedTypeID(typeString string, restrictionStrings []string) string

+ func FromBigEndianBytesFunctionDocstring(ty Type) string

+ func MembersAsResolvers(members []*Member) map[string]MemberResolver

+ func MembersFieldNames(members []*Member) []string

+ func MembersMapAsResolvers(members *StringMemberOrderedMap) map[string]MemberResolver

type AddressType

+ func (*AddressType) IsComparable() bool

type CapabilityType

+ func (*CapabilityType) IsComparable() bool

type CompositeType

+ func (*CompositeType) IsComparable() bool

+ func (t *CompositeType) SetNestedType(name string, nestedType ContainedType)

type Config

+ CapabilityControllersEnabled bool

type ConstantSizedType

+ func (t *ConstantSizedType) IsComparable() bool

type DictionaryType

+ func (*DictionaryType) IsComparable() bool

type FixedPointNumericType

+ func (t *FixedPointNumericType) IsComparable() bool

type FunctionType

+ func FromBigEndianBytesFunctionType(ty Type) *FunctionType

+ func (*FunctionType) IsComparable() bool

type GenericType

+ func (*GenericType) IsComparable() bool

type InterfaceType

+ func (*InterfaceType) IsComparable() bool

type Member

+ func NewFieldMember(memoryGauge common.MemoryGauge, containerType Type, access ast.Access, ...) *Member

+ func NewFunctionMember(memoryGauge common.MemoryGauge, containerType Type, access ast.Access, ...) *Member

+ func NewUnmeteredFieldMember(containerType Type, access ast.Access, variableKind ast.VariableKind, ...) *Member

+ func NewUnmeteredFunctionMember(containerType Type, access ast.Access, identifier string, ...) *Member

type NumericType

+ func (t *NumericType) IsComparable() bool

type OptionalType

+ func (*OptionalType) IsComparable() bool

type ReferenceType

+ func (*ReferenceType) IsComparable() bool

type RestrictedType

+ func (t *RestrictedType) IsComparable() bool

type SimpleType

+ Comparable bool

+ func (t *SimpleType) IsComparable() bool

type StringMemberOrderedMap

+ func MembersAsMap(members []*Member) *StringMemberOrderedMap

type TransactionType

+ func (*TransactionType) IsComparable() bool

type Type

+ IsComparable func() bool

type VariableSizedType

+ func (t *VariableSizedType) IsComparable() bool

v0.38.1

Apr 12, 2023

v0.38.0

Mar 30, 2023

v0.37.0

Mar 23, 2023

v0.36.0

Mar 8, 2023

Changes in this version

+ const AnyResourceAttachmentTypeName

+ const AnyStructAttachmentTypeName

+ const BaseIdentifier

+ var AnyResourceAttachmentType = &SimpleType

+ var AnyResourceAttachmentTypeTag = newTypeTagFromUpperMask(anyResourceAttachmentMask)

+ var AnyStructAttachmentType = &SimpleType

+ var AnyStructAttachmentTypeTag = newTypeTagFromUpperMask(anyStructAttachmentMask)

type AccessCheckMode

+ func (mode AccessCheckMode) IsReadableAccess(access ast.Access) bool

+ func (mode AccessCheckMode) IsWriteableAccess(access ast.Access) bool

+ type AttachNonAttachmentError struct

+ Type Type

+ func (*AttachNonAttachmentError) IsUserError()

+ func (e *AttachNonAttachmentError) Error() string

+ type AttachToInvalidTypeError struct

+ Type Type

+ func (*AttachToInvalidTypeError) IsUserError()

+ func (e *AttachToInvalidTypeError) Error() string

+ type AttachmentsNotEnabledError struct

+ func (*AttachmentsNotEnabledError) IsUserError()

+ func (e *AttachmentsNotEnabledError) Error() string

type Checker

+ func (checker *Checker) VisitAttachExpression(expression *ast.AttachExpression) Type

+ func (checker *Checker) VisitAttachmentDeclaration(declaration *ast.AttachmentDeclaration) (_ struct{})

+ func (checker *Checker) VisitRemoveStatement(statement *ast.RemoveStatement) (_ struct{})

type CompositeType

+ func (t *CompositeType) GetBaseType() Type

+ func (t *CompositeType) IsValidIndexingType(ty Type) bool

+ func (t *CompositeType) TypeIndexingElementType(indexingType Type) Type

type Config

+ AttachmentsEnabled bool

type Elaboration

+ func (e *Elaboration) AttachmentAccessTypes(expression *ast.IndexExpression) (ty Type, ok bool)

+ func (e *Elaboration) AttachmentRemoveTypes(stmt *ast.RemoveStatement) (ty Type)

+ func (e *Elaboration) SetAttachmentAccessTypes(expression *ast.IndexExpression, ty Type)

+ func (e *Elaboration) SetAttachmentRemoveTypes(stmt *ast.RemoveStatement, ty Type)

type FunctionType

+ func CompositeLikeConstructorType(elaboration *Elaboration, compositeDeclaration ast.CompositeLikeDeclaration, ...) (constructorFunctionType *FunctionType, argumentLabels []string)

+ type InvalidAttachmentAnnotationError struct

+ func (*InvalidAttachmentAnnotationError) IsUserError()

+ func (e *InvalidAttachmentAnnotationError) Error() string

+ type InvalidAttachmentRemoveError struct

+ Attachment Type

+ BaseType Type

+ func (*InvalidAttachmentRemoveError) IsUserError()

+ func (e *InvalidAttachmentRemoveError) Error() string

+ type InvalidAttachmentUsageError struct

+ func (*InvalidAttachmentUsageError) Error() string

+ func (*InvalidAttachmentUsageError) IsUserError()

+ type InvalidBaseTypeError struct

+ Attachment *CompositeType

+ BaseType Type

+ func (*InvalidBaseTypeError) IsUserError()

+ func (e *InvalidBaseTypeError) Error() string

type InvalidTypeIndexingError

+ BaseType Type

+ IndexingExpression ast.Expression

+ func (*InvalidTypeIndexingError) IsUserError()

type ReferenceType

+ func (t *ReferenceType) IsValidIndexingType(ty Type) bool

+ func (t *ReferenceType) TypeIndexingElementType(indexingType Type) Type

type RestrictedType

+ func (t *RestrictedType) IsValidIndexingType(ty Type) bool

+ func (t *RestrictedType) TypeIndexingElementType(indexingType Type) Type

type SimpleType

+ func (t *SimpleType) CompositeKind() common.CompositeKind

type TypeAnnotationState

+ const TypeAnnotationStateDirectAttachmentTypeAnnotation

+ type TypeIndexableType interface

+ IsValidIndexingType func(indexingType Type) bool

+ TypeIndexingElementType func(indexingType Type) Type

v0.35.0

Feb 24, 2023

Changes in this version

type Elaboration

+ func (e *Elaboration) AllExpressionTypes() map[ast.Expression]ExpressionTypes

+ func (e *Elaboration) ExpressionTypes(expression ast.Expression) ExpressionTypes

+ func (e *Elaboration) SetExpressionTypes(expression ast.Expression, types ExpressionTypes)

+ type ExpressionTypes struct

+ ActualType Type

+ ExpectedType Type

v0.34.0

Feb 16, 2023

v0.33.1

Feb 15, 2023

v0.33.0

Feb 8, 2023

v0.32.0

Feb 7, 2023

Changes in this version

+ const BlockTypeHeightFieldDocString

+ const BlockTypeIdFieldDocString

+ const BlockTypeIdFieldName

+ const BlockTypeName

+ const BlockTypeTimestampFieldDocString

+ const BlockTypeViewFieldDocString

+ const DeployedContractTypePublicTypesFunctionDocString

+ const DeployedContractTypePublicTypesFunctionName

+ const Fix64TypeSize

+ const FunctionPurityImpure

+ const FunctionPurityView

+ const Int128TypeSize

+ const Int16TypeSize

+ const Int256TypeSize

+ const Int32TypeSize

+ const Int64TypeSize

+ const Int8TypeSize

+ const UFix64TypeSize

+ const UInt128TypeSize

+ const UInt16TypeSize

+ const UInt256TypeSize

+ const UInt32TypeSize

+ const UInt64TypeSize

+ const UInt8TypeSize

+ const Word16TypeSize

+ const Word32TypeSize

+ const Word64TypeSize

+ const Word8TypeSize

+ var AccountKeyTypeAnnotation = NewTypeAnnotation(AccountKeyType)

+ var AddressTypeAnnotation = NewTypeAnnotation(TheAddressType)

+ var AnyStructTypeAnnotation = NewTypeAnnotation(AnyStructType)

+ var AuthAccountTypeAnnotation = NewTypeAnnotation(AuthAccountType)

+ var BlockTypeAnnotation = NewTypeAnnotation(BlockType)

+ var BlockTypeHeightFieldType = UInt64Type

+ var BlockTypeIdFieldType = &ConstantSizedType

+ var BlockTypeTimestampFieldType = UFix64Type

+ var BlockTypeViewFieldType = UInt64Type

+ var BoolTypeAnnotation = NewTypeAnnotation(BoolType)

+ var ByteArrayArrayTypeAnnotation = NewTypeAnnotation(ByteArrayArrayType)

+ var ByteArrayTypeAnnotation = NewTypeAnnotation(ByteArrayType)

+ var CapabilityPathTypeAnnotation = NewTypeAnnotation(CapabilityPathType)

+ var DeployedContractTypeAnnotation = NewTypeAnnotation(DeployedContractType)

+ var DeployedContractTypePublicTypesFunctionType = &FunctionType

+ var Fix64TypeAnnotation = NewTypeAnnotation(Fix64Type)

+ var FixedPointTypeAnnotation = NewTypeAnnotation(FixedPointType)

+ var HashAlgorithmTypeAnnotation = NewTypeAnnotation(HashAlgorithmType)

+ var Int128TypeAnnotation = NewTypeAnnotation(Int128Type)

+ var Int16TypeAnnotation = NewTypeAnnotation(Int16Type)

+ var Int256TypeAnnotation = NewTypeAnnotation(Int256Type)

+ var Int32TypeAnnotation = NewTypeAnnotation(Int32Type)

+ var Int64TypeAnnotation = NewTypeAnnotation(Int64Type)

+ var Int8TypeAnnotation = NewTypeAnnotation(Int8Type)

+ var IntTypeAnnotation = NewTypeAnnotation(IntType)

+ var IntegerTypeAnnotation = NewTypeAnnotation(IntegerType)

+ var MetaTypeAnnotation = NewTypeAnnotation(MetaType)

+ var MetaTypeFunctionType = NewSimpleFunctionType(FunctionPurityView, nil, MetaTypeAnnotation)

+ var NeverTypeAnnotation = NewTypeAnnotation(NeverType)

+ var NumberTypeAnnotation = NewTypeAnnotation(NumberType)

+ var OptionalDeployedContractTypeAnnotation = NewTypeAnnotation(&OptionalType{ ... })

+ var OptionalMetaTypeAnnotation = NewTypeAnnotation(&OptionalType{ ... })

+ var PathTypeAnnotation = NewTypeAnnotation(PathType)

+ var PrivatePathTypeAnnotation = NewTypeAnnotation(PrivatePathType)

+ var PublicAccountTypeAnnotation = NewTypeAnnotation(PublicAccountType)

+ var PublicKeyArrayTypeAnnotation = NewTypeAnnotation(PublicKeyArrayType)

+ var PublicKeyTypeAnnotation = NewTypeAnnotation(PublicKeyType)

+ var PublicPathTypeAnnotation = NewTypeAnnotation(PublicPathType)

+ var SaturatingArithmeticTypeFunctionTypes = map[Type]*FunctionType

+ var SignatureAlgorithmTypeAnnotation = NewTypeAnnotation(SignatureAlgorithmType)

+ var SignedFixedPointTypeAnnotation = NewTypeAnnotation(SignedFixedPointType)

+ var SignedIntegerTypeAnnotation = NewTypeAnnotation(SignedIntegerType)

+ var SignedNumberTypeAnnotation = NewTypeAnnotation(SignedNumberType)

+ var StoragePathTypeAnnotation = NewTypeAnnotation(StoragePathType)

+ var StringTypeAnnotation = NewTypeAnnotation(StringType)

+ var ToBigEndianBytesFunctionType = NewSimpleFunctionType(FunctionPurityView, nil, ByteArrayTypeAnnotation)

+ var UFix64TypeAnnotation = NewTypeAnnotation(UFix64Type)

+ var UInt128TypeAnnotation = NewTypeAnnotation(UInt128Type)

+ var UInt16TypeAnnotation = NewTypeAnnotation(UInt16Type)

+ var UInt256TypeAnnotation = NewTypeAnnotation(UInt256Type)

+ var UInt32TypeAnnotation = NewTypeAnnotation(UInt32Type)

+ var UInt64TypeAnnotation = NewTypeAnnotation(UInt64Type)

+ var UInt8TypeAnnotation = NewTypeAnnotation(UInt8Type)

+ var UIntTypeAnnotation = NewTypeAnnotation(UIntType)

+ var VoidTypeAnnotation = NewTypeAnnotation(VoidType)

+ var Word16TypeAnnotation = NewTypeAnnotation(Word16Type)

+ var Word32TypeAnnotation = NewTypeAnnotation(Word32Type)

+ var Word64TypeAnnotation = NewTypeAnnotation(Word64Type)

+ var Word8TypeAnnotation = NewTypeAnnotation(Word8Type)

type Checker

+ func (checker *Checker) CurrentPurityScope() PurityCheckScope

+ func (checker *Checker) EnforcePurity(operation ast.Element, purity FunctionPurity)

+ func (checker *Checker) InNewPurityScope(enforce bool, f func())

+ func (checker *Checker) ObserveImpureOperation(operation ast.Element)

+ func (checker *Checker) PopPurityScope() PurityCheckScope

+ func (checker *Checker) PushNewPurityScope(enforce bool, depth int)

type CompositeType

+ ConstructorPurity FunctionPurity

+ func (t *CompositeType) MemberMap() *StringMemberOrderedMap

+ type FunctionPurity int

+ func PurityFromAnnotation(purity ast.FunctionPurity) FunctionPurity

+ func (p FunctionPurity) String() string

type FunctionType

+ Purity FunctionPurity

+ func NewSimpleFunctionType(purity FunctionPurity, parameters []Parameter, ...) *FunctionType

type ImportedProgramError

+ func (e *ImportedProgramError) Unwrap() error

type InitializerMismatch

+ CompositePurity FunctionPurity

+ InterfacePurity FunctionPurity

type InterfaceType

+ InitializerPurity FunctionPurity

+ func (t *InterfaceType) MemberMap() *StringMemberOrderedMap

+ type InvalidatedResourceReferenceError struct

+ Invalidation ResourceInvalidation

+ func (*InvalidatedResourceReferenceError) IsUserError()

+ func (e *InvalidatedResourceReferenceError) Error() string

+ func (e *InvalidatedResourceReferenceError) ErrorNotes() []errors.ErrorNote

type NominalType

+ MemberMap func() *StringMemberOrderedMap

+ type PurityCheckScope struct

+ ActivationDepth int

+ EnforcePurity bool

+ type PurityError struct

+ func (*PurityError) IsUserError()

+ func (e *PurityError) Error() string

type ReturnInfo

+ DefinitelyExited bool

type Type

+ func MustInstantiate(t ParameterizedType, typeArguments ...Type) Type

v0.31.6

Jun 6, 2023

Changes in this version

+ var AuthAccountTypeLinkAccountFunctionTypePathParameterType = PrivatePathType

+ func IsAllowAccountLinkingPragma(declaration *ast.PragmaDeclaration) bool

type InvalidPragmaError

+ func (e *InvalidPragmaError) SecondaryError() string

v0.31.5

Feb 23, 2023

v0.31.5-account-linking-improved-pragma-patch.2

Apr 12, 2023

v0.31.5-account-linking-improved-pragma-patch.1

Mar 30, 2023

v0.31.5-account-linking-improved-pragma

Mar 13, 2023

v0.31.5-account-link-pragma

Feb 28, 2023

v0.31.5-account-link-improvements

Mar 6, 2023

v0.31.3

Jan 13, 2023

v0.31.3-attachments-2

Jan 30, 2023

v0.31.2

Jan 5, 2023

v0.31.1

Jan 4, 2023

v0.31.0

Dec 22, 2022

Changes in this version

type AssignmentToConstantError

+ func (e *AssignmentToConstantError) SecondaryError() string

type ControlStatementError

+ func (e *ControlStatementError) SecondaryError() string

type FieldTypeNotStorableError

+ func (e *FieldTypeNotStorableError) SecondaryError() string

type InvalidEnumRawTypeError

+ func (e *InvalidEnumRawTypeError) SecondaryError() string

type UnreachableStatementError

+ func (e *UnreachableStatementError) SecondaryError() string

v0.30.0

Dec 13, 2022

Changes in this version

+ const AccountContractsTypeBorrowFunctionName

+ const AccountContractsTypeGetFunctionName

+ const AccountContractsTypeNamesFieldName

+ const AccountKeyHashAlgoFieldName

+ const AccountKeyIsRevokedFieldName

+ const AccountKeyKeyIndexFieldName

+ const AccountKeyPublicKeyFieldName

+ const AccountKeyWeightFieldName

+ const AccountKeysTypeAddFunctionName

+ const AccountKeysTypeCountFieldName

+ const AccountKeysTypeGetFunctionName

+ const AccountKeysTypeRevokeFunctionName

+ const AuthAccountTypeAddPublicKeyFunctionName

+ const AuthAccountTypeAddressFieldName

+ const AuthAccountTypeAvailableBalanceFieldName

+ const AuthAccountTypeBalanceFieldName

+ const AuthAccountTypeBorrowFunctionName

+ const AuthAccountTypeContractsFieldName

+ const AuthAccountTypeCopyFunctionName

+ const AuthAccountTypeForEachPrivateFunctionName

+ const AuthAccountTypeForEachPublicFunctionName

+ const AuthAccountTypeForEachStoredFunctionName

+ const AuthAccountTypeGetCapabilityFunctionName

+ const AuthAccountTypeGetLinkTargetFunctionName

+ const AuthAccountTypeInboxClaimFunctionName

+ const AuthAccountTypeInboxFieldName

+ const AuthAccountTypeInboxPublishFunctionName

+ const AuthAccountTypeInboxUnpublishFunctionName

+ const AuthAccountTypeKeysFieldName

+ const AuthAccountTypeLinkAccountFunctionName

+ const AuthAccountTypeLinkFunctionName

+ const AuthAccountTypeLoadFunctionName

+ const AuthAccountTypePrivatePathsFieldName

+ const AuthAccountTypePublicPathsFieldName

+ const AuthAccountTypeRemovePublicKeyFunctionName

+ const AuthAccountTypeSaveFunctionName

+ const AuthAccountTypeStorageCapacityFieldName

+ const AuthAccountTypeStoragePathsFieldName

+ const AuthAccountTypeStorageUsedFieldName

+ const AuthAccountTypeTypeFunctionName

+ const AuthAccountTypeUnlinkFunctionName

+ const CapabilityTypeAddressFieldName

+ const CapabilityTypeBorrowFunctionName

+ const CapabilityTypeCheckFunctionName

+ const ContractAccountFieldName

+ const OptionalTypeMapFunctionName

+ const PublicAccountTypeAddressFieldName

+ const PublicAccountTypeAvailableBalanceFieldName

+ const PublicAccountTypeBalanceFieldName

+ const PublicAccountTypeContractsFieldName

+ const PublicAccountTypeForEachPublicFieldName

+ const PublicAccountTypeGetCapabilityFieldName

+ const PublicAccountTypeGetTargetLinkFieldName

+ const PublicAccountTypeKeysFieldName

+ const PublicAccountTypePathsFieldName

+ const PublicAccountTypeStorageCapacityFieldName

+ const PublicAccountTypeStorageUsedFieldName

+ const PublicKeyTypePublicKeyFieldName

+ const PublicKeyTypeSignAlgoFieldName

+ const PublicKeyTypeVerifyFunctionName

+ const PublicKeyTypeVerifyPoPFunctionName

+ var AccountContractsTypeBorrowFunctionType = func() *FunctionType { ... }()

+ var AccountContractsTypeGetFunctionType = &FunctionType

+ var BlockTypeIDFieldType = &ConstantSizedType

+ var TheAddressType = &AddressType

+ func ErrorMessageExpectedActualTypes(expectedType Type, actualType Type) (expected string, actual string)

type AddressType

+ func (*AddressType) IsExportable(_ map[*Member]bool) bool

type CapabilityType

+ func (*CapabilityType) IsExportable(_ map[*Member]bool) bool

+ type CastingExpressionTypes struct

+ StaticValueType Type

+ TargetType Type

type CompositeType

+ func (t *CompositeType) IsExportable(results map[*Member]bool) bool

type Config

+ AccountLinkingEnabled bool

+ AllowNativeDeclarations bool

+ AllowStaticDeclarations bool

+ SuggestionsEnabled bool

type ConformanceError

+ func (e *ConformanceError) SecondaryError() string

type ConstantSizedType

+ func (t *ConstantSizedType) IsExportable(results map[*Member]bool) bool

type DictionaryType

+ func (t *DictionaryType) IsExportable(results map[*Member]bool) bool

type Elaboration

+ func (e *Elaboration) AllStaticCastTypes() map[*ast.CastingExpression]CastTypes

+ func (e *Elaboration) CastingExpressionTypes(expression *ast.CastingExpression) (types CastingExpressionTypes)

+ func (e *Elaboration) CompositeDeclarationType(declaration *ast.CompositeDeclaration) *CompositeType

+ func (e *Elaboration) CompositeType(typeID common.TypeID) *CompositeType

+ func (e *Elaboration) CompositeTypeDeclaration(compositeType *CompositeType) *ast.CompositeDeclaration

+ func (e *Elaboration) ConstructorFunctionType(initializer *ast.SpecialFunctionDeclaration) *FunctionType

+ func (e *Elaboration) EmitStatementEventType(statement *ast.EmitStatement) *CompositeType

+ func (e *Elaboration) ForEachGlobalType(f func(name string, variable *Variable))

+ func (e *Elaboration) ForEachGlobalValue(f func(name string, variable *Variable))

+ func (e *Elaboration) ForceExpressionType(expression *ast.ForceExpression) Type

+ func (e *Elaboration) FunctionDeclarationFunctionType(declaration *ast.FunctionDeclaration) *FunctionType

+ func (e *Elaboration) GetGlobalType(name string) (*Variable, bool)

+ func (e *Elaboration) GetGlobalValue(name string) (*Variable, bool)

+ func (e *Elaboration) IdentifierInInvocationType(expression *ast.IdentifierExpression) Type

+ func (e *Elaboration) InterfaceDeclarationType(declaration *ast.InterfaceDeclaration) *InterfaceType

+ func (e *Elaboration) InterfaceType(typeID common.TypeID) *InterfaceType

+ func (e *Elaboration) InterfaceTypeDeclaration(interfaceType *InterfaceType) *ast.InterfaceDeclaration

+ func (e *Elaboration) MemberExpressionExpectedType(expression *ast.MemberExpression) Type

+ func (e *Elaboration) MemberExpressionMemberInfo(expression *ast.MemberExpression) (memberInfo MemberInfo, ok bool)

+ func (e *Elaboration) ReferenceExpressionBorrowType(expression *ast.ReferenceExpression) Type

+ func (e *Elaboration) SetArrayExpressionTypes(expression *ast.ArrayExpression, types ArrayExpressionTypes)

+ func (e *Elaboration) SetAssignmentStatementTypes(assignment *ast.AssignmentStatement, types AssignmentStatementTypes)

+ func (e *Elaboration) SetBinaryExpressionTypes(expression *ast.BinaryExpression, types BinaryExpressionTypes)

+ func (e *Elaboration) SetCastingExpressionTypes(expression *ast.CastingExpression, types CastingExpressionTypes)

+ func (e *Elaboration) SetCompositeDeclarationType(declaration *ast.CompositeDeclaration, compositeType *CompositeType)

+ func (e *Elaboration) SetCompositeNestedDeclarations(declaration *ast.CompositeDeclaration, ...)

+ func (e *Elaboration) SetCompositeType(typeID TypeID, ty *CompositeType)

+ func (e *Elaboration) SetCompositeTypeDeclaration(compositeType *CompositeType, declaration *ast.CompositeDeclaration)

+ func (e *Elaboration) SetConstructorFunctionType(initializer *ast.SpecialFunctionDeclaration, functionType *FunctionType)

+ func (e *Elaboration) SetDictionaryExpressionTypes(expression *ast.DictionaryExpression, types DictionaryExpressionTypes)

+ func (e *Elaboration) SetEmitStatementEventType(statement *ast.EmitStatement, compositeType *CompositeType)

+ func (e *Elaboration) SetFixedPointExpression(expression *ast.FixedPointExpression, ty Type)

+ func (e *Elaboration) SetForceExpressionType(expression *ast.ForceExpression, ty Type)

+ func (e *Elaboration) SetFunctionDeclarationFunctionType(declaration *ast.FunctionDeclaration, functionType *FunctionType)

+ func (e *Elaboration) SetFunctionExpressionFunctionType(expression *ast.FunctionExpression, functionType *FunctionType)

+ func (e *Elaboration) SetGlobalType(name string, variable *Variable)

+ func (e *Elaboration) SetGlobalValue(name string, variable *Variable)

+ func (e *Elaboration) SetIdentifierInInvocationType(expression *ast.IdentifierExpression, valueType Type)

+ func (e *Elaboration) SetImportDeclarationsResolvedLocations(declaration *ast.ImportDeclaration, locations []ResolvedLocation)

+ func (e *Elaboration) SetIndexExpressionTypes(expression *ast.IndexExpression, types IndexExpressionTypes)

+ func (e *Elaboration) SetIntegerExpressionType(expression *ast.IntegerExpression, actualType Type)

+ func (e *Elaboration) SetInterfaceDeclarationType(declaration *ast.InterfaceDeclaration, interfaceType *InterfaceType)

+ func (e *Elaboration) SetInterfaceNestedDeclarations(declaration *ast.InterfaceDeclaration, ...)

+ func (e *Elaboration) SetInterfaceType(typeID TypeID, ty *InterfaceType)

+ func (e *Elaboration) SetInterfaceTypeDeclaration(interfaceType *InterfaceType, declaration *ast.InterfaceDeclaration)

+ func (e *Elaboration) SetInvocationExpressionTypes(expression *ast.InvocationExpression, types InvocationExpressionTypes)

+ func (e *Elaboration) SetIsNestedResourceMoveExpression(expression ast.Expression)

+ func (e *Elaboration) SetMemberExpressionExpectedType(expression *ast.MemberExpression, expectedType Type)

+ func (e *Elaboration) SetMemberExpressionMemberInfo(expression *ast.MemberExpression, memberInfo MemberInfo)

+ func (e *Elaboration) SetNumberConversionArgumentTypes(expression ast.Expression, types NumberConversionArgumentTypes)

+ func (e *Elaboration) SetPostConditionsRewrite(conditions *ast.Conditions, rewrite PostConditionsRewrite)

+ func (e *Elaboration) SetReferenceExpressionBorrowType(expression *ast.ReferenceExpression, ty Type)

+ func (e *Elaboration) SetReturnStatementTypes(statement *ast.ReturnStatement, types ReturnStatementTypes)

+ func (e *Elaboration) SetRuntimeCastTypes(expression *ast.CastingExpression, types RuntimeCastTypes)

+ func (e *Elaboration) SetStaticCastTypes(expression *ast.CastingExpression, types CastTypes)

+ func (e *Elaboration) SetStringExpressionType(expression *ast.StringExpression, ty Type)

+ func (e *Elaboration) SetSwapStatementTypes(statement *ast.SwapStatement, types SwapStatementTypes)

+ func (e *Elaboration) SetTransactionDeclarationType(declaration *ast.TransactionDeclaration, ty *TransactionType)

+ func (e *Elaboration) SetVariableDeclarationTypes(declaration *ast.VariableDeclaration, types VariableDeclarationTypes)

+ func (e *Elaboration) TransactionDeclarationType(declaration *ast.TransactionDeclaration) *TransactionType

+ func (e *Elaboration) VariableDeclarationTypesCount() int

type FixedPointNumericType

+ func (*FixedPointNumericType) IsExportable(_ map[*Member]bool) bool

type FunctionType

+ var AuthAccountTypeLinkAccountFunctionType *FunctionType

+ func (t *FunctionType) IsExportable(_ map[*Member]bool) bool

type GenericType

+ func (*GenericType) IsExportable(_ map[*Member]bool) bool

type HashAlgorithm

+ func (algo HashAlgorithm) IsValid() bool

type InterfaceType

+ func (t *InterfaceType) IsExportable(results map[*Member]bool) bool

+ type InvalidNativeModifierError struct

+ func (*InvalidNativeModifierError) IsUserError()

+ func (e *InvalidNativeModifierError) Error() string

+ type InvalidStaticModifierError struct

+ func (*InvalidStaticModifierError) IsUserError()

+ func (e *InvalidStaticModifierError) Error() string

type Member

+ func (m *Member) IsExportable(results map[*Member]bool) (result bool)

+ type NumberConversionArgumentTypes struct

+ Range ast.Range

+ Type Type

type NumericType

+ func (*NumericType) IsExportable(_ map[*Member]bool) bool

type OptionalType

+ func (t *OptionalType) IsExportable(results map[*Member]bool) bool

type ReferenceType

+ func (t *ReferenceType) IsExportable(_ map[*Member]bool) bool

type RestrictedType

+ func (t *RestrictedType) IsExportable(results map[*Member]bool) bool

type SimpleType

+ Exportable bool

+ func (t *SimpleType) IsExportable(_ map[*Member]bool) bool

type TransactionType

+ func (*TransactionType) IsExportable(_ map[*Member]bool) bool

type Type

+ IsExportable func(results map[*Member]bool) bool

type VariableSizedType

+ func (t *VariableSizedType) IsExportable(results map[*Member]bool) bool

v0.30.0-attachments-2

Jan 30, 2023

v0.30.0-attachments

Dec 13, 2022

v0.29.0

Oct 27, 2022

Changes in this version

+ const AccountKeysCountFieldName

+ const AccountKeysTypeForEachFunctionName

+ const AuthAccountInboxClaimField

+ const AuthAccountInboxField

+ const AuthAccountInboxPublishField

+ const AuthAccountInboxUnpublishField

+ const StringTypeFromCharactersFunctionDocString

+ const StringTypeFromCharactersFunctionName

+ var AccountKeysTypeCountFieldType = UInt64Type

+ var AccountKeysTypeForEachFunctionType = func() *FunctionType { ... }()

+ var AuthAccountInboxType = func() *CompositeType { ... }()

+ var AuthAccountInboxTypeName = "Inbox"

+ var AuthAccountTypeInboxClaimFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeInboxPublishFunctionType = &FunctionType

+ var AuthAccountTypeInboxUnpublishFunctionType = func() *FunctionType { ... }()

+ var StringFunctionType = func() *FunctionType { ... }()

+ var StringTypeFromCharactersFunctionType = &FunctionType

type Resources

+ func (ris *Resources) Reclaim()

v0.29.0-stable-cadence-5

Nov 21, 2022

v0.29.0-stable-cadence-4

Nov 10, 2022

v0.29.0-stable-cadence-3

Nov 8, 2022

v0.29.0-stable-cadence-2

Nov 4, 2022

v0.29.0-stable-cadence

Oct 27, 2022

v0.29.0-attachments

Dec 12, 2022

v0.28.0

Oct 6, 2022

Changes in this version

+ const FromStringFunctionName

+ func FromStringFunctionDocstring(ty Type) string

type FunctionActivation

+ func (a *FunctionActivation) WithLoop(f func())

+ func (a *FunctionActivation) WithSwitch(f func())

type FunctionType

+ func FromStringFunctionType(ty Type) *FunctionType

type InterfaceSet

+ func (s InterfaceSet) Contains(interfaceType *InterfaceType) bool

+ type PreviousResourceInvalidationNote struct

+ func (n PreviousResourceInvalidationNote) Message() string

type Resource

+ Member *Member

+ Variable *Variable

type ResourceInfo

+ Parent *ResourceInfo

+ func (ris *ResourceInfo) DeleteLocally(invalidation ResourceInvalidation)

+ func (ris *ResourceInfo) MaybeRecordInvalidation(invalidation ResourceInvalidation) ResourceInvalidation

+ func (ris ResourceInfo) Invalidation() *ResourceInvalidation

type ResourceInvalidationKind

+ const ResourceInvalidationKindDestroyDefinite

+ const ResourceInvalidationKindDestroyPotential

+ const ResourceInvalidationKindMovePotential

+ func (i ResourceInvalidationKind) CoarseNoun() string

+ func (k ResourceInvalidationKind) AsPotential() ResourceInvalidationKind

+ func (k ResourceInvalidationKind) CoarsePassiveVerb() string

+ func (k ResourceInvalidationKind) DetailedNoun() string

type ResourceUseAfterInvalidationError

+ Invalidation ResourceInvalidation

type Resources

+ func (ris *Resources) MaybeRecordInvalidation(resource Resource, invalidation ResourceInvalidation)

type ReturnInfo

+ JumpOffsets *persistent.OrderedSet[int]

+ func NewReturnInfo() *ReturnInfo

+ func (ri *ReturnInfo) AddJumpOffset(offset int)

+ func (ri *ReturnInfo) WithNewJumpTarget(f func())

v0.27.1

Oct 3, 2022

Changes in this version

type Checker

+ func (checker *Checker) VisitVoidExpression(_ *ast.VoidExpression) Type

type FunctionType

+ func DictionaryForEachKeyFunctionType(t *DictionaryType) *FunctionType

v0.27.0

Sep 23, 2022

Changes in this version

+ const StringTypeFromUtf8FunctionDocString

+ const StringTypeFromUtf8FunctionName

+ var StringTypeFromUtf8FunctionType = &FunctionType

+ func GetFieldNames(members []*Member) []string

type Checker

+ func (checker *Checker) CheckProgram(program *ast.Program)

+ func (checker *Checker) CheckStatement(element ast.Statement)

type Config

+ ContractValueHandler ContractValueHandlerFunc

+ type ContractValueHandlerFunc func(checker *Checker, declaration *ast.CompositeDeclaration, ...) ValueDeclaration

type FunctionType

+ func CompositeConstructorType(elaboration *Elaboration, compositeDeclaration *ast.CompositeDeclaration, ...) (constructorFunctionType *FunctionType, argumentLabels []string)

type VariableActivations

+ func (a *VariableActivations) DeclareValue(declaration ValueDeclaration) (*Variable, error)

v0.26.2

Sep 23, 2022

v0.26.1

Sep 16, 2022

v0.26.0

Aug 23, 2022

Changes in this version

+ const AuthAccountForEachPrivateField

+ const AuthAccountForEachPublicField

+ const AuthAccountForEachStoredField

+ const AuthAccountPrivatePathsField

+ const AuthAccountPublicPathsField

+ const AuthAccountStoragePathsField

+ const PublicAccountForEachPublicField

+ const PublicAccountPathsField

+ var AuthAccountForEachPrivateFunctionType = AccountForEachFunctionType(PrivatePathType)

+ var AuthAccountForEachPublicFunctionType = AccountForEachFunctionType(PublicPathType)

+ var AuthAccountForEachStoredFunctionType = AccountForEachFunctionType(StoragePathType)

+ var AuthAccountPrivatePathsType = &VariableSizedType

+ var AuthAccountPublicPathsType = &VariableSizedType

+ var AuthAccountStoragePathsType = &VariableSizedType

+ var PublicAccountForEachPublicFunctionType = AccountForEachFunctionType(PublicPathType)

+ var PublicAccountPathsType = &VariableSizedType

type AccessCheckMode

+ const AccessCheckModeDefault

+ type ArrayExpressionTypes struct

+ ArgumentTypes []Type

+ ArrayType ArrayType

+ type AssignmentStatementTypes struct

+ TargetType Type

+ ValueType Type

+ type BinaryExpressionTypes struct

+ LeftType Type

+ ResultType Type

+ RightType Type

+ type CastTypes struct

+ ExpectedType Type

+ ExprActualType Type

+ TargetType Type

type Checker

+ Config *Config

+ PositionInfo *PositionInfo

+ type Config struct

+ AccessCheckMode AccessCheckMode

+ BaseTypeActivation *VariableActivation

+ BaseValueActivation *VariableActivation

+ CheckHandler CheckHandlerFunc

+ ErrorShortCircuitingEnabled bool

+ ExtendedElaborationEnabled bool

+ ImportHandler ImportHandlerFunc

+ LocationHandler LocationHandlerFunc

+ MemberAccountAccessHandler MemberAccountAccessHandlerFunc

+ PositionInfoEnabled bool

+ ValidTopLevelDeclarationsHandler ValidTopLevelDeclarationsHandlerFunc

+ type DefaultFunctionConflictError struct

+ CompositeType *CompositeType

+ Member *Member

+ func (*DefaultFunctionConflictError) IsUserError()

+ func (e *DefaultFunctionConflictError) EndPosition(memoryGauge common.MemoryGauge) ast.Position

+ func (e *DefaultFunctionConflictError) Error() string

+ func (e *DefaultFunctionConflictError) StartPosition() ast.Position

+ type DictionaryExpressionTypes struct

+ DictionaryType *DictionaryType

+ EntryTypes []DictionaryEntryType

type Elaboration

+ ArrayExpressionTypes map[*ast.ArrayExpression]ArrayExpressionTypes

+ AssignmentStatementTypes map[*ast.AssignmentStatement]AssignmentStatementTypes

+ BinaryExpressionTypes map[*ast.BinaryExpression]BinaryExpressionTypes

+ DictionaryExpressionTypes map[*ast.DictionaryExpression]DictionaryExpressionTypes

+ IndexExpressionTypes map[*ast.IndexExpression]IndexExpressionTypes

+ InvocationExpressionTypes map[*ast.InvocationExpression]InvocationExpressionTypes

+ ReturnStatementTypes map[*ast.ReturnStatement]ReturnStatementTypes

+ SwapStatementTypes map[*ast.SwapStatement]SwapStatementTypes

+ VariableDeclarationTypes map[*ast.VariableDeclaration]VariableDeclarationTypes

type FunctionType

+ func AccountForEachFunctionType(pathType Type) *FunctionType

+ type IndexExpressionTypes struct

+ IndexedType ValueIndexableType

+ IndexingType Type

+ type InvocationExpressionTypes struct

+ ArgumentTypes []Type

+ ReturnType Type

+ TypeArguments *TypeParameterTypeOrderedMap

+ TypeParameterTypes []Type

type Member

+ HasImplementation bool

+ type MultipleInterfaceDefaultImplementationsError struct

+ CompositeType *CompositeType

+ Member *Member

+ func (*MultipleInterfaceDefaultImplementationsError) IsUserError()

+ func (e *MultipleInterfaceDefaultImplementationsError) EndPosition(memoryGauge common.MemoryGauge) ast.Position

+ func (e *MultipleInterfaceDefaultImplementationsError) Error() string

+ func (e *MultipleInterfaceDefaultImplementationsError) StartPosition() ast.Position

+ type PositionInfo struct

+ FunctionInvocations *FunctionInvocations

+ MemberAccesses *MemberAccesses

+ MemberOrigins map[Type]map[string]*Origin

+ Occurrences *Occurrences

+ Ranges *Ranges

+ VariableOrigins map[*Variable]*Origin

+ func NewPositionInfo() *PositionInfo

+ type ReturnStatementTypes struct

+ ReturnType Type

+ ValueType Type

+ type RuntimeCastTypes struct

+ Left Type

+ Right Type

+ type SpecialFunctionDefaultImplementationError struct

+ Container ast.Declaration

+ Identifier *ast.Identifier

+ KindName string

+ func (*SpecialFunctionDefaultImplementationError) IsUserError()

+ func (e *SpecialFunctionDefaultImplementationError) EndPosition(memoryGauge common.MemoryGauge) ast.Position

+ func (e *SpecialFunctionDefaultImplementationError) Error() string

+ func (e *SpecialFunctionDefaultImplementationError) StartPosition() ast.Position

+ type SwapStatementTypes struct

+ LeftType Type

+ RightType Type

type VariableActivation

+ func (a *VariableActivation) DeclareType(declaration TypeDeclaration)

+ func (a *VariableActivation) DeclareValue(declaration ValueDeclaration)

+ type VariableDeclarationTypes struct

+ SecondValueType Type

+ TargetType Type

+ ValueType Type

v0.25.2

Sep 20, 2022

v0.25.1

Sep 20, 2022

Changes in this version

type Option

+ func WithAllowResourceInvalidationAfterPotentialJump(allow bool) Option

type ReturnInfo

+ MaybeJumped bool

+ func (ri *ReturnInfo) MergePotentiallyUnevaluated(temporaryReturnInfo *ReturnInfo)

v0.25.0

Aug 3, 2022

Changes in this version

+ const CapabilityTypeAddressField

+ const CapabilityTypeBorrowField

+ const CapabilityTypeCheckField

+ type AddressContractNamesResolver func(address common.Address) ([]string, error)

type AlwaysFailingNonResourceCastingTypeError

+ func (*AlwaysFailingNonResourceCastingTypeError) IsUserError()

type AlwaysFailingResourceCastingTypeError

+ func (*AlwaysFailingResourceCastingTypeError) IsUserError()

type AmbiguousRestrictedTypeError

+ func (*AmbiguousRestrictedTypeError) IsUserError()

type ArgumentCountError

+ func (*ArgumentCountError) IsUserError()

type AssignmentToConstantError

+ func (*AssignmentToConstantError) IsUserError()

type AssignmentToConstantMemberError

+ func (*AssignmentToConstantMemberError) IsUserError()

+ type CastType struct

+ ExpectedType Type

+ ExprActualType Type

+ TargetType Type

type Checker

+ func (checker *Checker) VisitSpecialFunctionDeclaration(declaration *ast.SpecialFunctionDeclaration) ast.Repr

type CheckerError

+ func (CheckerError) IsUserError()

type CompositeKindMismatchError

+ func (*CompositeKindMismatchError) IsUserError()

type ConformanceError

+ func (*ConformanceError) IsUserError()

type ConstantSizedArrayLiteralSizeError

+ func (*ConstantSizedArrayLiteralSizeError) IsUserError()

type ControlStatementError

+ func (*ControlStatementError) IsUserError()

type CyclicImportsError

+ func (*CyclicImportsError) IsUserError()

type DeclarationKindMismatchError

+ func (*DeclarationKindMismatchError) IsUserError()

type DuplicateConformanceError

+ func (*DuplicateConformanceError) IsUserError()

type Elaboration

+ BinaryExpressionLeftTypes map[*ast.BinaryExpression]Type

+ ForceExpressionTypes map[*ast.ForceExpression]Type

+ NumberConversionArgumentTypes map[ast.Expression]struct{ ... }

+ RuntimeCastTypes map[*ast.CastingExpression]struct{ ... }

+ StaticCastTypes map[*ast.CastingExpression]CastType

type EmitImportedEventError

+ func (*EmitImportedEventError) IsUserError()

type EmitNonEventError

+ func (*EmitNonEventError) IsUserError()

type ExternalMutationError

+ func (*ExternalMutationError) IsUserError()

type FieldReinitializationError

+ func (*FieldReinitializationError) IsUserError()

type FieldTypeNotStorableError

+ func (*FieldTypeNotStorableError) IsUserError()

type FieldUninitializedError

+ func (*FieldUninitializedError) IsUserError()

type FunctionExpressionInConditionError

+ func (*FunctionExpressionInConditionError) IsUserError()

type ImportedProgramError

+ func (*ImportedProgramError) IsUserError()

type IncorrectArgumentLabelError

+ func (*IncorrectArgumentLabelError) IsUserError()

type IncorrectTransferOperationError

+ func (*IncorrectTransferOperationError) IsUserError()

type InvalidAccessError

+ func (*InvalidAccessError) IsUserError()

type InvalidAccessModifierError

+ func (*InvalidAccessModifierError) IsUserError()

type InvalidAddressLiteralError

+ func (*InvalidAddressLiteralError) IsUserError()

type InvalidAssignmentAccessError

+ func (*InvalidAssignmentAccessError) IsUserError()

type InvalidAssignmentTargetError

+ func (*InvalidAssignmentTargetError) IsUserError()

type InvalidBinaryOperandError

+ func (*InvalidBinaryOperandError) IsUserError()

type InvalidBinaryOperandsError

+ func (*InvalidBinaryOperandsError) IsUserError()

type InvalidCharacterLiteralError

+ func (*InvalidCharacterLiteralError) IsUserError()

type InvalidConformanceError

+ func (*InvalidConformanceError) IsUserError()

type InvalidConstantSizedTypeBaseError

+ func (*InvalidConstantSizedTypeBaseError) IsUserError()

type InvalidConstantSizedTypeSizeError

+ func (*InvalidConstantSizedTypeSizeError) IsUserError()

type InvalidConstructionError

+ func (*InvalidConstructionError) IsUserError()

type InvalidDeclarationError

+ func (*InvalidDeclarationError) IsUserError()

type InvalidDestructionError

+ func (*InvalidDestructionError) IsUserError()

type InvalidDestructorError

+ func (*InvalidDestructorError) IsUserError()

type InvalidDestructorParametersError

+ func (*InvalidDestructorParametersError) IsUserError()

type InvalidDictionaryKeyTypeError

+ func (*InvalidDictionaryKeyTypeError) IsUserError()

type InvalidEntryPointTypeError

+ func (*InvalidEntryPointTypeError) IsUserError()

type InvalidEnumCaseError

+ func (*InvalidEnumCaseError) IsUserError()

type InvalidEnumConformancesError

+ func (*InvalidEnumConformancesError) IsUserError()

type InvalidEnumRawTypeError

+ func (*InvalidEnumRawTypeError) IsUserError()

type InvalidEventParameterTypeError

+ func (*InvalidEventParameterTypeError) IsUserError()

type InvalidEventUsageError

+ func (*InvalidEventUsageError) IsUserError()

type InvalidFailableResourceDowncastOutsideOptionalBindingError

+ func (*InvalidFailableResourceDowncastOutsideOptionalBindingError) IsUserError()

type InvalidFixedPointLiteralRangeError

+ func (*InvalidFixedPointLiteralRangeError) IsUserError()

type InvalidFixedPointLiteralScaleError

+ func (*InvalidFixedPointLiteralScaleError) IsUserError()

type InvalidImplementationError

+ func (*InvalidImplementationError) IsUserError()

type InvalidIndexingError

+ func (*InvalidIndexingError) IsUserError()

type InvalidIntegerLiteralRangeError

+ func (*InvalidIntegerLiteralRangeError) IsUserError()

type InvalidInterfaceDeclarationError

+ func (*InvalidInterfaceDeclarationError) IsUserError()

type InvalidInterfaceTypeError

+ func (*InvalidInterfaceTypeError) IsUserError()

type InvalidMoveError

+ func (*InvalidMoveError) IsUserError()

type InvalidMoveOperationError

+ func (*InvalidMoveOperationError) IsUserError()

type InvalidNameError

+ func (*InvalidNameError) IsUserError()

type InvalidNestedDeclarationError

+ func (*InvalidNestedDeclarationError) IsUserError()

type InvalidNestedResourceMoveError

+ func (*InvalidNestedResourceMoveError) IsUserError()

type InvalidNestedTypeError

+ func (*InvalidNestedTypeError) IsUserError()

type InvalidNonConformanceRestrictionError

+ func (*InvalidNonConformanceRestrictionError) IsUserError()

type InvalidNonEnumCaseError

+ func (*InvalidNonEnumCaseError) IsUserError()

type InvalidNonIdentifierFailableResourceDowncast

+ func (*InvalidNonIdentifierFailableResourceDowncast) IsUserError()

type InvalidNonImportableTransactionParameterTypeError

+ func (*InvalidNonImportableTransactionParameterTypeError) IsUserError()

type InvalidOptionalChainingError

+ func (*InvalidOptionalChainingError) IsUserError()

type InvalidPathDomainError

+ func (*InvalidPathDomainError) IsUserError()

type InvalidPragmaError

+ func (*InvalidPragmaError) IsUserError()

type InvalidResourceAnnotationError

+ func (*InvalidResourceAnnotationError) IsUserError()

type InvalidResourceArrayMemberError

+ func (*InvalidResourceArrayMemberError) IsUserError()

type InvalidResourceAssignmentError

+ func (*InvalidResourceAssignmentError) IsUserError()

+ func (e *InvalidResourceAssignmentError) SecondaryError() string

type InvalidResourceCreationError

+ func (*InvalidResourceCreationError) IsUserError()

type InvalidResourceDictionaryMemberError

+ func (*InvalidResourceDictionaryMemberError) IsUserError()

type InvalidResourceFieldError

+ func (*InvalidResourceFieldError) IsUserError()

type InvalidResourceOptionalMemberError

+ func (*InvalidResourceOptionalMemberError) IsUserError()

type InvalidResourceTransactionParameterError

+ func (*InvalidResourceTransactionParameterError) IsUserError()

type InvalidRestrictedTypeError

+ func (*InvalidRestrictedTypeError) IsUserError()

type InvalidRestrictedTypeMemberAccessError

+ func (*InvalidRestrictedTypeMemberAccessError) IsUserError()

type InvalidRestrictionTypeDuplicateError

+ func (*InvalidRestrictionTypeDuplicateError) IsUserError()

type InvalidRestrictionTypeError

+ func (*InvalidRestrictionTypeError) IsUserError()

type InvalidSelfInvalidationError

+ func (*InvalidSelfInvalidationError) IsUserError()

type InvalidSwapExpressionError

+ func (*InvalidSwapExpressionError) IsUserError()

type InvalidTopLevelDeclarationError

+ func (*InvalidTopLevelDeclarationError) IsUserError()

type InvalidTransactionBlockError

+ func (*InvalidTransactionBlockError) IsUserError()

type InvalidTransactionFieldAccessModifierError

+ func (*InvalidTransactionFieldAccessModifierError) IsUserError()

type InvalidTransactionPrepareParameterTypeError

+ func (*InvalidTransactionPrepareParameterTypeError) IsUserError()

type InvalidTypeArgumentCountError

+ func (*InvalidTypeArgumentCountError) IsUserError()

type InvalidUnaryOperandError

+ func (*InvalidUnaryOperandError) IsUserError()

type InvalidVariableKindError

+ func (*InvalidVariableKindError) IsUserError()

type LocationHandlerFunc

+ func AddressLocationHandlerFunc(resolveAddressContractNames AddressContractNamesResolver) LocationHandlerFunc

+ type MemberFieldDeclarationOrderedMap = orderedmap.OrderedMap[*Member, *ast.FieldDeclaration]

type MissingAccessModifierError

+ func (*MissingAccessModifierError) IsUserError()

type MissingArgumentLabelError

+ func (*MissingArgumentLabelError) IsUserError()

type MissingConformanceError

+ func (*MissingConformanceError) IsUserError()

type MissingCreateError

+ func (*MissingCreateError) IsUserError()

type MissingDestructorError

+ func (*MissingDestructorError) IsUserError()

type MissingEntryPointError

+ func (*MissingEntryPointError) IsUserError()

type MissingEnumRawTypeError

+ func (*MissingEnumRawTypeError) IsUserError()

type MissingFunctionBodyError

+ func (*MissingFunctionBodyError) IsUserError()

type MissingInitializerError

+ func (*MissingInitializerError) IsUserError()

type MissingMoveOperationError

+ func (*MissingMoveOperationError) IsUserError()

type MissingResourceAnnotationError

+ func (*MissingResourceAnnotationError) IsUserError()

type MissingReturnStatementError

+ func (*MissingReturnStatementError) IsUserError()

type MissingReturnValueError

+ func (*MissingReturnValueError) IsUserError()

type MissingSwitchCaseStatementsError

+ func (*MissingSwitchCaseStatementsError) IsUserError()

type NonReferenceTypeReferenceError

+ func (*NonReferenceTypeReferenceError) IsUserError()

type NonResourceTypeError

+ func (*NonResourceTypeError) IsUserError()

type NotCallableError

+ func (*NotCallableError) IsUserError()

type NotDeclaredError

+ func (*NotDeclaredError) IsUserError()

type NotDeclaredMemberError

+ func (*NotDeclaredMemberError) IsUserError()

type NotEquatableTypeError

+ func (*NotEquatableTypeError) IsUserError()

type NotExportedError

+ func (*NotExportedError) IsUserError()

type NotIndexableTypeError

+ func (*NotIndexableTypeError) IsUserError()

type NotIndexingAssignableTypeError

+ func (*NotIndexingAssignableTypeError) IsUserError()

+ type PositionResourceUseOrderedMap = orderedmap.OrderedMap[ast.Position, ResourceUse]

type ReadOnlyTargetAssignmentError

+ func (*ReadOnlyTargetAssignmentError) IsUserError()

type RedeclarationError

+ func (*RedeclarationError) IsUserError()

+ type Resource struct

type ResourceCapturingError

+ func (*ResourceCapturingError) IsUserError()

type ResourceFieldNotInvalidatedError

+ func (*ResourceFieldNotInvalidatedError) IsUserError()

type ResourceLossError

+ func (*ResourceLossError) IsUserError()

type ResourceMethodBindingError

+ func (*ResourceMethodBindingError) IsUserError()

type ResourceUseAfterInvalidationError

+ func (*ResourceUseAfterInvalidationError) IsUserError()

type RestrictionCompositeKindMismatchError

+ func (*RestrictionCompositeKindMismatchError) IsUserError()

type RestrictionMemberClashError

+ func (*RestrictionMemberClashError) IsUserError()

type SwitchDefaultPositionError

+ func (*SwitchDefaultPositionError) IsUserError()

type TransactionMissingPrepareError

+ func (*TransactionMissingPrepareError) IsUserError()

type TypeAnnotationRequiredError

+ func (*TypeAnnotationRequiredError) IsUserError()

type TypeMismatchError

+ func (*TypeMismatchError) IsUserError()

type TypeMismatchWithDescriptionError

+ func (*TypeMismatchWithDescriptionError) IsUserError()

type TypeParameterTypeInferenceError

+ func (*TypeParameterTypeInferenceError) IsUserError()

type TypeParameterTypeMismatchError

+ func (*TypeParameterTypeMismatchError) IsUserError()

type UninitializedFieldAccessError

+ func (*UninitializedFieldAccessError) IsUserError()

type UninitializedUseError

+ func (*UninitializedUseError) IsUserError()

type UnknownSpecialFunctionError

+ func (*UnknownSpecialFunctionError) IsUserError()

type UnparameterizedTypeInstantiationError

+ func (*UnparameterizedTypeInstantiationError) IsUserError()

type UnreachableStatementError

+ func (*UnreachableStatementError) IsUserError()

type UnresolvedImportError

+ func (*UnresolvedImportError) IsUserError()

type UnsupportedOptionalChainingAssignmentError

+ func (*UnsupportedOptionalChainingAssignmentError) IsUserError()

type UnsupportedOverloadingError

+ func (*UnsupportedOverloadingError) IsUserError()

type UnsupportedResourceForLoopError

+ func (*UnsupportedResourceForLoopError) IsUserError()

v0.24.7

Jul 26, 2022

v0.24.6

Jun 24, 2022

v0.24.5

Jun 23, 2022

v0.24.4

Jun 17, 2022

v0.24.3

Jun 13, 2022

v0.24.2

Jun 10, 2022

v0.24.1

Jun 9, 2022

v0.24.0

Jun 7, 2022

Changes in this version

+ const AuthAccountTypeField

+ var AddressTypeTag = newTypeTagFromLowerMask(addressTypeMask)

+ var AnyResourceTypeTag = newTypeTagFromLowerMask(anyResourceTypeMask)

+ var AnyStructTypeTag = ...(FunctionTypeTag)

+ var AnyTypeTag = ...(RestrictedTypeTag)

+ var AuthAccountTypeTypeFunctionType = &FunctionType

+ var BlockTypeTag = newTypeTagFromLowerMask(blockTypeMask)

+ var BoolTypeTag = newTypeTagFromLowerMask(boolTypeMask)

+ var CapabilityPathTypeTag = ...(PrivatePathTypeTag)

+ var CapabilityTypeFunctionType = &FunctionType

+ var CapabilityTypeTag = newTypeTagFromUpperMask(capabilityTypeMask)

+ var CharacterTypeTag = newTypeTagFromLowerMask(characterTypeMask)

+ var CompositeTypeFunctionType = &FunctionType

+ var CompositeTypeTag = newTypeTagFromLowerMask(compositeTypeMask)

+ var ConstantSizedArrayTypeFunctionType = &FunctionType

+ var ConstantSizedTypeTag = newTypeTagFromLowerMask(constantSizedTypeMask)

+ var DeployedContractTypeTag = newTypeTagFromLowerMask(deployedContractMask)

+ var DictionaryTypeFunctionType = &FunctionType

+ var DictionaryTypeTag = newTypeTagFromLowerMask(dictionaryTypeMask)

+ var Fix64TypeTag = newTypeTagFromLowerMask(fix64TypeMask)

+ var FixedPointTypeTag = ...(UnsignedFixedPointTypeTag)

+ var FunctionTypeFunctionType = &FunctionType

+ var FunctionTypeTag = newTypeTagFromLowerMask(functionTypeMask)

+ var GenericTypeTag = newTypeTagFromLowerMask(genericTypeMask)

+ var Int128TypeTag = newTypeTagFromLowerMask(int128TypeMask)

+ var Int16TypeTag = newTypeTagFromLowerMask(int16TypeMask)

+ var Int256TypeTag = newTypeTagFromLowerMask(int256TypeMask)

+ var Int32TypeTag = newTypeTagFromLowerMask(int32TypeMask)

+ var Int64TypeTag = newTypeTagFromLowerMask(int64TypeMask)

+ var Int8TypeTag = newTypeTagFromLowerMask(int8TypeMask)

+ var IntTypeTag = newTypeTagFromLowerMask(intTypeMask)

+ var IntegerTypeTag = ...(UnsignedIntegerTypeTag)

+ var InterfaceTypeFunctionType = &FunctionType

+ var InterfaceTypeTag = newTypeTagFromLowerMask(interfaceTypeMask)

+ var InvalidTypeTag = newTypeTagFromUpperMask(invalidTypeMask)

+ var MetaTypeTag = newTypeTagFromLowerMask(metaTypeMask)

+ var NeverTypeTag = newTypeTagFromLowerMask(neverTypeMask)

+ var NilType = &OptionalType

+ var NilTypeTag = newTypeTagFromLowerMask(nilTypeMask)

+ var NoTypeTag = newTypeTagFromLowerMask(noTypeMask)

+ var NumberTypeTag = ...(SignedNumberTypeTag)

+ var OptionalTypeFunctionType = &FunctionType

+ var PathTypeTag = ...(StoragePathTypeTag)

+ var PrivatePathTypeTag = newTypeTagFromLowerMask(privatePathTypeMask)

+ var PublicPathTypeTag = newTypeTagFromLowerMask(publicPathTypeMask)

+ var ReferenceTypeFunctionType = &FunctionType

+ var ReferenceTypeTag = newTypeTagFromLowerMask(referenceTypeMask)

+ var RestrictedTypeFunctionType = &FunctionType

+ var RestrictedTypeTag = newTypeTagFromUpperMask(restrictedTypeMask)

+ var SignedFixedPointTypeTag = ...(Fix64TypeTag)

+ var SignedIntegerTypeTag = ...(Int256TypeTag)

+ var SignedNumberTypeTag = ...(SignedFixedPointTypeTag)

+ var StoragePathTypeTag = newTypeTagFromLowerMask(storagePathTypeMask)

+ var StringTypeTag = newTypeTagFromLowerMask(stringTypeMask)

+ var TransactionTypeTag = newTypeTagFromUpperMask(transactionTypeMask)

+ var UFix64TypeTag = newTypeTagFromLowerMask(ufix64TypeMask)

+ var UInt128TypeTag = newTypeTagFromLowerMask(uint128TypeMask)

+ var UInt16TypeTag = newTypeTagFromLowerMask(uint16TypeMask)

+ var UInt256TypeTag = newTypeTagFromLowerMask(uint256TypeMask)

+ var UInt32TypeTag = newTypeTagFromLowerMask(uint32TypeMask)

+ var UInt64TypeTag = newTypeTagFromLowerMask(uint64TypeMask)

+ var UInt8TypeTag = newTypeTagFromLowerMask(uint8TypeMask)

+ var UIntTypeTag = newTypeTagFromLowerMask(uintTypeMask)

+ var UnsignedFixedPointTypeTag = ...(UFix64TypeTag)

+ var UnsignedIntegerTypeTag = ...(Word64TypeTag)

+ var VariableSizedArrayTypeFunctionType = &FunctionType

+ var VariableSizedTypeTag = newTypeTagFromLowerMask(variableSizedTypeMask)

+ var VoidTypeTag = newTypeTagFromLowerMask(voidTypeMask)

+ var Word16TypeTag = newTypeTagFromLowerMask(word16TypeMask)

+ var Word32TypeTag = newTypeTagFromLowerMask(word32TypeMask)

+ var Word64TypeTag = newTypeTagFromLowerMask(word64TypeMask)

+ var Word8TypeTag = newTypeTagFromLowerMask(word8TypeMask)

+ func IsSameTypeKind(subType Type, superType Type) bool

+ func IsValidCharacter(s string) bool

type AddressType

+ func (*AddressType) IsSuperType() bool

+ func (t *AddressType) Tag() TypeTag

type CapabilityType

+ func NewCapabilityType(memoryGauge common.MemoryGauge, borrowType Type) *CapabilityType

+ func (t *CapabilityType) Tag() TypeTag

+ type CheckCastVisitor struct

+ func (d *CheckCastVisitor) IsRedundantCast(expr ast.Expression, exprInferredType, targetType Type) bool

+ func (d *CheckCastVisitor) VisitArrayExpression(expr *ast.ArrayExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitBinaryExpression(_ *ast.BinaryExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitBoolExpression(_ *ast.BoolExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitCastingExpression(_ *ast.CastingExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitConditionalExpression(conditionalExpr *ast.ConditionalExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitCreateExpression(_ *ast.CreateExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitDestroyExpression(_ *ast.DestroyExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitDictionaryExpression(expr *ast.DictionaryExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitFixedPointExpression(expr *ast.FixedPointExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitForceExpression(_ *ast.ForceExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitFunctionExpression(_ *ast.FunctionExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitIdentifierExpression(_ *ast.IdentifierExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitIndexExpression(_ *ast.IndexExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitIntegerExpression(_ *ast.IntegerExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitInvocationExpression(_ *ast.InvocationExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitMemberExpression(_ *ast.MemberExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitNilExpression(_ *ast.NilExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitPathExpression(_ *ast.PathExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitReferenceExpression(_ *ast.ReferenceExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitStringExpression(_ *ast.StringExpression) ast.Repr

+ func (d *CheckCastVisitor) VisitUnaryExpression(_ *ast.UnaryExpression) ast.Repr

type Checker

+ func (checker *Checker) SetMemoryGauge(gauge common.MemoryGauge)

type CompositeType

+ func (t *CompositeType) Tag() TypeTag

type ConstantSizedType

+ func NewConstantSizedType(memoryGauge common.MemoryGauge, typ Type, size int64) *ConstantSizedType

+ func (t *ConstantSizedType) Tag() TypeTag

type DictionaryType

+ func NewDictionaryType(memoryGauge common.MemoryGauge, keyType, valueType Type) *DictionaryType

+ func (t *DictionaryType) Tag() TypeTag

type Elaboration

+ StringExpressionType map[*ast.StringExpression]Type

+ type EndPositionGetter func(common.MemoryGauge) ast.Position

+ type ExternalMutationError struct

+ ContainerType Type

+ DeclarationKind common.DeclarationKind

+ Name string

+ func (e *ExternalMutationError) Error() string

+ func (e *ExternalMutationError) SecondaryError() string

+ type FieldReinitializationError struct

+ Name string

+ func (e *FieldReinitializationError) Error() string

type FixedPointNumericType

+ func (t *FixedPointNumericType) AsSuperType() *FixedPointNumericType

+ func (t *FixedPointNumericType) IsSuperType() bool

+ func (t *FixedPointNumericType) Tag() TypeTag

+ func (t *FixedPointNumericType) WithTag(tag TypeTag) *FixedPointNumericType

type FunctionType

+ func ArrayFirstIndexFunctionType(elementType Type) *FunctionType

+ func ArraySliceFunctionType(elementType Type) *FunctionType

+ func (t *FunctionType) Tag() TypeTag

type GenericType

+ func (t *GenericType) Tag() TypeTag

type IntegerRangedType

+ IsSuperType func() bool

type InterfaceType

+ func (t *InterfaceType) Tag() TypeTag

type Member

+ func NewUnmeteredPublicConstantFieldMember(containerType Type, identifier string, fieldType Type, docString string) *Member

+ func NewUnmeteredPublicFunctionMember(containerType Type, identifier string, functionType *FunctionType, ...) *Member

type MemberResolver

+ Mutating bool

type MemberSet

+ func (ms *MemberSet) AddIntersection(a, b *MemberSet)

type NumericType

+ func (t *NumericType) AsSuperType() *NumericType

+ func (t *NumericType) IsSuperType() bool

+ func (t *NumericType) Tag() TypeTag

+ func (t *NumericType) WithTag(tag TypeTag) *NumericType

type Option

+ func WithErrorShortCircuitingEnabled(enabled bool) Option

+ func WithLintingEnabled(enabled bool) Option

type OptionalType

+ func NewOptionalType(memoryGauge common.MemoryGauge, typ Type) *OptionalType

+ func (t *OptionalType) Tag() TypeTag

type ReferenceType

+ func NewReferenceType(memoryGauge common.MemoryGauge, typ Type, authorized bool) *ReferenceType

+ func (t *ReferenceType) Tag() TypeTag

type RestrictedType

+ func NewRestrictedType(memoryGauge common.MemoryGauge, typ Type, restrictions []*InterfaceType) *RestrictedType

+ func (t *RestrictedType) Tag() TypeTag

+ type RuntimeTypeConstructor struct

+ DocString string

+ Name string

+ Value *FunctionType

type SimpleType

+ func (t *SimpleType) Tag() TypeTag

type TransactionType

+ func (t *TransactionType) Tag() TypeTag

type Type

+ func CheckRestrictedType(memoryGauge common.MemoryGauge, restrictedType Type, ...) Type

+ func LeastCommonSuperType(types ...Type) Type

+ Tag func() TypeTag

+ type TypeTag struct

+ func (t TypeTag) And(tag TypeTag) TypeTag

+ func (t TypeTag) BelongsTo(typeTag TypeTag) bool

+ func (t TypeTag) ContainsAny(typeTags ...TypeTag) bool

+ func (t TypeTag) Equals(tag TypeTag) bool

+ func (t TypeTag) Not() TypeTag

+ func (t TypeTag) Or(tag TypeTag) TypeTag

type VariableSizedType

+ func NewVariableSizedType(memoryGauge common.MemoryGauge, typ Type) *VariableSizedType

+ func (t *VariableSizedType) Tag() TypeTag

v0.24.0-beta.1

Jun 2, 2022

v0.23.4

Apr 11, 2022

Changes in this version

type Elaboration

+ IndexExpressionIndexedTypes map[*ast.IndexExpression]ValueIndexableType

v0.23.3

Apr 1, 2022

v0.23.3-patch.2

May 13, 2022

v0.23.3-patch.1

May 11, 2022

v0.23.2

Mar 11, 2022

v0.23.1

Mar 7, 2022

v0.23.0

Mar 3, 2022

Changes in this version

+ const PublicKeyVerifyPoPFunction

+ var ByteArrayArrayType = &VariableSizedType

+ var PrivatePathConversionFunctionType = pathConversionFunctionType(PrivatePathType)

+ var PublicKeyArrayType = &VariableSizedType

+ var PublicKeyVerifyPoPFunctionType = &FunctionType

+ var PublicPathConversionFunctionType = pathConversionFunctionType(PublicPathType)

+ var StoragePathConversionFunctionType = pathConversionFunctionType(StoragePathType)

+ type InvalidPathIdentifierError struct

+ ActualIdentifier string

+ func (e *InvalidPathIdentifierError) Error() string

v0.21.3

Mar 1, 2022

Changes in this version

type CompositeType

+ func (t *CompositeType) FieldPosition(name string, declaration *ast.CompositeDeclaration) ast.Position

type InterfaceType

+ func (t *InterfaceType) FieldPosition(name string, declaration *ast.InterfaceDeclaration) ast.Position

+ type InvalidConditionalResourceOperandError struct

+ func (e *InvalidConditionalResourceOperandError) Error() string

v0.21.2

Feb 16, 2022

Changes in this version

+ const AddressTypeName

+ const MetaTypeName

+ var AddressConversionFunctionType = &FunctionType

type FunctionType

+ func NumberConversionFunctionType(numberType Type) *FunctionType

type Resources

+ Halts bool

v0.21.1

Feb 2, 2022

v0.21.1-patch.2

Feb 11, 2022

v0.21.0

Jan 26, 2022

Changes in this version

+ const HashAlgorithmDocStringKECCAK_256

type HashAlgorithm

+ const HashAlgorithmKECCAK_256

type Resources

+ JumpsOrReturns bool

type ReturnInfo

+ DefinitelyJumped bool

+ MaybeJumpedOrReturned bool

+ func (ri *ReturnInfo) IsUnreachable() bool

v0.20.3

Jan 12, 2022

Changes in this version

type CompositeType

+ func (t *CompositeType) IsContainerType() bool

type ContainerType

+ IsContainerType func() bool

type InterfaceType

+ func (t *InterfaceType) IsContainerType() bool

type SimpleType

+ func (t *SimpleType) IsContainerType() bool

v0.20.2

Dec 1, 2021

v0.20.1

Nov 22, 2021

v0.20.0

Nov 17, 2021

Changes in this version

+ const BlockTypeHeightFieldName

+ const BlockTypeIDFieldName

+ const BlockTypeTimestampFieldName

+ const BlockTypeViewFieldName

+ var AccountKeysTypeGetFunctionType = &FunctionType

+ var AccountTypeGetLinkTargetFunctionType = &FunctionType

+ var AddressTypeToBytesFunctionType = &FunctionType

+ var AuthAccountContractsTypeAddFunctionType = &FunctionType

+ var AuthAccountContractsTypeGetFunctionType = &FunctionType

+ var AuthAccountContractsTypeRemoveFunctionType = &FunctionType

+ var AuthAccountContractsTypeUpdateExperimentalFunctionType = &FunctionType

+ var AuthAccountKeysTypeAddFunctionType = &FunctionType

+ var AuthAccountKeysTypeRevokeFunctionType = &FunctionType

+ var AuthAccountTypeAddPublicKeyFunctionType = &FunctionType

+ var AuthAccountTypeBorrowFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeCopyFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeGetCapabilityFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeLinkFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeLoadFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeRemovePublicKeyFunctionType = &FunctionType

+ var AuthAccountTypeSaveFunctionType = func() *FunctionType { ... }()

+ var AuthAccountTypeUnlinkFunctionType = &FunctionType

+ var GetTypeFunctionType = &FunctionType

+ var IsInstanceFunctionType = &FunctionType

+ var MetaTypeIsSubtypeFunctionType = &FunctionType

+ var PublicAccountTypeGetCapabilityFunctionType = func() *FunctionType { ... }()

+ var PublicKeyVerifyFunctionType = &FunctionType

+ var StringTypeConcatFunctionType = &FunctionType

+ var StringTypeDecodeHexFunctionType = &FunctionType

+ var StringTypeEncodeHexFunctionType = &FunctionType

+ var StringTypeSliceFunctionType = &FunctionType

+ var StringTypeToLowerFunctionType = &FunctionType

+ var ToStringFunctionType = &FunctionType

type Elaboration

+ IsNestedResourceMoveExpression map[ast.Expression]struct{}

type FunctionType

+ func ArrayAppendAllFunctionType(arrayType Type) *FunctionType

+ func ArrayAppendFunctionType(elementType Type) *FunctionType

+ func ArrayConcatFunctionType(arrayType Type) *FunctionType

+ func ArrayContainsFunctionType(elementType Type) *FunctionType

+ func ArrayInsertFunctionType(elementType Type) *FunctionType

+ func ArrayRemoveFirstFunctionType(elementType Type) *FunctionType

+ func ArrayRemoveFunctionType(elementType Type) *FunctionType

+ func ArrayRemoveLastFunctionType(elementType Type) *FunctionType

+ func CapabilityTypeBorrowFunctionType(borrowType Type) *FunctionType

+ func CapabilityTypeCheckFunctionType(borrowType Type) *FunctionType

+ func DictionaryContainsKeyFunctionType(t *DictionaryType) *FunctionType

+ func DictionaryInsertFunctionType(t *DictionaryType) *FunctionType

+ func DictionaryRemoveFunctionType(t *DictionaryType) *FunctionType

+ func EnumConstructorType(compositeType *CompositeType) *FunctionType

+ func OptionalTypeMapFunctionType(typ Type) *FunctionType

v0.20.0-beta9

Oct 27, 2021

v0.20.0-beta8

Oct 4, 2021

v0.20.0-beta7

Oct 4, 2021

v0.20.0-beta6

Sep 30, 2021

v0.20.0-beta5

Sep 29, 2021

v0.20.0-beta4

Sep 28, 2021

v0.20.0-beta3

Sep 28, 2021

v0.20.0-beta2

Sep 28, 2021

v0.20.0-beta10

Oct 27, 2021

v0.20.0-beta1

Sep 22, 2021

v0.19.1

Sep 13, 2021

v0.19.0

Sep 7, 2021

Changes in this version

+ const AuthAccountContractsTypeNamesField

+ const PublicAccountContractsField

+ const PublicAccountContractsTypeGetFunctionName

+ const PublicAccountContractsTypeName

+ const PublicAccountContractsTypeNamesField

+ var ByteArrayType = &VariableSizedType

+ var PublicAccountContractsType = func() *CompositeType { ... }()

type AstPositionResourceUseOrderedMap

+ func (om *AstPositionResourceUseOrderedMap) ForeachWithError(f func(key ast.Position, value ResourceUse) error) error

type Elaboration

+ ArrayExpressionArrayType map[*ast.ArrayExpression]ArrayType

+ InvocationExpressionReceiverTypes map[*ast.InvocationExpression]Type

type FunctionType

+ IsConstructor bool

+ ReceiverType Type

type InterfaceResourceInfoOrderedMap

+ func (om *InterfaceResourceInfoOrderedMap) ForeachWithError(f func(key interface{}, value ResourceInfo) error) error

type InterfaceTypeStructOrderedMap

+ func (om *InterfaceTypeStructOrderedMap) ForeachWithError(f func(key *InterfaceType, value struct{}) error) error

+ type MemberAccountAccessHandlerFunc func(checker *Checker, memberLocation common.Location) bool

type MemberAstFieldDeclarationOrderedMap

+ func (om *MemberAstFieldDeclarationOrderedMap) ForeachWithError(f func(key *Member, value *ast.FieldDeclaration) error) error

type MemberStructOrderedMap

+ func (om *MemberStructOrderedMap) ForeachWithError(f func(key *Member, value struct{}) error) error

type Option

+ func WithMemberAccountAccessHandler(handler MemberAccountAccessHandlerFunc) Option

type ResourceInvalidationStructOrderedMap

+ func (om *ResourceInvalidationStructOrderedMap) ForeachWithError(f func(key ResourceInvalidation, value struct{}) error) error

type StringImportElementOrderedMap

+ func (om *StringImportElementOrderedMap) ForeachWithError(f func(key string, value ImportElement) error) error

type StringMemberOrderedMap

+ func (om *StringMemberOrderedMap) ForeachWithError(f func(key string, value *Member) error) error

type StringTypeOrderedMap

+ func (om *StringTypeOrderedMap) ForeachWithError(f func(key string, value Type) error) error

type StringValueDeclarationOrderedMap

+ func (om *StringValueDeclarationOrderedMap) ForeachWithError(f func(key string, value ValueDeclaration) error) error

type StringVariableOrderedMap

+ func (om *StringVariableOrderedMap) ForeachWithError(f func(key string, value *Variable) error) error

type TypeParameterTypeOrderedMap

+ func (om *TypeParameterTypeOrderedMap) ForeachWithError(f func(key *TypeParameter, value Type) error) error

+ type UnnecessaryCastHint struct

+ TargetType Type

+ func (h *UnnecessaryCastHint) Hint() string

v0.18.0

Jun 15, 2021

Changes in this version

+ const HashAlgorithmTypeHashFunctionDocString

+ const HashAlgorithmTypeHashFunctionName

+ const HashAlgorithmTypeHashWithTagFunctionDocString

+ const HashAlgorithmTypeHashWithTagFunctionName

+ var HashAlgorithmTypeHashFunctionType = &FunctionType

+ var HashAlgorithmTypeHashWithTagFunctionType = &FunctionType

v0.17.0

Jun 9, 2021

Changes in this version

+ const StringTypeEncodeHexFunctionDocString

+ const StringTypeEncodeHexFunctionName

+ func IsProperSubType(subType Type, superType Type) bool

type AddressType

+ func (t *AddressType) IsImportable(_ map[*Member]bool) bool

type CapabilityType

+ func (t *CapabilityType) IsImportable(_ map[*Member]bool) bool

type Checker

+ FunctionInvocations *FunctionInvocations

type CompositeType

+ func (t *CompositeType) IsImportable(results map[*Member]bool) bool

+ func (t *CompositeType) SetContainerType(containerType Type)

type ConformanceError

+ CompositeDeclaration *ast.CompositeDeclaration

type ConstantSizedType

+ func (t *ConstantSizedType) IsImportable(results map[*Member]bool) bool

type ContainedType

+ SetContainerType func(containerType Type)

type DictionaryType

+ func (t *DictionaryType) IsImportable(results map[*Member]bool) bool

type Elaboration

+ CompositeTypeDeclarations map[*CompositeType]*ast.CompositeDeclaration

+ InterfaceTypeDeclarations map[*InterfaceType]*ast.InterfaceDeclaration

+ MemberExpressionExpectedTypes map[*ast.MemberExpression]Type

type FixedPointNumericType

+ func (t *FixedPointNumericType) IsImportable(_ map[*Member]bool) bool

+ type FunctionInvocation struct

+ EndPos Position

+ FunctionType *FunctionType

+ StartPos Position

+ TrailingSeparatorPositions []ast.Position

+ type FunctionInvocations struct

+ func NewFunctionInvocations() *FunctionInvocations

+ func (f *FunctionInvocations) Find(pos Position) *FunctionInvocation

+ func (f *FunctionInvocations) Put(startPos, endPos ast.Position, functionType *FunctionType, ...)

type FunctionType

+ func (t *FunctionType) IsImportable(_ map[*Member]bool) bool

type GenericType

+ func (t *GenericType) IsImportable(_ map[*Member]bool) bool

type InterfaceType

+ func (t *InterfaceType) IsImportable(results map[*Member]bool) bool

+ func (t *InterfaceType) SetContainerType(containerType Type)

+ type InvalidNonImportableTransactionParameterTypeError struct

+ Type Type

+ func (e *InvalidNonImportableTransactionParameterTypeError) Error() string

type Member

+ func (m *Member) IsImportable(results map[*Member]bool) (result bool)

type NotDeclaredError

+ Expression *ast.IdentifierExpression

type NotDeclaredMemberError

+ Expression *ast.MemberExpression

type NumericType

+ func (t *NumericType) IsImportable(_ map[*Member]bool) bool

type Occurrences

+ func (o *Occurrences) FindAll(pos Position) []Occurrence

type OptionalType

+ func (t *OptionalType) IsImportable(results map[*Member]bool) bool

type Origin

+ DocString string

+ Occurrences []ast.Range

type Range

+ DocString string

type Ranges

+ func (r *Ranges) FindAll(pos Position) []Range

type ReferenceType

+ func (t *ReferenceType) IsImportable(_ map[*Member]bool) bool

type RestrictedType

+ func (t *RestrictedType) IsImportable(results map[*Member]bool) bool

type SimpleType

+ Importable bool

+ func (t *SimpleType) IsImportable(_ map[*Member]bool) bool

type TransactionType

+ func (t *TransactionType) IsImportable(_ map[*Member]bool) bool

type Type

+ IsImportable func(results map[*Member]bool) bool

type TypeMismatchError

+ Expression ast.Expression

type ValueDeclaration

+ ValueDeclarationDocString func() string

type Variable

+ DocString string

type VariableSizedType

+ func (t *VariableSizedType) IsImportable(results map[*Member]bool) bool

v0.16.1

May 23, 2021

v0.16.0

May 18, 2021

Changes in this version

+ const HashAlgorithmDocStringKMAC128_BLS_BLS12_381

+ const PublicKeyIsValidField

+ const PublicKeyVerifyFunction

+ const SignatureAlgorithmDocStringBLS_BLS12_381

+ const SignatureAlgorithmDocStringECDSA_secp256k1

type Checker

+ Ranges *Ranges

+ func (checker *Checker) VisitExpression(expr ast.Expression, expectedType Type) Type

+ func (checker *Checker) VisitExpressionWithForceType(expr ast.Expression, expectedType Type, forceType bool) Type

type Elaboration

+ FixedPointExpression map[*ast.FixedPointExpression]Type

+ IntegerExpressionType map[*ast.IntegerExpression]Type

+ ReferenceExpressionBorrowTypes map[*ast.ReferenceExpression]*ReferenceType

type HashAlgorithm

+ const HashAlgorithmKMAC128_BLS_BLS12_381

type Option

+ func WithPositionInfoEnabled(enabled bool) Option

+ type Range struct

+ DeclarationKind common.DeclarationKind

+ Identifier string

+ Type Type

+ type Ranges struct

+ func NewRanges() *Ranges

+ func (r *Ranges) All() []Range

+ func (r *Ranges) Find(pos Position) []Range

+ func (r *Ranges) Put(startPos, endPos ast.Position, ra Range)

type SignatureAlgorithm

+ const SignatureAlgorithmBLS_BLS12_381

+ const SignatureAlgorithmECDSA_secp256k1

type VariableActivation

+ LeaveCallbacks []func(getEndPosition func() ast.Position)

type VariableActivations

+ func (a *VariableActivations) ForEachVariableDeclaredInAndBelow(depth int, f func(name string, value *Variable))

v0.15.1

Apr 21, 2021

v0.15.0

Apr 20, 2021

Changes in this version

+ const AuthAccountAddPublicKeyField

+ const AuthAccountAddressField

+ const AuthAccountAvailableBalanceField

+ const AuthAccountBalanceField

+ const AuthAccountBorrowField

+ const AuthAccountContractsField

+ const AuthAccountContractsTypeName

+ const AuthAccountCopyField

+ const AuthAccountGetCapabilityField

+ const AuthAccountGetLinkTargetField

+ const AuthAccountKeysField

+ const AuthAccountLinkField

+ const AuthAccountLoadField

+ const AuthAccountRemovePublicKeyField

+ const AuthAccountSaveField

+ const AuthAccountStorageCapacityField

+ const AuthAccountStorageUsedField

+ const AuthAccountTypeName

+ const AuthAccountUnlinkField

+ const Fix64TypeName

+ const FixedPointTypeName

+ const Int128TypeName

+ const Int16TypeName

+ const Int256TypeName

+ const Int32TypeName

+ const Int64TypeName

+ const Int8TypeName

+ const IntTypeName

+ const IntegerTypeName

+ const NumberTypeMaxFieldName

+ const NumberTypeMinFieldName

+ const NumberTypeName

+ const NumericTypeSaturatingAddFunctionName

+ const NumericTypeSaturatingDivideFunctionName

+ const NumericTypeSaturatingMultiplyFunctionName

+ const NumericTypeSaturatingSubtractFunctionName

+ const PublicAccountAddressField

+ const PublicAccountAvailableBalanceField

+ const PublicAccountBalanceField

+ const PublicAccountGetCapabilityField

+ const PublicAccountGetTargetLinkField

+ const PublicAccountKeysField

+ const PublicAccountStorageCapacityField

+ const PublicAccountStorageUsedField

+ const PublicAccountTypeName

+ const SignedFixedPointTypeName

+ const SignedIntegerTypeName

+ const SignedNumberTypeName

+ const UFix64TypeName

+ const UInt128TypeName

+ const UInt16TypeName

+ const UInt256TypeName

+ const UInt32TypeName

+ const UInt64TypeName

+ const UInt8TypeName

+ const UIntTypeName

+ const Word16TypeName

+ const Word32TypeName

+ const Word64TypeName

+ const Word8TypeName

+ type ConstructorFunctionType struct

type Elaboration

+ ConstructorFunctionTypes map[*ast.SpecialFunctionDeclaration]*ConstructorFunctionType

+ IsResourceMoveIndexExpression map[*ast.IndexExpression]bool

+ type FixedPointNumericType struct

+ func NewFixedPointNumericType(typeName string) *FixedPointNumericType

+ func (*FixedPointNumericType) IsEquatable() bool

+ func (*FixedPointNumericType) IsExternallyReturnable(_ map[*Member]bool) bool

+ func (*FixedPointNumericType) IsInvalidType() bool

+ func (*FixedPointNumericType) IsResourceType() bool

+ func (*FixedPointNumericType) IsStorable(_ map[*Member]bool) bool

+ func (*FixedPointNumericType) IsType()

+ func (*FixedPointNumericType) TypeAnnotationState() TypeAnnotationState

+ func (*FixedPointNumericType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), _ ast.Range) bool

+ func (t *FixedPointNumericType) Equal(other Type) bool

+ func (t *FixedPointNumericType) GetMembers() map[string]MemberResolver

+ func (t *FixedPointNumericType) ID() TypeID

+ func (t *FixedPointNumericType) MaxFractional() *big.Int

+ func (t *FixedPointNumericType) MaxInt() *big.Int

+ func (t *FixedPointNumericType) MinFractional() *big.Int

+ func (t *FixedPointNumericType) MinInt() *big.Int

+ func (t *FixedPointNumericType) QualifiedString() string

+ func (t *FixedPointNumericType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *FixedPointNumericType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

+ func (t *FixedPointNumericType) Scale() uint

+ func (t *FixedPointNumericType) String() string

+ func (t *FixedPointNumericType) SupportsSaturatingAdd() bool

+ func (t *FixedPointNumericType) SupportsSaturatingDivide() bool

+ func (t *FixedPointNumericType) SupportsSaturatingMultiply() bool

+ func (t *FixedPointNumericType) SupportsSaturatingSubtract() bool

+ func (t *FixedPointNumericType) WithFractionalRange(minFractional *big.Int, maxFractional *big.Int) *FixedPointNumericType

+ func (t *FixedPointNumericType) WithIntRange(minInt *big.Int, maxInt *big.Int) *FixedPointNumericType

+ func (t *FixedPointNumericType) WithSaturatingAdd() *FixedPointNumericType

+ func (t *FixedPointNumericType) WithSaturatingDivide() *FixedPointNumericType

+ func (t *FixedPointNumericType) WithSaturatingMultiply() *FixedPointNumericType

+ func (t *FixedPointNumericType) WithSaturatingSubtract() *FixedPointNumericType

+ func (t *FixedPointNumericType) WithScale(scale uint) *FixedPointNumericType

type FunctionType

+ ArgumentExpressionsCheck ArgumentExpressionsCheck

+ Members *StringMemberOrderedMap

+ type NumericType struct

+ func NewNumericType(typeName string) *NumericType

+ func (*NumericType) IsEquatable() bool

+ func (*NumericType) IsExternallyReturnable(_ map[*Member]bool) bool

+ func (*NumericType) IsInvalidType() bool

+ func (*NumericType) IsResourceType() bool

+ func (*NumericType) IsStorable(_ map[*Member]bool) bool

+ func (*NumericType) IsType()

+ func (*NumericType) TypeAnnotationState() TypeAnnotationState

+ func (*NumericType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), _ ast.Range) bool

+ func (t *NumericType) Equal(other Type) bool

+ func (t *NumericType) GetMembers() map[string]MemberResolver

+ func (t *NumericType) ID() TypeID

+ func (t *NumericType) MaxInt() *big.Int

+ func (t *NumericType) MinInt() *big.Int

+ func (t *NumericType) QualifiedString() string

+ func (t *NumericType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *NumericType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

+ func (t *NumericType) String() string

+ func (t *NumericType) SupportsSaturatingAdd() bool

+ func (t *NumericType) SupportsSaturatingDivide() bool

+ func (t *NumericType) SupportsSaturatingMultiply() bool

+ func (t *NumericType) SupportsSaturatingSubtract() bool

+ func (t *NumericType) WithIntRange(min *big.Int, max *big.Int) *NumericType

+ func (t *NumericType) WithSaturatingAdd() *NumericType

+ func (t *NumericType) WithSaturatingDivide() *NumericType

+ func (t *NumericType) WithSaturatingMultiply() *NumericType

+ func (t *NumericType) WithSaturatingSubtract() *NumericType

+ type SaturatingArithmeticType interface

+ SupportsSaturatingAdd func() bool

+ SupportsSaturatingDivide func() bool

+ SupportsSaturatingMultiply func() bool

+ SupportsSaturatingSubtract func() bool

v0.14.5

Apr 9, 2021

v0.14.4

Mar 25, 2021

Changes in this version

+ type CryptoAlgorithm interface

+ DocString func() string

+ Name func() string

+ RawValue func() uint8

v0.14.3

Mar 22, 2021

v0.14.2

Mar 18, 2021

Changes in this version

+ type AlwaysSucceedingFailableCastHint struct

+ TargetType Type

+ ValueType Type

+ func (h *AlwaysSucceedingFailableCastHint) Hint() string

+ type AlwaysSucceedingForceCastHint struct

+ TargetType Type

+ ValueType Type

+ func (h *AlwaysSucceedingForceCastHint) Hint() string

type Member

+ func (m *Member) IsValidEventParameterType(results map[*Member]bool) bool

v0.14.1

Mar 16, 2021

Changes in this version

type AstPositionResourceUseOrderedMap

+ func (om *AstPositionResourceUseOrderedMap) Clear()

type HashAlgorithm

+ const HashAlgorithmUnknown

type InterfaceResourceInfoOrderedMap

+ func (om *InterfaceResourceInfoOrderedMap) Clear()

type InterfaceTypeStructOrderedMap

+ func (om *InterfaceTypeStructOrderedMap) Clear()

type MemberAstFieldDeclarationOrderedMap

+ func (om *MemberAstFieldDeclarationOrderedMap) Clear()

type MemberStructOrderedMap

+ func (om *MemberStructOrderedMap) Clear()

type ResourceInvalidationStructOrderedMap

+ func (om *ResourceInvalidationStructOrderedMap) Clear()

type SignatureAlgorithm

+ const SignatureAlgorithmUnknown

type StringImportElementOrderedMap

+ func (om *StringImportElementOrderedMap) Clear()

type StringMemberOrderedMap

+ func (om *StringMemberOrderedMap) Clear()

type StringTypeOrderedMap

+ func (om *StringTypeOrderedMap) Clear()

type StringValueDeclarationOrderedMap

+ func (om *StringValueDeclarationOrderedMap) Clear()

type StringVariableOrderedMap

+ func (om *StringVariableOrderedMap) Clear()

type TypeParameterTypeOrderedMap

+ func (om *TypeParameterTypeOrderedMap) Clear()

type VariableActivation

+ func (a *VariableActivation) Clear()

+ func (a *VariableActivation) SetParent(parent *VariableActivation)

type VariableActivations

+ func NewVariableActivations(parent *VariableActivation) *VariableActivations

v0.14.0

Mar 15, 2021

Changes in this version

+ const AccountKeyHashAlgoField

+ const AccountKeyIsRevokedField

+ const AccountKeyKeyIndexField

+ const AccountKeyPublicKeyField

+ const AccountKeyTypeName

+ const AccountKeyWeightField

+ const AccountKeysAddFunctionName

+ const AccountKeysGetFunctionName

+ const AccountKeysRevokeFunctionName

+ const AccountKeysTypeName

+ const HashAlgorithmDocStringKMAC_128

+ const HashAlgorithmDocStringSHA2_256

+ const HashAlgorithmDocStringSHA2_384

+ const HashAlgorithmDocStringSHA3_256

+ const HashAlgorithmDocStringSHA3_384

+ const HashAlgorithmTypeName

+ const PublicKeyPublicKeyField

+ const PublicKeySignAlgoField

+ const PublicKeyTypeName

+ const SignatureAlgorithmDocStringBLS_BLS12381

+ const SignatureAlgorithmDocStringECDSA_P256

+ const SignatureAlgorithmDocStringECDSA_Secp256k1

+ const SignatureAlgorithmTypeName

+ var AccountKeyType = func() *CompositeType { ... }()

+ var AuthAccountKeysType = func() *CompositeType { ... }()

+ var HashAlgorithmType = newNativeEnumType(HashAlgorithmTypeName, &UInt8Type{})

+ var HashAlgorithms = []NativeEnumCase

+ var NativeCompositeTypes = map[string]*CompositeType

+ var PublicAccountKeysType = func() *CompositeType { ... }()

+ var PublicKeyType = func() *CompositeType { ... }()

+ var SignatureAlgorithmType = newNativeEnumType(SignatureAlgorithmTypeName, &UInt8Type{})

+ var SignatureAlgorithms = []NativeEnumCase

+ type HashAlgorithm int

+ const HashAlgorithmKMAC_128

+ const HashAlgorithmSHA2_256

+ const HashAlgorithmSHA2_384

+ const HashAlgorithmSHA3_256

+ const HashAlgorithmSHA3_384

+ func (algo HashAlgorithm) DocString() string

+ func (algo HashAlgorithm) Name() string

+ func (algo HashAlgorithm) RawValue() int

+ func (i HashAlgorithm) String() string

type Member

+ func NewPublicEnumCaseMember(caseType Type, identifier string, docString string) *Member

+ type NativeEnumCase interface

+ DocString func() string

+ Name func() string

+ RawValue func() int

+ type SignatureAlgorithm int

+ const SignatureAlgorithmBLS_BLS12381

+ const SignatureAlgorithmECDSA_P256

+ const SignatureAlgorithmECDSA_Secp256k1

+ func (algo SignatureAlgorithm) DocString() string

+ func (algo SignatureAlgorithm) Name() string

+ func (algo SignatureAlgorithm) RawValue() int

+ func (i SignatureAlgorithm) String() string

type StringMemberOrderedMap

+ func GetMembersAsMap(members []*Member) *StringMemberOrderedMap

+ type VariableActivation struct

+ Depth int

+ Parent *VariableActivation

+ func NewVariableActivation(parent *VariableActivation) *VariableActivation

+ func (a *VariableActivation) Find(name string) *Variable

+ func (a *VariableActivation) ForEach(cb func(string, *Variable) error) error

+ func (a *VariableActivation) Set(name string, variable *Variable)

v0.13.10

Mar 25, 2021

v0.13.9

Mar 23, 2021

v0.13.8

Mar 18, 2021

Changes in this version

type Member

+ func (m *Member) IsValidParameterType(results map[*Member]bool) bool

v0.13.7

Mar 12, 2021

v0.13.6

Mar 9, 2021

v0.13.5

Mar 5, 2021

Changes in this version

+ type SimpleType struct

+ Equatable bool

+ ExternallyReturnable bool

+ IsInvalid bool

+ IsResource bool

+ IsSuperTypeOf func(subType Type) bool

+ Members func(*SimpleType) map[string]MemberResolver

+ Name string

+ NestedTypes *StringTypeOrderedMap

+ QualifiedName string

+ Storable bool

+ TypeID TypeID

+ ValueIndexingInfo ValueIndexingInfo

+ func (*SimpleType) IsType()

+ func (*SimpleType) TypeAnnotationState() TypeAnnotationState

+ func (*SimpleType) Unify(_ Type, _ *TypeParameterTypeOrderedMap, _ func(err error), _ ast.Range) bool

+ func (t *SimpleType) AllowsValueIndexingAssignment() bool

+ func (t *SimpleType) ElementType(isAssignment bool) Type

+ func (t *SimpleType) Equal(other Type) bool

+ func (t *SimpleType) GetMembers() map[string]MemberResolver

+ func (t *SimpleType) GetNestedTypes() *StringTypeOrderedMap

+ func (t *SimpleType) ID() TypeID

+ func (t *SimpleType) IndexingType() Type

+ func (t *SimpleType) IsEquatable() bool

+ func (t *SimpleType) IsExternallyReturnable(_ map[*Member]bool) bool

+ func (t *SimpleType) IsInvalidType() bool

+ func (t *SimpleType) IsResourceType() bool

+ func (t *SimpleType) IsStorable(_ map[*Member]bool) bool

+ func (t *SimpleType) QualifiedString() string

+ func (t *SimpleType) Resolve(_ *TypeParameterTypeOrderedMap) Type

+ func (t *SimpleType) RewriteWithRestrictedTypes() (Type, bool)

+ func (t *SimpleType) String() string

v0.13.5-no-id-caching

Mar 9, 2021

v0.13.4

Mar 4, 2021

v0.13.3

Mar 3, 2021

Changes in this version

+ var BaseTypeActivation = activations.NewActivation(nil)

+ var BaseValueActivation = activations.NewActivation(nil)

type VariableActivations

+ func (a *VariableActivations) Current() *activations.Activation

v0.13.2

Mar 3, 2021

Changes in this version

+ func VisitThisAndNested(t Type, visit func(ty Type))

type CompositeType

+ func (t *CompositeType) GetNestedTypes() *StringTypeOrderedMap

type ContainerType

+ GetNestedTypes func() *StringTypeOrderedMap

type InterfaceType

+ func (t *InterfaceType) GetNestedTypes() *StringTypeOrderedMap

type NominalType

+ NestedTypes *StringTypeOrderedMap

+ ValueIndexingInfo ValueIndexingInfo

+ func (t *NominalType) AllowsValueIndexingAssignment() bool

+ func (t *NominalType) ElementType(isAssignment bool) Type

+ func (t *NominalType) GetNestedTypes() *StringTypeOrderedMap

+ func (t *NominalType) IndexingType() Type

+ type ValueIndexingInfo struct

+ AllowsValueIndexingAssignment bool

+ ElementType func(_ bool) Type

+ IndexingType *IntegerType

+ IsValueIndexableType bool

v0.13.1

Feb 25, 2021

Changes in this version

+ var TypeOfNil = &OptionalType

type NominalType

+ Members func(*NominalType) map[string]MemberResolver

v0.13.1-untyped-capability-fix

Mar 5, 2021

v0.13.1-no-contract-update-validation

Mar 3, 2021

v0.13.0

Feb 22, 2021

Changes in this version

+ type AstPositionResourceUseOrderedMap struct

+ func NewAstPositionResourceUseOrderedMap() *AstPositionResourceUseOrderedMap

+ func (om *AstPositionResourceUseOrderedMap) Delete(key ast.Position) (oldValue ResourceUse, present bool)

+ func (om *AstPositionResourceUseOrderedMap) Foreach(f func(key ast.Position, value ResourceUse))

+ func (om *AstPositionResourceUseOrderedMap) Get(key ast.Position) (result ResourceUse, present bool)

+ func (om *AstPositionResourceUseOrderedMap) GetPair(key ast.Position) *AstPositionResourceUsePair

+ func (om *AstPositionResourceUseOrderedMap) Len() int

+ func (om *AstPositionResourceUseOrderedMap) Newest() *AstPositionResourceUsePair

+ func (om *AstPositionResourceUseOrderedMap) Oldest() *AstPositionResourceUsePair

+ func (om *AstPositionResourceUseOrderedMap) Set(key ast.Position, value ResourceUse) (oldValue ResourceUse, present bool)

+ type AstPositionResourceUsePair struct

+ Key ast.Position

+ Value ResourceUse

+ func (p *AstPositionResourceUsePair) Next() *AstPositionResourceUsePair

+ func (p *AstPositionResourceUsePair) Prev() *AstPositionResourceUsePair

type Checker

+ func (checker *Checker) SubChecker(program *ast.Program, location common.Location) (*Checker, error)

type Elaboration

+ func (e *Elaboration) FunctionEntryPointType() (*FunctionType, error)

+ func (e *Elaboration) IsChecking() bool

+ type ElaborationImport struct

+ Elaboration *Elaboration

+ func (i ElaborationImport) AllTypeElements() *StringImportElementOrderedMap

+ func (i ElaborationImport) AllValueElements() *StringImportElementOrderedMap

+ func (i ElaborationImport) IsChecking() bool

+ func (i ElaborationImport) IsImportableType(name string) bool

+ func (i ElaborationImport) IsImportableValue(name string) bool

type ImportedProgramError

+ Err error

+ type InterfaceResourceInfoOrderedMap struct

+ func NewInterfaceResourceInfoOrderedMap() *InterfaceResourceInfoOrderedMap

+ func (om *InterfaceResourceInfoOrderedMap) Delete(key interface{}) (oldValue ResourceInfo, present bool)

+ func (om *InterfaceResourceInfoOrderedMap) Foreach(f func(key interface{}, value ResourceInfo))

+ func (om *InterfaceResourceInfoOrderedMap) Get(key interface{}) (result ResourceInfo, present bool)

+ func (om *InterfaceResourceInfoOrderedMap) GetPair(key interface{}) *InterfaceResourceInfoPair

+ func (om *InterfaceResourceInfoOrderedMap) Len() int

+ func (om *InterfaceResourceInfoOrderedMap) Newest() *InterfaceResourceInfoPair

+ func (om *InterfaceResourceInfoOrderedMap) Oldest() *InterfaceResourceInfoPair

+ func (om *InterfaceResourceInfoOrderedMap) Set(key interface{}, value ResourceInfo) (oldValue ResourceInfo, present bool)

+ type InterfaceResourceInfoPair struct

+ Key interface{}

+ Value ResourceInfo

+ func (p *InterfaceResourceInfoPair) Next() *InterfaceResourceInfoPair

+ func (p *InterfaceResourceInfoPair) Prev() *InterfaceResourceInfoPair

type InterfaceSet

+ func NewInterfaceSet() *InterfaceSet

+ func (s *InterfaceSet) ForEach(f func(*InterfaceType))

+ func (s *InterfaceSet) Len() int

+ type InterfaceTypeStructOrderedMap struct

+ func NewInterfaceTypeStructOrderedMap() *InterfaceTypeStructOrderedMap

+ func (om *InterfaceTypeStructOrderedMap) Delete(key *InterfaceType) (oldValue struct{}, present bool)

+ func (om *InterfaceTypeStructOrderedMap) Foreach(f func(key *InterfaceType, value struct{}))

+ func (om *InterfaceTypeStructOrderedMap) Get(key *InterfaceType) (result struct{}, present bool)

+ func (om *InterfaceTypeStructOrderedMap) GetPair(key *InterfaceType) *InterfaceTypeStructPair

+ func (om *InterfaceTypeStructOrderedMap) Len() int

+ func (om *InterfaceTypeStructOrderedMap) Newest() *InterfaceTypeStructPair

+ func (om *InterfaceTypeStructOrderedMap) Oldest() *InterfaceTypeStructPair

+ func (om *InterfaceTypeStructOrderedMap) Set(key *InterfaceType, value struct{}) (oldValue struct{}, present bool)

+ type InterfaceTypeStructPair struct

+ Key *InterfaceType

+ Value struct{}

+ func (p *InterfaceTypeStructPair) Next() *InterfaceTypeStructPair

+ func (p *InterfaceTypeStructPair) Prev() *InterfaceTypeStructPair

+ type MemberAstFieldDeclarationOrderedMap struct

+ func NewMemberAstFieldDeclarationOrderedMap() *MemberAstFieldDeclarationOrderedMap

+ func (om *MemberAstFieldDeclarationOrderedMap) Delete(key *Member) (oldValue *ast.FieldDeclaration, present bool)

+ func (om *MemberAstFieldDeclarationOrderedMap) Foreach(f func(key *Member, value *ast.FieldDeclaration))

+ func (om *MemberAstFieldDeclarationOrderedMap) Get(key *Member) (result *ast.FieldDeclaration, present bool)

+ func (om *MemberAstFieldDeclarationOrderedMap) GetPair(key *Member) *MemberAstFieldDeclarationPair

+ func (om *MemberAstFieldDeclarationOrderedMap) Len() int

+ func (om *MemberAstFieldDeclarationOrderedMap) Newest() *MemberAstFieldDeclarationPair

+ func (om *MemberAstFieldDeclarationOrderedMap) Oldest() *MemberAstFieldDeclarationPair

+ func (om *MemberAstFieldDeclarationOrderedMap) Set(key *Member, value *ast.FieldDeclaration) (oldValue *ast.FieldDeclaration, present bool)

+ type MemberAstFieldDeclarationPair struct

+ Key *Member

+ Value *ast.FieldDeclaration

+ func (p *MemberAstFieldDeclarationPair) Next() *MemberAstFieldDeclarationPair

+ func (p *MemberAstFieldDeclarationPair) Prev() *MemberAstFieldDeclarationPair

type MemberSet

+ Parent *MemberSet

+ func (ms *MemberSet) ForEach(cb func(member *Member) error) error

+ type MemberStructOrderedMap struct

+ func NewMemberStructOrderedMap() *MemberStructOrderedMap

+ func (om *MemberStructOrderedMap) Delete(key *Member) (oldValue struct{}, present bool)

+ func (om *MemberStructOrderedMap) Foreach(f func(key *Member, value struct{}))

+ func (om *MemberStructOrderedMap) Get(key *Member) (result struct{}, present bool)

+ func (om *MemberStructOrderedMap) GetPair(key *Member) *MemberStructPair

+ func (om *MemberStructOrderedMap) Len() int

+ func (om *MemberStructOrderedMap) Newest() *MemberStructPair

+ func (om *MemberStructOrderedMap) Oldest() *MemberStructPair

+ func (om *MemberStructOrderedMap) Set(key *Member, value struct{}) (oldValue struct{}, present bool)

+ type MemberStructPair struct

+ Key *Member

+ Value struct{}

+ func (p *MemberStructPair) Next() *MemberStructPair

+ func (p *MemberStructPair) Prev() *MemberStructPair

type ResourceInfo

+ func (ri ResourceInfo) Clone() ResourceInfo

+ type ResourceInvalidationStructOrderedMap struct

+ func NewResourceInvalidationStructOrderedMap() *ResourceInvalidationStructOrderedMap

+ func (om *ResourceInvalidationStructOrderedMap) Delete(key ResourceInvalidation) (oldValue struct{}, present bool)

+ func (om *ResourceInvalidationStructOrderedMap) Foreach(f func(key ResourceInvalidation, value struct{}))

+ func (om *ResourceInvalidationStructOrderedMap) Get(key ResourceInvalidation) (result struct{}, present bool)

+ func (om *ResourceInvalidationStructOrderedMap) GetPair(key ResourceInvalidation) *ResourceInvalidationStructPair

+ func (om *ResourceInvalidationStructOrderedMap) Len() int

+ func (om *ResourceInvalidationStructOrderedMap) Newest() *ResourceInvalidationStructPair

+ func (om *ResourceInvalidationStructOrderedMap) Oldest() *ResourceInvalidationStructPair

+ func (om *ResourceInvalidationStructOrderedMap) Set(key ResourceInvalidation, value struct{}) (oldValue struct{}, present bool)

+ type ResourceInvalidationStructPair struct

+ Key ResourceInvalidation

+ Value struct{}

+ func (p *ResourceInvalidationStructPair) Next() *ResourceInvalidationStructPair

+ func (p *ResourceInvalidationStructPair) Prev() *ResourceInvalidationStructPair

type ResourceInvalidations

+ Parent *ResourceInvalidations

+ func (ris *ResourceInvalidations) Add(invalidation ResourceInvalidation)

+ func (ris *ResourceInvalidations) Clone() ResourceInvalidations

+ func (ris *ResourceInvalidations) DeleteLocally(invalidation ResourceInvalidation)

+ func (ris *ResourceInvalidations) ForEach(cb func(invalidation ResourceInvalidation) error) error

+ func (ris ResourceInvalidations) Contains(invalidation ResourceInvalidation) bool

type ResourceUses

+ Parent *ResourceUses

+ func (rus *ResourceUses) Add(pos ast.Position)

+ func (rus *ResourceUses) Clone() ResourceUses

+ func (rus *ResourceUses) ForEach(cb func(pos ast.Position, use ResourceUse) error) error

+ func (rus ResourceUses) Contains(pos ast.Position) bool

type Resources

+ func NewResources() *Resources

+ func (ris *Resources) RemoveTemporaryMoveInvalidation(resource interface{}, invalidation ResourceInvalidation)

+ type StringImportElementOrderedMap struct

+ func NewStringImportElementOrderedMap() *StringImportElementOrderedMap

+ func (om *StringImportElementOrderedMap) Delete(key string) (oldValue ImportElement, present bool)

+ func (om *StringImportElementOrderedMap) Foreach(f func(key string, value ImportElement))

+ func (om *StringImportElementOrderedMap) Get(key string) (result ImportElement, present bool)

+ func (om *StringImportElementOrderedMap) GetPair(key string) *StringImportElementPair

+ func (om *StringImportElementOrderedMap) Len() int

+ func (om *StringImportElementOrderedMap) Newest() *StringImportElementPair

+ func (om *StringImportElementOrderedMap) Oldest() *StringImportElementPair

+ func (om *StringImportElementOrderedMap) Set(key string, value ImportElement) (oldValue ImportElement, present bool)

+ type StringImportElementPair struct

+ Key string

+ Value ImportElement

+ func (p *StringImportElementPair) Next() *StringImportElementPair

+ func (p *StringImportElementPair) Prev() *StringImportElementPair

+ type StringMemberOrderedMap struct

+ func NewStringMemberOrderedMap() *StringMemberOrderedMap

+ func (om *StringMemberOrderedMap) Delete(key string) (oldValue *Member, present bool)

+ func (om *StringMemberOrderedMap) Foreach(f func(key string, value *Member))

+ func (om *StringMemberOrderedMap) Get(key string) (result *Member, present bool)

+ func (om *StringMemberOrderedMap) GetPair(key string) *StringMemberPair

+ func (om *StringMemberOrderedMap) Len() int

+ func (om *StringMemberOrderedMap) Newest() *StringMemberPair

+ func (om *StringMemberOrderedMap) Oldest() *StringMemberPair

+ func (om *StringMemberOrderedMap) Set(key string, value *Member) (oldValue *Member, present bool)

+ type StringMemberPair struct

+ Key string

+ Value *Member

+ func (p *StringMemberPair) Next() *StringMemberPair

+ func (p *StringMemberPair) Prev() *StringMemberPair

+ type StringTypeOrderedMap struct

+ func NewStringTypeOrderedMap() *StringTypeOrderedMap

+ func (om *StringTypeOrderedMap) Delete(key string) (oldValue Type, present bool)

+ func (om *StringTypeOrderedMap) Foreach(f func(key string, value Type))

+ func (om *StringTypeOrderedMap) Get(key string) (result Type, present bool)

+ func (om *StringTypeOrderedMap) GetPair(key string) *StringTypePair

+ func (om *StringTypeOrderedMap) Len() int

+ func (om *StringTypeOrderedMap) Newest() *StringTypePair

+ func (om *StringTypeOrderedMap) Oldest() *StringTypePair

+ func (om *StringTypeOrderedMap) Set(key string, value Type) (oldValue Type, present bool)

+ type StringTypePair struct

+ Key string

+ Value Type

+ func (p *StringTypePair) Next() *StringTypePair

+ func (p *StringTypePair) Prev() *StringTypePair

+ type StringValueDeclarationOrderedMap struct

+ func NewStringValueDeclarationOrderedMap() *StringValueDeclarationOrderedMap

+ func (om *StringValueDeclarationOrderedMap) Delete(key string) (oldValue ValueDeclaration, present bool)

+ func (om *StringValueDeclarationOrderedMap) Foreach(f func(key string, value ValueDeclaration))

+ func (om *StringValueDeclarationOrderedMap) Get(key string) (result ValueDeclaration, present bool)

+ func (om *StringValueDeclarationOrderedMap) GetPair(key string) *StringValueDeclarationPair

+ func (om *StringValueDeclarationOrderedMap) Len() int

+ func (om *StringValueDeclarationOrderedMap) Newest() *StringValueDeclarationPair

+ func (om *StringValueDeclarationOrderedMap) Oldest() *StringValueDeclarationPair

+ func (om *StringValueDeclarationOrderedMap) Set(key string, value ValueDeclaration) (oldValue ValueDeclaration, present bool)

+ type StringValueDeclarationPair struct

+ Key string

+ Value ValueDeclaration

+ func (p *StringValueDeclarationPair) Next() *StringValueDeclarationPair

+ func (p *StringValueDeclarationPair) Prev() *StringValueDeclarationPair

+ type StringVariableOrderedMap struct

+ func NewStringVariableOrderedMap() *StringVariableOrderedMap

+ func (om *StringVariableOrderedMap) Delete(key string) (oldValue *Variable, present bool)

+ func (om *StringVariableOrderedMap) Foreach(f func(key string, value *Variable))

+ func (om *StringVariableOrderedMap) Get(key string) (result *Variable, present bool)

+ func (om *StringVariableOrderedMap) GetPair(key string) *StringVariablePair

+ func (om *StringVariableOrderedMap) Len() int

+ func (om *StringVariableOrderedMap) Newest() *StringVariablePair

+ func (om *StringVariableOrderedMap) Oldest() *StringVariablePair

+ func (om *StringVariableOrderedMap) Set(key string, value *Variable) (oldValue *Variable, present bool)

+ type StringVariablePair struct

+ Key string

+ Value *Variable

+ func (p *StringVariablePair) Next() *StringVariablePair

+ func (p *StringVariablePair) Prev() *StringVariablePair

+ type TypeParameterTypeOrderedMap struct

+ func NewTypeParameterTypeOrderedMap() *TypeParameterTypeOrderedMap

+ func (om *TypeParameterTypeOrderedMap) Delete(key *TypeParameter) (oldValue Type, present bool)

+ func (om *TypeParameterTypeOrderedMap) Foreach(f func(key *TypeParameter, value Type))

+ func (om *TypeParameterTypeOrderedMap) Get(key *TypeParameter) (result Type, present bool)

+ func (om *TypeParameterTypeOrderedMap) GetPair(key *TypeParameter) *TypeParameterTypePair

+ func (om *TypeParameterTypeOrderedMap) Len() int

+ func (om *TypeParameterTypeOrderedMap) Newest() *TypeParameterTypePair

+ func (om *TypeParameterTypeOrderedMap) Oldest() *TypeParameterTypePair

+ func (om *TypeParameterTypeOrderedMap) Set(key *TypeParameter, value Type) (oldValue Type, present bool)

+ type TypeParameterTypePair struct

+ Key *TypeParameter

+ Value Type

+ func (p *TypeParameterTypePair) Next() *TypeParameterTypePair

+ func (p *TypeParameterTypePair) Prev() *TypeParameterTypePair

v0.12.12

Feb 24, 2021

v0.12.11

Feb 5, 2021

v0.12.10

Feb 5, 2021

v0.12.9

Feb 4, 2021

v0.12.8

Feb 4, 2021

v0.12.7

Feb 4, 2021

v0.12.6

Feb 2, 2021

Changes in this version

type Elaboration

+ EffectivePredeclaredTypes map[string]TypeDeclaration

+ EffectivePredeclaredValues map[string]ValueDeclaration

+ GlobalTypes map[string]*Variable

+ GlobalValues map[string]*Variable

+ TransactionTypes []*TransactionType

type VariableActivations

+ func (a *VariableActivations) ForEachVariablesDeclaredInAndBelow(depth int, f func(name string, value *Variable))

v0.12.5

Jan 22, 2021

v0.12.4

Jan 20, 2021

v0.12.3

Jan 13, 2021

v0.12.2

Jan 13, 2021

Changes in this version

type Checker

+ AllCheckers map[common.LocationID]*Checker

v0.12.1

Jan 8, 2021

Changes in this version

type CheckerError

+ func (e CheckerError) ImportLocation() common.Location

v0.12.0

Dec 15, 2020

Changes in this version

+ const BlockIDSize

+ const GetTypeFunctionName

+ func CheckAddressLiteral(expression *ast.IntegerExpression, report func(error)) bool

+ func CheckFixedPointLiteral(expression *ast.FixedPointExpression, targetType Type, report func(error)) bool

+ func CheckIntegerLiteral(expression *ast.IntegerExpression, targetType Type, report func(error)) bool

+ type BlockType struct

+ func (*BlockType) Equal(other Type) bool

+ func (*BlockType) ID() TypeID

+ func (*BlockType) IsEquatable() bool

+ func (*BlockType) IsExternallyReturnable(_ map[*Member]bool) bool

+ func (*BlockType) IsInvalidType() bool

+ func (*BlockType) IsResourceType() bool

+ func (*BlockType) IsStorable(_ map[*Member]bool) bool

+ func (*BlockType) IsType()

+ func (*BlockType) QualifiedString() string

+ func (*BlockType) String() string

+ func (*BlockType) TypeAnnotationState() TypeAnnotationState

+ func (t *BlockType) GetMembers() map[string]MemberResolver

+ func (t *BlockType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *BlockType) RewriteWithRestrictedTypes() (Type, bool)

+ func (t *BlockType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

type Checker

+ func (checker *Checker) HasEffectivePredeclaredValue(name string) bool

type CheckerError

+ Codes map[common.LocationID]string

+ Location common.Location

type ImportedProgramError

+ Location common.Location

+ type InvalidNonIdentifierFailableResourceDowncast struct

+ func (e *InvalidNonIdentifierFailableResourceDowncast) Error() string

+ func (e *InvalidNonIdentifierFailableResourceDowncast) SecondaryError() string

type Type

+ func CheckPathLiteral(expression *ast.PathExpression) (Type, error)

type TypeDeclaration

+ TypeDeclarationName func() string

type ValueDeclaration

+ ValueDeclarationAvailable func(common.Location) bool

+ ValueDeclarationName func() string

v0.12.0-beta1

Dec 1, 2020

v0.11.2

Nov 25, 2020

v0.11.1

Nov 9, 2020

v0.11.0

Oct 13, 2020

Changes in this version

+ const FunctionEntryPointName

+ var CapabilityPathType = &NominalType

+ var PrivatePathType = &NominalType

+ var PublicPathType = &NominalType

+ var StoragePathType = &NominalType

+ func FunctionEntryPointDeclaration(program *ast.Program) *ast.FunctionDeclaration

type AddressType

+ func (*AddressType) IsExternallyReturnable(_ map[*Member]bool) bool

type AnyResourceType

+ func (*AnyResourceType) IsExternallyReturnable(_ map[*Member]bool) bool

type AnyStructType

+ func (*AnyStructType) IsExternallyReturnable(_ map[*Member]bool) bool

type AnyType

+ func (*AnyType) IsExternallyReturnable(_ map[*Member]bool) bool

type AuthAccountContractsType

+ func (*AuthAccountContractsType) IsExternallyReturnable(_ map[*Member]bool) bool

type AuthAccountType

+ func (*AuthAccountType) IsExternallyReturnable(_ map[*Member]bool) bool

type BoolType

+ func (*BoolType) IsExternallyReturnable(_ map[*Member]bool) bool

type CapabilityType

+ func (*CapabilityType) IsExternallyReturnable(_ map[*Member]bool) bool

type CharacterType

+ func (*CharacterType) IsExternallyReturnable(_ map[*Member]bool) bool

type Checker

+ func (checker *Checker) EntryPointParameters() []*Parameter

+ func (checker *Checker) FunctionEntryPointType() (*FunctionType, error)

type CompositeType

+ func (t *CompositeType) IsExternallyReturnable(results map[*Member]bool) bool

type ConstantSizedType

+ func (t *ConstantSizedType) IsExternallyReturnable(results map[*Member]bool) bool

type DeployedContractType

+ func (*DeployedContractType) IsExternallyReturnable(_ map[*Member]bool) bool

type DictionaryType

+ func (t *DictionaryType) IsExternallyReturnable(results map[*Member]bool) bool

type Fix64Type

+ func (*Fix64Type) IsExternallyReturnable(_ map[*Member]bool) bool

type FixedPointType

+ func (*FixedPointType) IsExternallyReturnable(_ map[*Member]bool) bool

type FunctionType

+ func (t *FunctionType) IsExternallyReturnable(_ map[*Member]bool) bool

type GenericType

+ func (*GenericType) IsExternallyReturnable(_ map[*Member]bool) bool

type Int128Type

+ func (*Int128Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Int16Type

+ func (*Int16Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Int256Type

+ func (*Int256Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Int32Type

+ func (*Int32Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Int64Type

+ func (*Int64Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Int8Type

+ func (*Int8Type) IsExternallyReturnable(_ map[*Member]bool) bool

type IntType

+ func (*IntType) IsExternallyReturnable(_ map[*Member]bool) bool

type IntegerType

+ func (*IntegerType) IsExternallyReturnable(_ map[*Member]bool) bool

type InterfaceType

+ func (t *InterfaceType) IsExternallyReturnable(results map[*Member]bool) bool

+ type InvalidEntryPointTypeError struct

+ Type Type

+ func (e *InvalidEntryPointTypeError) Error() string

+ type InvalidNonStorableTransactionParameterTypeError struct

+ Type Type

+ func (e *InvalidNonStorableTransactionParameterTypeError) Error() string

type Member

+ func (m *Member) IsExternallyReturnable(results map[*Member]bool) (result bool)

type MetaType

+ func (*MetaType) IsExternallyReturnable(_ map[*Member]bool) bool

+ type MissingEntryPointError struct

+ Expected string

+ func (e *MissingEntryPointError) Error() string

+ type NominalType struct

+ Equatable bool

+ ExternallyReturnable bool

+ IsInvalid bool

+ IsResource bool

+ IsSuperTypeOf func(subType Type) bool

+ Name string

+ QualifiedName string

+ Storable bool

+ TypeID TypeID

+ func (*NominalType) IsType()

+ func (*NominalType) TypeAnnotationState() TypeAnnotationState

+ func (*NominalType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *NominalType) Equal(other Type) bool

+ func (t *NominalType) GetMembers() map[string]MemberResolver

+ func (t *NominalType) ID() TypeID

+ func (t *NominalType) IsEquatable() bool

+ func (t *NominalType) IsExternallyReturnable(_ map[*Member]bool) bool

+ func (t *NominalType) IsInvalidType() bool

+ func (t *NominalType) IsResourceType() bool

+ func (t *NominalType) IsStorable(_ map[*Member]bool) bool

+ func (t *NominalType) QualifiedString() string

+ func (t *NominalType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *NominalType) RewriteWithRestrictedTypes() (Type, bool)

+ func (t *NominalType) String() string

type NumberType

+ func (*NumberType) IsExternallyReturnable(_ map[*Member]bool) bool

type OptionalType

+ func (t *OptionalType) IsExternallyReturnable(results map[*Member]bool) bool

type PublicAccountType

+ func (*PublicAccountType) IsExternallyReturnable(_ map[*Member]bool) bool

type ReferenceType

+ func (t *ReferenceType) IsExternallyReturnable(_ map[*Member]bool) bool

type RestrictedType

+ func (t *RestrictedType) IsExternallyReturnable(results map[*Member]bool) bool

type SignedFixedPointType

+ func (*SignedFixedPointType) IsExternallyReturnable(_ map[*Member]bool) bool

type SignedIntegerType

+ func (*SignedIntegerType) IsExternallyReturnable(_ map[*Member]bool) bool

type SignedNumberType

+ func (*SignedNumberType) IsExternallyReturnable(_ map[*Member]bool) bool

type StringType

+ func (*StringType) IsExternallyReturnable(_ map[*Member]bool) bool

type TransactionType

+ func (*TransactionType) IsExternallyReturnable(_ map[*Member]bool) bool

type Type

+ IsExternallyReturnable func(results map[*Member]bool) bool

type UFix64Type

+ func (*UFix64Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt128Type

+ func (*UInt128Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt16Type

+ func (*UInt16Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt256Type

+ func (*UInt256Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt32Type

+ func (*UInt32Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt64Type

+ func (*UInt64Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UInt8Type

+ func (*UInt8Type) IsExternallyReturnable(_ map[*Member]bool) bool

type UIntType

+ func (*UIntType) IsExternallyReturnable(_ map[*Member]bool) bool

type VariableSizedType

+ func (t *VariableSizedType) IsExternallyReturnable(results map[*Member]bool) bool

type Word16Type

+ func (*Word16Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Word32Type

+ func (*Word32Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Word64Type

+ func (*Word64Type) IsExternallyReturnable(_ map[*Member]bool) bool

type Word8Type

+ func (*Word8Type) IsExternallyReturnable(_ map[*Member]bool) bool

v0.10.6

Jan 30, 2021

Changes in this version

type Option

+ func WithOriginsAndOccurrencesEnabled(enabled bool) Option

type Resources

+ func (ris *Resources) ForEach(f func(resource interface{}, info ResourceInfo))

v0.10.5

Jan 8, 2021

Changes in this version

+ var Fix64FactorBig = new(big.Int).SetUint64(uint64(Fix64Factor))

v0.10.4

Dec 9, 2020

v0.10.4-hamt-update

Feb 1, 2021

v0.10.3

Dec 4, 2020

v0.10.2

Nov 23, 2020

v0.10.1

Nov 6, 2020

v0.10.0

Oct 1, 2020

Changes in this version

+ const AuthAccountContractsTypeAddFunctionName

+ const AuthAccountContractsTypeGetFunctionName

+ const AuthAccountContractsTypeRemoveFunctionName

+ const AuthAccountContractsTypeUpdateExperimentalFunctionName

+ const DeployedContractTypeAddressFieldName

+ const DeployedContractTypeCodeFieldName

+ const DeployedContractTypeNameFieldName

+ const EnumRawValueFieldName

+ func RequiredArgumentCount(count int) *int

+ type AuthAccountContractsType struct

+ func (*AuthAccountContractsType) Equal(other Type) bool

+ func (*AuthAccountContractsType) ID() TypeID

+ func (*AuthAccountContractsType) IsEquatable() bool

+ func (*AuthAccountContractsType) IsInvalidType() bool

+ func (*AuthAccountContractsType) IsResourceType() bool

+ func (*AuthAccountContractsType) IsStorable(_ map[*Member]bool) bool

+ func (*AuthAccountContractsType) IsType()

+ func (*AuthAccountContractsType) QualifiedString() string

+ func (*AuthAccountContractsType) String() string

+ func (*AuthAccountContractsType) TypeAnnotationState() TypeAnnotationState

+ func (*AuthAccountContractsType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AuthAccountContractsType) GetMembers() map[string]MemberResolver

+ func (t *AuthAccountContractsType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *AuthAccountContractsType) RewriteWithRestrictedTypes() (Type, bool)

type AuthAccountType

+ func (*AuthAccountType) NestedTypes() map[string]Type

type Checker

+ func (checker *Checker) VisitEnumCaseDeclaration(_ *ast.EnumCaseDeclaration) ast.Repr

+ func (checker *Checker) VisitSwitchStatement(statement *ast.SwitchStatement) ast.Repr

type CheckerImport

+ Checker *Checker

+ func (i CheckerImport) IsChecking() bool

type CompositeType

+ EnumRawType Type

+ type CyclicImportsError struct

+ Location ast.Location

+ func (e *CyclicImportsError) Error() string

+ type DeployedContractType struct

+ func (*DeployedContractType) Equal(other Type) bool

+ func (*DeployedContractType) ID() TypeID

+ func (*DeployedContractType) IsEquatable() bool

+ func (*DeployedContractType) IsInvalidType() bool

+ func (*DeployedContractType) IsResourceType() bool

+ func (*DeployedContractType) IsStorable(_ map[*Member]bool) bool

+ func (*DeployedContractType) IsType()

+ func (*DeployedContractType) QualifiedString() string

+ func (*DeployedContractType) String() string

+ func (*DeployedContractType) TypeAnnotationState() TypeAnnotationState

+ func (*DeployedContractType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *DeployedContractType) GetMembers() map[string]MemberResolver

+ func (t *DeployedContractType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *DeployedContractType) RewriteWithRestrictedTypes() (Type, bool)

type Elaboration

+ ImportDeclarationsResolvedLocations map[*ast.ImportDeclaration][]ResolvedLocation

+ type EnumInfo struct

+ Cases []string

+ RawType Type

type FieldTypeNotStorableError

+ func (e *FieldTypeNotStorableError) EndPosition() ast.Position

+ func (e *FieldTypeNotStorableError) StartPosition() ast.Position

type FunctionActivation

+ Switches int

+ func (a FunctionActivation) InSwitch() bool

type FunctionActivations

+ func (a *FunctionActivations) WithSwitch(f func())

type Import

+ IsChecking func() bool

+ type InvalidEnumCaseError struct

+ ContainerDeclarationKind common.DeclarationKind

+ func (e *InvalidEnumCaseError) Error() string

+ type InvalidEnumConformancesError struct

+ func (e *InvalidEnumConformancesError) Error() string

+ type InvalidEnumRawTypeError struct

+ Type Type

+ func (e *InvalidEnumRawTypeError) Error() string

+ type InvalidInterfaceDeclarationError struct

+ CompositeKind common.CompositeKind

+ func (e *InvalidInterfaceDeclarationError) Error() string

+ type InvalidNonEnumCaseError struct

+ ContainerDeclarationKind common.DeclarationKind

+ func (e *InvalidNonEnumCaseError) Error() string

+ type LocationHandlerFunc func(identifiers []ast.Identifier, location ast.Location) []ResolvedLocation

+ type MissingEnumRawTypeError struct

+ Pos ast.Position

+ func (e *MissingEnumRawTypeError) EndPosition() ast.Position

+ func (e *MissingEnumRawTypeError) Error() string

+ func (e *MissingEnumRawTypeError) StartPosition() ast.Position

+ type MissingSwitchCaseStatementsError struct

+ Pos ast.Position

+ func (e *MissingSwitchCaseStatementsError) EndPosition() ast.Position

+ func (e *MissingSwitchCaseStatementsError) Error() string

+ func (e *MissingSwitchCaseStatementsError) StartPosition() ast.Position

type Option

+ func WithLocationHandler(handler LocationHandlerFunc) Option

+ type RemovalHint struct

+ Description string

+ func (h *RemovalHint) Hint() string

+ type ResolvedLocation struct

+ Identifiers []ast.Identifier

+ Location ast.Location

+ type SwitchDefaultPositionError struct

+ func (e *SwitchDefaultPositionError) Error() string

type VirtualImport

+ func (VirtualImport) IsChecking() bool

v0.10.0-beta1

Sep 30, 2020

v0.9.3

Nov 19, 2020

v0.9.2

Oct 6, 2020

v0.9.2-leo-debug

Nov 16, 2020

v0.9.1

Oct 5, 2020

v0.9.0

Sep 18, 2020

Changes in this version

+ type ArgumentExpressionsCheck func(checker *Checker, argumentExpressions []ast.Expression, ...)

type Checker

+ func (checker *Checker) Hints() []Hint

+ func (checker *Checker) ResetHints()

+ type Hint interface

+ Hint func() string

+ type InvalidResourceOptionalMemberError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ func (e *InvalidResourceOptionalMemberError) Error() string

+ type ReplacementHint struct

+ Expression ast.Expression

+ func (h *ReplacementHint) Hint() string

+ type TypeAnnotationRequiredError struct

+ Cause string

+ Pos ast.Position

+ func (e *TypeAnnotationRequiredError) EndPosition() ast.Position

+ func (e *TypeAnnotationRequiredError) Error() string

+ func (e *TypeAnnotationRequiredError) StartPosition() ast.Position

v0.8.2

Aug 28, 2020

v0.8.1

Aug 25, 2020

v0.8.0

Aug 10, 2020

Changes in this version

+ func IsValidAssignmentTargetExpression(expression ast.Expression) bool

type AddressType

+ func (t *AddressType) RewriteWithRestrictedTypes() (Type, bool)

type AnyResourceType

+ func (t *AnyResourceType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type AnyStructType

+ func (t *AnyStructType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type AnyType

+ func (t *AnyType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type AuthAccountType

+ func (t *AuthAccountType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type BoolType

+ func (t *BoolType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type CapabilityType

+ func (t *CapabilityType) RewriteWithRestrictedTypes() (Type, bool)

type CharacterType

+ func (t *CharacterType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type CompositeType

+ func (t *CompositeType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type ConstantSizedType

+ func (t *ConstantSizedType) RewriteWithRestrictedTypes() (Type, bool)

type DictionaryType

+ func (t *DictionaryType) RewriteWithRestrictedTypes() (Type, bool)

type Fix64Type

+ func (t *Fix64Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type FixedPointType

+ func (t *FixedPointType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type FunctionType

+ func (t *FunctionType) RewriteWithRestrictedTypes() (Type, bool)

type GenericType

+ func (t *GenericType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int128Type

+ func (t *Int128Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int16Type

+ func (t *Int16Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int256Type

+ func (t *Int256Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int32Type

+ func (t *Int32Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int64Type

+ func (t *Int64Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Int8Type

+ func (t *Int8Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type IntType

+ func (t *IntType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type IntegerType

+ func (t *IntegerType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type InterfaceType

+ func (t *InterfaceType) RewriteWithRestrictedTypes() (Type, bool)

type InvalidInterfaceTypeError

+ ActualType Type

+ ExpectedType Type

type InvalidType

+ func (t *InvalidType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type MetaType

+ func (t *MetaType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type NeverType

+ func (t *NeverType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type NotExportedError

+ Available []string

+ func (e *NotExportedError) SecondaryError() string

type NumberType

+ func (t *NumberType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type OptionalType

+ func (t *OptionalType) RewriteWithRestrictedTypes() (Type, bool)

type PathType

+ func (t *PathType) RewriteWithRestrictedTypes() (Type, bool)

type PublicAccountType

+ func (t *PublicAccountType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type ReferenceType

+ func (t *ReferenceType) RewriteWithRestrictedTypes() (Type, bool)

type RestrictedType

+ func (t *RestrictedType) RewriteWithRestrictedTypes() (Type, bool)

type SignedFixedPointType

+ func (t *SignedFixedPointType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type SignedIntegerType

+ func (t *SignedIntegerType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type SignedNumberType

+ func (t *SignedNumberType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

+ type StorableType struct

+ func (*StorableType) Equal(other Type) bool

+ func (*StorableType) ID() TypeID

+ func (*StorableType) IsEquatable() bool

+ func (*StorableType) IsInvalidType() bool

+ func (*StorableType) IsResourceType() bool

+ func (*StorableType) IsStorable(_ map[*Member]bool) bool

+ func (*StorableType) IsType()

+ func (*StorableType) QualifiedString() string

+ func (*StorableType) String() string

+ func (*StorableType) TypeAnnotationState() TypeAnnotationState

+ func (*StorableType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *StorableType) GetMembers() map[string]MemberResolver

+ func (t *StorableType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *StorableType) RewriteWithRestrictedTypes() (Type, bool)

type StringType

+ func (t *StringType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type TransactionType

+ func (t *TransactionType) RewriteWithRestrictedTypes() (Type, bool)

type Type

+ RewriteWithRestrictedTypes func() (result Type, rewritten bool)

type UFix64Type

+ func (t *UFix64Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt128Type

+ func (t *UInt128Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt16Type

+ func (t *UInt16Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt256Type

+ func (t *UInt256Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt32Type

+ func (t *UInt32Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt64Type

+ func (t *UInt64Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UInt8Type

+ func (t *UInt8Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type UIntType

+ func (t *UIntType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type VariableSizedType

+ func (t *VariableSizedType) RewriteWithRestrictedTypes() (Type, bool)

type VoidType

+ func (t *VoidType) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Word16Type

+ func (t *Word16Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Word32Type

+ func (t *Word32Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Word64Type

+ func (t *Word64Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

type Word8Type

+ func (t *Word8Type) RewriteWithRestrictedTypes() (result Type, rewritten bool)

v0.7.0

Jul 29, 2020

Changes in this version

+ const AddressTypeToBytesFunctionName

+ const ResourceOwnerFieldName

+ const ResourceUUIDFieldName

type AddressType

+ func (*AddressType) IsEquatable() bool

+ func (t *AddressType) GetMembers() map[string]MemberResolver

type AnyResourceType

+ func (*AnyResourceType) IsEquatable() bool

+ func (t *AnyResourceType) GetMembers() map[string]MemberResolver

type AnyStructType

+ func (*AnyStructType) IsEquatable() bool

+ func (t *AnyStructType) GetMembers() map[string]MemberResolver

type AnyType

+ func (*AnyType) IsEquatable() bool

+ func (t *AnyType) GetMembers() map[string]MemberResolver

type AuthAccountType

+ func (*AuthAccountType) IsEquatable() bool

+ func (t *AuthAccountType) GetMembers() map[string]MemberResolver

type BoolType

+ func (*BoolType) IsEquatable() bool

+ func (t *BoolType) GetMembers() map[string]MemberResolver

type CapabilityType

+ func (*CapabilityType) IsEquatable() bool

+ func (t *CapabilityType) GetMembers() map[string]MemberResolver

type CharacterType

+ func (*CharacterType) IsEquatable() bool

+ func (t *CharacterType) GetMembers() map[string]MemberResolver

type Checker

+ MemberAccesses *MemberAccesses

+ func (checker *Checker) VisitPragmaDeclaration(p *ast.PragmaDeclaration) ast.Repr

type CompositeType

+ Fields []string

+ func (*CompositeType) IsEquatable() bool

+ func (t *CompositeType) GetMembers() map[string]MemberResolver

type ConstantSizedType

+ func (*ConstantSizedType) AllowsValueIndexingAssignment() bool

+ func (*ConstantSizedType) IsEquatable() bool

+ func (t *ConstantSizedType) GetMembers() map[string]MemberResolver

type DictionaryType

+ func (*DictionaryType) AllowsValueIndexingAssignment() bool

+ func (*DictionaryType) IsEquatable() bool

+ func (t *DictionaryType) GetMembers() map[string]MemberResolver

type Fix64Type

+ func (*Fix64Type) IsEquatable() bool

+ func (t *Fix64Type) GetMembers() map[string]MemberResolver

type FixedPointType

+ func (*FixedPointType) IsEquatable() bool

+ func (t *FixedPointType) GetMembers() map[string]MemberResolver

type FunctionType

+ func (*FunctionType) IsEquatable() bool

+ func (t *FunctionType) GetMembers() map[string]MemberResolver

+ func (t *FunctionType) HasSameArgumentLabels(other *FunctionType) bool

type GenericType

+ func (*GenericType) IsEquatable() bool

+ func (t *GenericType) GetMembers() map[string]MemberResolver

type Int128Type

+ func (*Int128Type) IsEquatable() bool

+ func (t *Int128Type) GetMembers() map[string]MemberResolver

type Int16Type

+ func (*Int16Type) IsEquatable() bool

+ func (t *Int16Type) GetMembers() map[string]MemberResolver

type Int256Type

+ func (*Int256Type) IsEquatable() bool

+ func (t *Int256Type) GetMembers() map[string]MemberResolver

type Int32Type

+ func (*Int32Type) IsEquatable() bool

+ func (t *Int32Type) GetMembers() map[string]MemberResolver

type Int64Type

+ func (*Int64Type) IsEquatable() bool

+ func (t *Int64Type) GetMembers() map[string]MemberResolver

type Int8Type

+ func (*Int8Type) IsEquatable() bool

+ func (t *Int8Type) GetMembers() map[string]MemberResolver

type IntType

+ func (*IntType) IsEquatable() bool

+ func (t *IntType) GetMembers() map[string]MemberResolver

type IntegerType

+ func (*IntegerType) IsEquatable() bool

+ func (t *IntegerType) GetMembers() map[string]MemberResolver

type InterfaceType

+ Fields []string

+ func (*InterfaceType) IsEquatable() bool

+ func (t *InterfaceType) GetMembers() map[string]MemberResolver

+ type InvalidPragmaError struct

+ Message string

+ func (e *InvalidPragmaError) Error() string

type InvalidType

+ func (*InvalidType) IsEquatable() bool

+ func (t *InvalidType) GetMembers() map[string]MemberResolver

type Member

+ DocString string

+ type MemberAccess struct

+ AccessedType Type

+ EndPos Position

+ StartPos Position

+ type MemberAccesses struct

+ func NewMemberAccesses() *MemberAccesses

+ func (m *MemberAccesses) All() []MemberAccess

+ func (m *MemberAccesses) Find(pos Position) *MemberAccess

+ func (m *MemberAccesses) Put(startPos, endPos ast.Position, accessedType Type)

type MemberInfo

+ AccessedType Type

+ type MemberResolver struct

+ Kind common.DeclarationKind

+ Resolve func(identifier string, targetRange ast.Range, report func(error)) *Member

type MetaType

+ func (*MetaType) IsEquatable() bool

+ func (t *MetaType) GetMembers() map[string]MemberResolver

type NeverType

+ func (*NeverType) IsEquatable() bool

+ func (t *NeverType) GetMembers() map[string]MemberResolver

+ type NotIndexingAssignableTypeError struct

+ Type Type

+ func (e *NotIndexingAssignableTypeError) Error() string

type NumberType

+ func (*NumberType) IsEquatable() bool

+ func (t *NumberType) GetMembers() map[string]MemberResolver

type OptionalType

+ func (t *OptionalType) GetMembers() map[string]MemberResolver

+ func (t *OptionalType) IsEquatable() bool

type PathType

+ func (*PathType) IsEquatable() bool

+ func (t *PathType) GetMembers() map[string]MemberResolver

type Position

+ func ASTToSemaPosition(position ast.Position) Position

type PublicAccountType

+ func (*PublicAccountType) IsEquatable() bool

+ func (t *PublicAccountType) GetMembers() map[string]MemberResolver

type ReferenceType

+ func (*ReferenceType) IsEquatable() bool

+ func (t *ReferenceType) AllowsValueIndexingAssignment() bool

+ func (t *ReferenceType) GetMembers() map[string]MemberResolver

type RestrictedType

+ func (*RestrictedType) IsEquatable() bool

+ func (t *RestrictedType) GetMembers() map[string]MemberResolver

type SignedFixedPointType

+ func (*SignedFixedPointType) IsEquatable() bool

+ func (t *SignedFixedPointType) GetMembers() map[string]MemberResolver

type SignedIntegerType

+ func (*SignedIntegerType) IsEquatable() bool

+ func (t *SignedIntegerType) GetMembers() map[string]MemberResolver

type SignedNumberType

+ func (*SignedNumberType) IsEquatable() bool

+ func (t *SignedNumberType) GetMembers() map[string]MemberResolver

type SpecialFunctionType

+ func (t *SpecialFunctionType) GetMembers() map[string]MemberResolver

type StringType

+ func (*StringType) AllowsValueIndexingAssignment() bool

+ func (*StringType) IsEquatable() bool

+ func (t *StringType) GetMembers() map[string]MemberResolver

type TransactionType

+ Fields []string

+ func (*TransactionType) IsEquatable() bool

+ func (t *TransactionType) GetMembers() map[string]MemberResolver

type Type

+ GetMembers func() map[string]MemberResolver

+ IsEquatable func() bool

type UFix64Type

+ func (*UFix64Type) IsEquatable() bool

+ func (t *UFix64Type) GetMembers() map[string]MemberResolver

type UInt128Type

+ func (*UInt128Type) IsEquatable() bool

+ func (t *UInt128Type) GetMembers() map[string]MemberResolver

type UInt16Type

+ func (*UInt16Type) IsEquatable() bool

+ func (t *UInt16Type) GetMembers() map[string]MemberResolver

type UInt256Type

+ func (*UInt256Type) IsEquatable() bool

+ func (t *UInt256Type) GetMembers() map[string]MemberResolver

type UInt32Type

+ func (*UInt32Type) IsEquatable() bool

+ func (t *UInt32Type) GetMembers() map[string]MemberResolver

type UInt64Type

+ func (*UInt64Type) IsEquatable() bool

+ func (t *UInt64Type) GetMembers() map[string]MemberResolver

type UInt8Type

+ func (*UInt8Type) IsEquatable() bool

+ func (t *UInt8Type) GetMembers() map[string]MemberResolver

type UIntType

+ func (*UIntType) IsEquatable() bool

+ func (t *UIntType) GetMembers() map[string]MemberResolver

type ValueIndexableType

+ AllowsValueIndexingAssignment func() bool

type VariableSizedType

+ func (*VariableSizedType) AllowsValueIndexingAssignment() bool

+ func (*VariableSizedType) IsEquatable() bool

+ func (t *VariableSizedType) GetMembers() map[string]MemberResolver

type VoidType

+ func (*VoidType) IsEquatable() bool

+ func (t *VoidType) GetMembers() map[string]MemberResolver

type Word16Type

+ func (*Word16Type) IsEquatable() bool

+ func (t *Word16Type) GetMembers() map[string]MemberResolver

type Word32Type

+ func (*Word32Type) IsEquatable() bool

+ func (t *Word32Type) GetMembers() map[string]MemberResolver

type Word64Type

+ func (*Word64Type) IsEquatable() bool

+ func (t *Word64Type) GetMembers() map[string]MemberResolver

type Word8Type

+ func (*Word8Type) IsEquatable() bool

+ func (t *Word8Type) GetMembers() map[string]MemberResolver

v0.6.0

Jul 14, 2020

Changes in this version

type Variable

+ ActivationDepth int

v0.5.1

Jul 10, 2020

v0.5.0

Jul 7, 2020

Changes in this version

+ const IsInstanceFunctionName

+ const OwnerFieldName

+ const ToBigEndianBytesFunctionName

+ const ToBytesFunctionName

+ const UUIDFieldName

+ func IsValidEventParameterType(t Type) bool

type AddressType

+ func (*AddressType) IsStorable() bool

type AnyResourceType

+ func (*AnyResourceType) IsStorable() bool

type AnyStructType

+ func (*AnyStructType) IsStorable() bool

type AnyType

+ func (*AnyType) IsStorable() bool

type AuthAccountType

+ func (*AuthAccountType) IsStorable() bool

type BoolType

+ func (*BoolType) IsStorable() bool

type CapabilityType

+ BorrowType Type

+ func (*CapabilityType) IsStorable() bool

+ func (t *CapabilityType) BaseType() Type

+ func (t *CapabilityType) Instantiate(typeArguments []Type, _ func(err error)) Type

+ func (t *CapabilityType) TypeArguments() []Type

+ func (t *CapabilityType) TypeParameters() []*TypeParameter

type CharacterType

+ func (*CharacterType) IsStorable() bool

+ type CheckerImport struct

+ func (i CheckerImport) AllTypeElements() map[string]ImportElement

+ func (i CheckerImport) AllValueElements() map[string]ImportElement

+ func (i CheckerImport) IsImportableType(name string) bool

+ func (i CheckerImport) IsImportableValue(name string) bool

type CompositeType

+ func (t *CompositeType) IsStorable() bool

type ConstantSizedType

+ func (t *ConstantSizedType) IsStorable() bool

type DictionaryType

+ func (t *DictionaryType) IsStorable() bool

type Elaboration

+ IdentifierInInvocationTypes map[*ast.IdentifierExpression]Type

+ InvocationExpressionTypeArguments map[*ast.InvocationExpression]map[*TypeParameter]Type

+ type FieldTypeNotStorableError struct

+ Name string

+ Pos ast.Position

+ Type Type

+ func (e *FieldTypeNotStorableError) Error() string

type Fix64Type

+ func (*Fix64Type) IsStorable() bool

type FixedPointType

+ func (*FixedPointType) IsStorable() bool

type FunctionType

+ func (t *FunctionType) IsStorable() bool

type GenericType

+ func (t *GenericType) IsStorable() bool

+ type Import interface

+ AllTypeElements func() map[string]ImportElement

+ AllValueElements func() map[string]ImportElement

+ IsImportableType func(name string) bool

+ IsImportableValue func(name string) bool

+ type ImportElement struct

+ Access ast.Access

+ ArgumentLabels []string

+ DeclarationKind common.DeclarationKind

+ Type Type

+ type ImportHandlerFunc = func(location ast.Location) Import

type Int128Type

+ func (*Int128Type) IsStorable() bool

type Int16Type

+ func (*Int16Type) IsStorable() bool

type Int256Type

+ func (*Int256Type) IsStorable() bool

type Int32Type

+ func (*Int32Type) IsStorable() bool

type Int64Type

+ func (*Int64Type) IsStorable() bool

type Int8Type

+ func (*Int8Type) IsStorable() bool

type IntType

+ func (*IntType) IsStorable() bool

type IntegerType

+ func (*IntegerType) IsStorable() bool

type InterfaceType

+ func (t *InterfaceType) IsStorable() bool

type InvalidType

+ func (*InvalidType) IsStorable() bool

type Member

+ func (m *Member) IsStorable() bool

type MetaType

+ func (*MetaType) IsStorable() bool

+ type MissingReturnValueError struct

+ ExpectedValueType Type

+ func (e *MissingReturnValueError) Error() string

type NeverType

+ func (*NeverType) IsStorable() bool

type NumberType

+ func (*NumberType) IsStorable() bool

type Option

+ func WithImportHandler(handler ImportHandlerFunc) Option

type OptionalType

+ func (t *OptionalType) IsStorable() bool

+ type ParameterizedType interface

+ BaseType func() Type

+ Instantiate func(typeArguments []Type, report func(err error)) Type

+ TypeArguments func() []Type

+ TypeParameters func() []*TypeParameter

type PathType

+ func (*PathType) IsStorable() bool

type PublicAccountType

+ func (*PublicAccountType) IsStorable() bool

type ReferenceType

+ func (t *ReferenceType) IsStorable() bool

type ResourceInvalidationKind

+ const ResourceInvalidationKindMoveDefinite

+ const ResourceInvalidationKindMoveTemporary

+ func (k ResourceInvalidationKind) IsDefinite() bool

type ResourceInvalidations

+ func (ris ResourceInvalidations) Delete(invalidation ResourceInvalidation) ResourceInvalidations

type Resources

+ func (ris *Resources) RemoveTemporaryInvalidation(resource interface{}, invalidation ResourceInvalidation)

type RestrictedType

+ func (t *RestrictedType) IsStorable() bool

type SignedFixedPointType

+ func (*SignedFixedPointType) IsStorable() bool

type SignedIntegerType

+ func (*SignedIntegerType) IsStorable() bool

type SignedNumberType

+ func (*SignedNumberType) IsStorable() bool

type StringType

+ func (*StringType) IsStorable() bool

type TransactionType

+ func (*TransactionType) IsStorable() bool

type Type

+ IsStorable func() bool

type TypeParameter

+ Optional bool

type UFix64Type

+ func (*UFix64Type) IsStorable() bool

type UInt128Type

+ func (*UInt128Type) IsStorable() bool

type UInt16Type

+ func (*UInt16Type) IsStorable() bool

type UInt256Type

+ func (*UInt256Type) IsStorable() bool

type UInt32Type

+ func (*UInt32Type) IsStorable() bool

type UInt64Type

+ func (*UInt64Type) IsStorable() bool

type UInt8Type

+ func (*UInt8Type) IsStorable() bool

type UIntType

+ func (*UIntType) IsStorable() bool

+ type UnparameterizedTypeInstantiationError struct

+ ActualTypeArgumentCount int

+ func (e *UnparameterizedTypeInstantiationError) Error() string

+ func (e *UnparameterizedTypeInstantiationError) SecondaryError() string

+ type ValidTopLevelDeclarationsHandlerFunc = func(ast.Location) []common.DeclarationKind

type VariableSizedType

+ func (t *VariableSizedType) IsStorable() bool

+ type VirtualImport struct

+ TypeElements map[string]ImportElement

+ ValueElements map[string]ImportElement

+ func (i VirtualImport) AllTypeElements() map[string]ImportElement

+ func (i VirtualImport) AllValueElements() map[string]ImportElement

+ func (i VirtualImport) IsImportableType(_ string) bool

+ func (i VirtualImport) IsImportableValue(_ string) bool

type VoidType

+ func (*VoidType) IsStorable() bool

type Word16Type

+ func (*Word16Type) IsStorable() bool

type Word32Type

+ func (*Word32Type) IsStorable() bool

type Word64Type

+ func (*Word64Type) IsStorable() bool

type Word8Type

+ func (*Word8Type) IsStorable() bool

v0.5.0-beta4

Jul 6, 2020

v0.5.0-beta3

Jul 4, 2020

v0.5.0-beta2

Jul 3, 2020

v0.5.0-beta1

Jun 30, 2020

v0.4.0

Jun 2, 2020

Changes in this version

+ type MetaType struct

+ func (*MetaType) CanHaveMembers() bool

+ func (*MetaType) ContainsFirstLevelInterfaceType() bool

+ func (*MetaType) Equal(other Type) bool

+ func (*MetaType) ID() TypeID

+ func (*MetaType) IsInvalidType() bool

+ func (*MetaType) IsResourceType() bool

+ func (*MetaType) IsType()

+ func (*MetaType) QualifiedString() string

+ func (*MetaType) String() string

+ func (*MetaType) TypeAnnotationState() TypeAnnotationState

+ func (*MetaType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *MetaType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *MetaType) Resolve(_ map[*TypeParameter]Type) Type

v0.4.0-beta2

Jun 2, 2020

v0.4.0-beta1

May 26, 2020

v0.3.0

May 26, 2020

Changes in this version

+ const ToStringFunctionName

type AddressType

+ func (*AddressType) CanHaveMembers() bool

+ func (t *AddressType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type CompositeType

+ ExplicitInterfaceConformances []*InterfaceType

+ ImplicitTypeRequirementConformances []*CompositeType

+ func (t *CompositeType) AddImplicitTypeRequirementConformance(typeRequirement *CompositeType)

+ func (t *CompositeType) ExplicitInterfaceConformanceSet() InterfaceSet

type Fix64Type

+ func (*Fix64Type) CanHaveMembers() bool

+ func (t *Fix64Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type FixedPointType

+ func (*FixedPointType) CanHaveMembers() bool

+ func (t *FixedPointType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int128Type

+ func (*Int128Type) CanHaveMembers() bool

+ func (t *Int128Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int16Type

+ func (*Int16Type) CanHaveMembers() bool

+ func (t *Int16Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int256Type

+ func (*Int256Type) CanHaveMembers() bool

+ func (t *Int256Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int32Type

+ func (*Int32Type) CanHaveMembers() bool

+ func (t *Int32Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int64Type

+ func (*Int64Type) CanHaveMembers() bool

+ func (t *Int64Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Int8Type

+ func (*Int8Type) CanHaveMembers() bool

+ func (t *Int8Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type IntType

+ func (*IntType) CanHaveMembers() bool

+ func (t *IntType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type IntegerType

+ func (*IntegerType) CanHaveMembers() bool

+ func (t *IntegerType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type InterfaceSet

+ func (s InterfaceSet) Add(interfaceType *InterfaceType)

+ func (s InterfaceSet) Includes(interfaceType *InterfaceType) bool

type NumberType

+ func (*NumberType) CanHaveMembers() bool

+ func (t *NumberType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type SignedFixedPointType

+ func (*SignedFixedPointType) CanHaveMembers() bool

+ func (t *SignedFixedPointType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type SignedIntegerType

+ func (*SignedIntegerType) CanHaveMembers() bool

+ func (t *SignedIntegerType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type SignedNumberType

+ func (*SignedNumberType) CanHaveMembers() bool

+ func (t *SignedNumberType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UFix64Type

+ func (*UFix64Type) CanHaveMembers() bool

+ func (t *UFix64Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt128Type

+ func (*UInt128Type) CanHaveMembers() bool

+ func (t *UInt128Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt16Type

+ func (*UInt16Type) CanHaveMembers() bool

+ func (t *UInt16Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt256Type

+ func (*UInt256Type) CanHaveMembers() bool

+ func (t *UInt256Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt32Type

+ func (*UInt32Type) CanHaveMembers() bool

+ func (t *UInt32Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt64Type

+ func (*UInt64Type) CanHaveMembers() bool

+ func (t *UInt64Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UInt8Type

+ func (*UInt8Type) CanHaveMembers() bool

+ func (t *UInt8Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type UIntType

+ func (*UIntType) CanHaveMembers() bool

+ func (t *UIntType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Word16Type

+ func (*Word16Type) CanHaveMembers() bool

+ func (t *Word16Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Word32Type

+ func (*Word32Type) CanHaveMembers() bool

+ func (t *Word32Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Word64Type

+ func (*Word64Type) CanHaveMembers() bool

+ func (t *Word64Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

type Word8Type

+ func (*Word8Type) CanHaveMembers() bool

+ func (t *Word8Type) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

v0.3.0-beta4

May 24, 2020

v0.3.0-beta3

May 22, 2020

v0.3.0-beta2

May 21, 2020

v0.3.0-beta1

May 20, 2020

v0.2.1

May 12, 2020

Changes in this version

+ type CheckHandlerFunc func(location ast.Location, check func())

type Option

+ func WithCheckHandler(handler CheckHandlerFunc) Option

v0.2.0

May 6, 2020

Changes in this version

+ var AddressTypeMaxIntBig = new(big.Int).SetUint64(math.MaxUint64)

+ var AddressTypeMinIntBig = new(big.Int)

+ var Fix64TypeMaxFractionalBig = new(big.Int).SetInt64(Fix64TypeMaxFractional)

+ var Fix64TypeMaxIntBig = new(big.Int).SetInt64(Fix64TypeMaxInt)

+ var Fix64TypeMinFractionalBig = new(big.Int).SetInt64(Fix64TypeMinFractional)

+ var Fix64TypeMinIntBig = new(big.Int).SetInt64(Fix64TypeMinInt)

+ var Int128TypeMaxIntBig *big.Int

+ var Int128TypeMinIntBig *big.Int

+ var Int256TypeMaxIntBig *big.Int

+ var Int256TypeMinIntBig *big.Int

+ var UFix64TypeMaxFractionalBig = new(big.Int).SetUint64(UFix64TypeMaxFractional)

+ var UFix64TypeMaxIntBig = new(big.Int).SetUint64(UFix64TypeMaxInt)

+ var UFix64TypeMinFractionalBig = new(big.Int).SetUint64(UFix64TypeMinFractional)

+ var UFix64TypeMinIntBig = new(big.Int).SetUint64(UFix64TypeMinInt)

+ var UInt128TypeMaxIntBig *big.Int

+ var UInt128TypeMinIntBig = new(big.Int)

+ var UInt256TypeMaxIntBig *big.Int

+ var UInt256TypeMinIntBig = new(big.Int)

type BinaryOperationKind

+ const BinaryOperationKindBitwise

type Checker

+ func (checker *Checker) TypeActivationDepth() int

+ func (checker *Checker) ValueActivationDepth() int

type ConformanceError

+ func (e *ConformanceError) ErrorNotes() (notes []errors.ErrorNote)

type InvalidAccessModifierError

+ Explanation string

+ type MemberMismatchNote struct

+ func (n MemberMismatchNote) Message() string

type MissingAccessModifierError

+ Explanation string

v0.1.0

Apr 21, 2020

Changes in this version

+ const ArgumentLabelNotRequired

+ const BeforeIdentifier

+ const Fix64Factor

+ const Fix64Scale

+ const ResultIdentifier

+ const SelfIdentifier

+ var AccessCheckModes = []AccessCheckMode

+ var AddressTypeMaxInt *big.Int

+ var AddressTypeMinInt = big.NewInt(0)

+ var AllFixedPointTypes = append(AllUnsignedFixedPointTypes, AllSignedFixedPointTypes)

+ var AllIntegerTypes = append(AllUnsignedIntegerTypes, AllSignedIntegerTypes)

+ var AllNumberTypes = append(AllIntegerTypes, AllFixedPointTypes)

+ var AllSignedFixedPointTypes = []Type

+ var AllSignedIntegerTypes = []Type

+ var AllUnsignedFixedPointTypes = []Type

+ var AllUnsignedIntegerTypes = []Type

+ var BaseValues = map[string]ValueDeclaration

+ var Fix64TypeMaxFractional = big.NewInt(0).SetInt64(math.MaxInt64 % Fix64Factor)

+ var Fix64TypeMaxInt = big.NewInt(0).SetInt64(math.MaxInt64 / Fix64Factor)

+ var Fix64TypeMinFractional = big.NewInt(0).SetInt64(math.MinInt64 % Fix64Factor)

+ var Fix64TypeMinInt = big.NewInt(0).SetInt64(math.MinInt64 / Fix64Factor)

+ var Int128TypeMaxInt *big.Int

+ var Int128TypeMinInt *big.Int

+ var Int16TypeMaxInt = big.NewInt(0).SetInt64(math.MaxInt16)

+ var Int16TypeMinInt = big.NewInt(0).SetInt64(math.MinInt16)

+ var Int256TypeMaxInt *big.Int

+ var Int256TypeMinInt *big.Int

+ var Int32TypeMaxInt = big.NewInt(0).SetInt64(math.MaxInt32)

+ var Int32TypeMinInt = big.NewInt(0).SetInt64(math.MinInt32)

+ var Int64TypeMaxInt = big.NewInt(0).SetInt64(math.MaxInt64)

+ var Int64TypeMinInt = big.NewInt(0).SetInt64(math.MinInt64)

+ var Int8TypeMaxInt = big.NewInt(0).SetInt64(math.MaxInt8)

+ var Int8TypeMinInt = big.NewInt(0).SetInt64(math.MinInt8)

+ var UFix64TypeMaxFractional = big.NewInt(0).SetUint64(math.MaxUint64 % uint64(Fix64Factor))

+ var UFix64TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint64 / uint64(Fix64Factor))

+ var UFix64TypeMinFractional = big.NewInt(0)

+ var UFix64TypeMinInt = big.NewInt(0)

+ var UInt128TypeMaxInt *big.Int

+ var UInt128TypeMinInt = big.NewInt(0)

+ var UInt16TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint16)

+ var UInt16TypeMinInt = big.NewInt(0)

+ var UInt256TypeMaxInt *big.Int

+ var UInt256TypeMinInt = big.NewInt(0)

+ var UInt32TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint32)

+ var UInt32TypeMinInt = big.NewInt(0)

+ var UInt64TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint64)

+ var UInt64TypeMinInt = big.NewInt(0)

+ var UInt8TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint8)

+ var UInt8TypeMinInt = big.NewInt(0)

+ var UIntTypeMin = big.NewInt(0)

+ var Word16TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint16)

+ var Word16TypeMinInt = big.NewInt(0)

+ var Word32TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint32)

+ var Word32TypeMinInt = big.NewInt(0)

+ var Word64TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint64)

+ var Word64TypeMinInt = big.NewInt(0)

+ var Word8TypeMaxInt = big.NewInt(0).SetUint64(math.MaxUint8)

+ var Word8TypeMinInt = big.NewInt(0)

+ func AreCompatibleEquatableTypes(leftType, rightType Type) bool

+ func FailableCastCanSucceed(subType, superType Type) bool

+ func IsConcatenatableType(ty Type) bool

+ func IsEquatableType(ty Type) bool

+ func IsNilType(ty Type) bool

+ func IsSubType(subType Type, superType Type) bool

+ func IsValidDictionaryKeyType(keyType Type) bool

+ func VisitContainerAndNested(t ContainerType, visit func(ty Type))

+ type AccessCheckMode int

+ const AccessCheckModeNone

+ const AccessCheckModeNotSpecifiedRestricted

+ const AccessCheckModeNotSpecifiedUnrestricted

+ const AccessCheckModeStrict

+ func (i AccessCheckMode) String() string

+ type AddressType struct

+ func (*AddressType) ContainsFirstLevelInterfaceType() bool

+ func (*AddressType) Equal(other Type) bool

+ func (*AddressType) ID() TypeID

+ func (*AddressType) IsInvalidType() bool

+ func (*AddressType) IsResourceType() bool

+ func (*AddressType) IsType()

+ func (*AddressType) MaxInt() *big.Int

+ func (*AddressType) MinInt() *big.Int

+ func (*AddressType) QualifiedString() string

+ func (*AddressType) String() string

+ func (*AddressType) TypeAnnotationState() TypeAnnotationState

+ func (*AddressType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AddressType) Resolve(_ map[*TypeParameter]Type) Type

+ type AlwaysFailingNonResourceCastingTypeError struct

+ TargetType Type

+ ValueType Type

+ func (e *AlwaysFailingNonResourceCastingTypeError) Error() string

+ type AlwaysFailingResourceCastingTypeError struct

+ TargetType Type

+ ValueType Type

+ func (e *AlwaysFailingResourceCastingTypeError) Error() string

+ type AmbiguousRestrictedTypeError struct

+ func (e *AmbiguousRestrictedTypeError) Error() string

+ type AnyResourceType struct

+ func (*AnyResourceType) ContainsFirstLevelInterfaceType() bool

+ func (*AnyResourceType) Equal(other Type) bool

+ func (*AnyResourceType) ID() TypeID

+ func (*AnyResourceType) IsInvalidType() bool

+ func (*AnyResourceType) IsResourceType() bool

+ func (*AnyResourceType) IsType()

+ func (*AnyResourceType) QualifiedString() string

+ func (*AnyResourceType) String() string

+ func (*AnyResourceType) TypeAnnotationState() TypeAnnotationState

+ func (*AnyResourceType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AnyResourceType) Resolve(_ map[*TypeParameter]Type) Type

+ type AnyStructType struct

+ func (*AnyStructType) ContainsFirstLevelInterfaceType() bool

+ func (*AnyStructType) Equal(other Type) bool

+ func (*AnyStructType) ID() TypeID

+ func (*AnyStructType) IsInvalidType() bool

+ func (*AnyStructType) IsResourceType() bool

+ func (*AnyStructType) IsType()

+ func (*AnyStructType) QualifiedString() string

+ func (*AnyStructType) String() string

+ func (*AnyStructType) TypeAnnotationState() TypeAnnotationState

+ func (*AnyStructType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AnyStructType) Resolve(_ map[*TypeParameter]Type) Type

+ type AnyType struct

+ func (*AnyType) ContainsFirstLevelInterfaceType() bool

+ func (*AnyType) Equal(other Type) bool

+ func (*AnyType) ID() TypeID

+ func (*AnyType) IsInvalidType() bool

+ func (*AnyType) IsResourceType() bool

+ func (*AnyType) IsType()

+ func (*AnyType) QualifiedString() string

+ func (*AnyType) String() string

+ func (*AnyType) TypeAnnotationState() TypeAnnotationState

+ func (*AnyType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AnyType) Resolve(_ map[*TypeParameter]Type) Type

+ type ArgumentCountError struct

+ ArgumentCount int

+ ParameterCount int

+ func (e *ArgumentCountError) Error() string

+ func (e *ArgumentCountError) SecondaryError() string

+ type ArrayType interface

+ type AssignmentToConstantError struct

+ Name string

+ func (e *AssignmentToConstantError) Error() string

+ type AssignmentToConstantMemberError struct

+ Name string

+ func (e *AssignmentToConstantMemberError) Error() string

+ type AuthAccountType struct

+ func (*AuthAccountType) CanHaveMembers() bool

+ func (*AuthAccountType) ContainsFirstLevelInterfaceType() bool

+ func (*AuthAccountType) Equal(other Type) bool

+ func (*AuthAccountType) ID() TypeID

+ func (*AuthAccountType) IsInvalidType() bool

+ func (*AuthAccountType) IsResourceType() bool

+ func (*AuthAccountType) IsType()

+ func (*AuthAccountType) QualifiedString() string

+ func (*AuthAccountType) String() string

+ func (*AuthAccountType) TypeAnnotationState() TypeAnnotationState

+ func (*AuthAccountType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *AuthAccountType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *AuthAccountType) Resolve(_ map[*TypeParameter]Type) Type

+ type BeforeExtractor struct

+ ExpressionExtractor *ast.ExpressionExtractor

+ func NewBeforeExtractor(report func(error)) *BeforeExtractor

+ func (e *BeforeExtractor) ExtractBefore(expression ast.Expression) ast.ExpressionExtraction

+ func (e *BeforeExtractor) ExtractFunction(_ *ast.ExpressionExtractor, expression *ast.FunctionExpression) ast.ExpressionExtraction

+ func (e *BeforeExtractor) ExtractInvocation(extractor *ast.ExpressionExtractor, expression *ast.InvocationExpression) ast.ExpressionExtraction

+ type BinaryOperationKind int

+ const BinaryOperationKindArithmetic

+ const BinaryOperationKindBooleanLogic

+ const BinaryOperationKindConcatenation

+ const BinaryOperationKindEquality

+ const BinaryOperationKindNilCoalescing

+ const BinaryOperationKindNonEqualityComparison

+ const BinaryOperationKindUnknown

+ func (i BinaryOperationKind) String() string

+ type BoolType struct

+ func (*BoolType) ContainsFirstLevelInterfaceType() bool

+ func (*BoolType) Equal(other Type) bool

+ func (*BoolType) ID() TypeID

+ func (*BoolType) IsInvalidType() bool

+ func (*BoolType) IsResourceType() bool

+ func (*BoolType) IsType()

+ func (*BoolType) QualifiedString() string

+ func (*BoolType) String() string

+ func (*BoolType) TypeAnnotationState() TypeAnnotationState

+ func (*BoolType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *BoolType) Resolve(_ map[*TypeParameter]Type) Type

+ type BranchesResourceInfo struct

+ type BranchesResourceInfos map[interface{}]BranchesResourceInfo

+ func (infos BranchesResourceInfos) Add(resources *Resources, setValue func(*BranchesResourceInfo, ResourceInfo))

+ func NewBranchesResourceInfos(thenResources *Resources, elseResources *Resources) BranchesResourceInfos

+ type CapabilityType struct

+ func (*CapabilityType) ContainsFirstLevelInterfaceType() bool

+ func (*CapabilityType) Equal(other Type) bool

+ func (*CapabilityType) ID() TypeID

+ func (*CapabilityType) IsInvalidType() bool

+ func (*CapabilityType) IsResourceType() bool

+ func (*CapabilityType) IsType()

+ func (*CapabilityType) QualifiedString() string

+ func (*CapabilityType) String() string

+ func (*CapabilityType) TypeAnnotationState() TypeAnnotationState

+ func (*CapabilityType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *CapabilityType) CanHaveMembers() bool

+ func (t *CapabilityType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *CapabilityType) Resolve(_ map[*TypeParameter]Type) Type

+ type CharacterType struct

+ func (*CharacterType) ContainsFirstLevelInterfaceType() bool

+ func (*CharacterType) Equal(other Type) bool

+ func (*CharacterType) ID() TypeID

+ func (*CharacterType) IsInvalidType() bool

+ func (*CharacterType) IsResourceType() bool

+ func (*CharacterType) IsType()

+ func (*CharacterType) QualifiedString() string

+ func (*CharacterType) String() string

+ func (*CharacterType) TypeAnnotationState() TypeAnnotationState

+ func (*CharacterType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *CharacterType) Resolve(_ map[*TypeParameter]Type) Type

+ type CheckedFunctionType struct

+ ArgumentExpressionsCheck func(checker *Checker, argumentExpressions []ast.Expression)

+ func (t *CheckedFunctionType) CheckArgumentExpressions(checker *Checker, argumentExpressions []ast.Expression)

+ type Checker struct

+ Elaboration *Elaboration

+ GlobalTypes map[string]*Variable

+ GlobalValues map[string]*Variable

+ Location ast.Location

+ Occurrences *Occurrences

+ PredeclaredTypes map[string]TypeDeclaration

+ PredeclaredValues map[string]ValueDeclaration

+ Program *ast.Program

+ TransactionTypes []*TransactionType

+ func NewChecker(program *ast.Program, location ast.Location, options ...Option) (*Checker, error)

+ func (checker *Checker) Check() error

+ func (checker *Checker) CheckerError() *CheckerError

+ func (checker *Checker) ConvertType(t ast.Type) Type

+ func (checker *Checker) ConvertTypeAnnotation(typeAnnotation *ast.TypeAnnotation) *TypeAnnotation

+ func (checker *Checker) EnsureLoaded(location ast.Location, loadProgram func() *ast.Program) (*Checker, *CheckerError)

+ func (checker *Checker) FindType(name string) Type

+ func (checker *Checker) IsChecked() bool

+ func (checker *Checker) ResetErrors()

+ func (checker *Checker) SetAllCheckers(allCheckers map[ast.LocationID]*Checker)

+ func (checker *Checker) UserDefinedValues() map[string]*Variable

+ func (checker *Checker) VisitArrayExpression(expression *ast.ArrayExpression) ast.Repr

+ func (checker *Checker) VisitAssignmentStatement(assignment *ast.AssignmentStatement) ast.Repr

+ func (checker *Checker) VisitBinaryExpression(expression *ast.BinaryExpression) ast.Repr

+ func (checker *Checker) VisitBlock(block *ast.Block) ast.Repr

+ func (checker *Checker) VisitBoolExpression(_ *ast.BoolExpression) ast.Repr

+ func (checker *Checker) VisitBreakStatement(statement *ast.BreakStatement) ast.Repr

+ func (checker *Checker) VisitCastingExpression(expression *ast.CastingExpression) ast.Repr

+ func (checker *Checker) VisitCompositeDeclaration(declaration *ast.CompositeDeclaration) ast.Repr

+ func (checker *Checker) VisitCondition(condition *ast.Condition) ast.Repr

+ func (checker *Checker) VisitConditionalExpression(expression *ast.ConditionalExpression) ast.Repr

+ func (checker *Checker) VisitContinueStatement(statement *ast.ContinueStatement) ast.Repr

+ func (checker *Checker) VisitCreateExpression(expression *ast.CreateExpression) ast.Repr

+ func (checker *Checker) VisitDestroyExpression(expression *ast.DestroyExpression) (resultType ast.Repr)

+ func (checker *Checker) VisitDictionaryExpression(expression *ast.DictionaryExpression) ast.Repr

+ func (checker *Checker) VisitEmitStatement(statement *ast.EmitStatement) ast.Repr

+ func (checker *Checker) VisitExpressionStatement(statement *ast.ExpressionStatement) ast.Repr

+ func (checker *Checker) VisitFieldDeclaration(_ *ast.FieldDeclaration) ast.Repr

+ func (checker *Checker) VisitFixedPointExpression(_ *ast.FixedPointExpression) ast.Repr

+ func (checker *Checker) VisitForStatement(statement *ast.ForStatement) ast.Repr

+ func (checker *Checker) VisitForceExpression(expression *ast.ForceExpression) ast.Repr

+ func (checker *Checker) VisitFunctionBlock(functionBlock *ast.FunctionBlock) ast.Repr

+ func (checker *Checker) VisitFunctionDeclaration(declaration *ast.FunctionDeclaration) ast.Repr

+ func (checker *Checker) VisitFunctionExpression(expression *ast.FunctionExpression) ast.Repr

+ func (checker *Checker) VisitIdentifierExpression(expression *ast.IdentifierExpression) ast.Repr

+ func (checker *Checker) VisitIfStatement(statement *ast.IfStatement) ast.Repr

+ func (checker *Checker) VisitImportDeclaration(_ *ast.ImportDeclaration) ast.Repr

+ func (checker *Checker) VisitIndexExpression(expression *ast.IndexExpression) ast.Repr

+ func (checker *Checker) VisitIntegerExpression(_ *ast.IntegerExpression) ast.Repr

+ func (checker *Checker) VisitInterfaceDeclaration(declaration *ast.InterfaceDeclaration) ast.Repr

+ func (checker *Checker) VisitInvocationExpression(invocationExpression *ast.InvocationExpression) ast.Repr

+ func (checker *Checker) VisitMemberExpression(expression *ast.MemberExpression) ast.Repr

+ func (checker *Checker) VisitNilExpression(_ *ast.NilExpression) ast.Repr

+ func (checker *Checker) VisitPathExpression(expression *ast.PathExpression) ast.Repr

+ func (checker *Checker) VisitProgram(program *ast.Program) ast.Repr

+ func (checker *Checker) VisitReferenceExpression(referenceExpression *ast.ReferenceExpression) ast.Repr

+ func (checker *Checker) VisitReturnStatement(statement *ast.ReturnStatement) ast.Repr

+ func (checker *Checker) VisitStringExpression(_ *ast.StringExpression) ast.Repr

+ func (checker *Checker) VisitSwapStatement(swap *ast.SwapStatement) ast.Repr

+ func (checker *Checker) VisitTransactionDeclaration(declaration *ast.TransactionDeclaration) ast.Repr

+ func (checker *Checker) VisitUnaryExpression(expression *ast.UnaryExpression) ast.Repr

+ func (checker *Checker) VisitVariableDeclaration(declaration *ast.VariableDeclaration) ast.Repr

+ func (checker *Checker) VisitWhileStatement(statement *ast.WhileStatement) ast.Repr

+ type CheckerError struct

+ Errors []error

+ func (e CheckerError) ChildErrors() []error

+ func (e CheckerError) Error() string

+ type CompositeKindMismatchError struct

+ ActualKind common.CompositeKind

+ ExpectedKind common.CompositeKind

+ func (e *CompositeKindMismatchError) Error() string

+ func (e *CompositeKindMismatchError) SecondaryError() string

+ type CompositeKindedType interface

+ GetCompositeKind func() common.CompositeKind

+ type CompositeType struct

+ Conformances []*InterfaceType

+ ConstructorParameters []*Parameter

+ ContainerType Type

+ Identifier string

+ Kind common.CompositeKind

+ Location ast.Location

+ Members map[string]*Member

+ func (*CompositeType) ContainsFirstLevelInterfaceType() bool

+ func (*CompositeType) IsInvalidType() bool

+ func (*CompositeType) IsType()

+ func (*CompositeType) TypeAnnotationState() TypeAnnotationState

+ func (*CompositeType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *CompositeType) AllConformances() []*InterfaceType

+ func (t *CompositeType) CanHaveMembers() bool

+ func (t *CompositeType) ConformanceSet() InterfaceSet

+ func (t *CompositeType) Equal(other Type) bool

+ func (t *CompositeType) GetCompositeKind() common.CompositeKind

+ func (t *CompositeType) GetContainerType() Type

+ func (t *CompositeType) GetLocation() ast.Location

+ func (t *CompositeType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *CompositeType) ID() TypeID

+ func (t *CompositeType) InterfaceType() *InterfaceType

+ func (t *CompositeType) IsResourceType() bool

+ func (t *CompositeType) NestedTypes() map[string]Type

+ func (t *CompositeType) QualifiedIdentifier() string

+ func (t *CompositeType) QualifiedString() string

+ func (t *CompositeType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *CompositeType) String() string

+ func (t *CompositeType) TypeRequirements() []*CompositeType

+ type ConformanceError struct

+ CompositeType *CompositeType

+ InitializerMismatch *InitializerMismatch

+ InterfaceType *InterfaceType

+ InterfaceTypeIsTypeRequirement bool

+ MemberMismatches []MemberMismatch

+ MissingMembers []*Member

+ MissingNestedCompositeTypes []*CompositeType

+ Pos ast.Position

+ func (e *ConformanceError) EndPosition() ast.Position

+ func (e *ConformanceError) Error() string

+ func (e *ConformanceError) StartPosition() ast.Position

+ type ConstantSizedArrayLiteralSizeError struct

+ ActualSize uint64

+ ExpectedSize uint64

+ func (e *ConstantSizedArrayLiteralSizeError) Error() string

+ func (e *ConstantSizedArrayLiteralSizeError) SecondaryError() string

+ type ConstantSizedType struct

+ Size uint64

+ Type Type

+ func (*ConstantSizedType) IsType()

+ func (t *ConstantSizedType) CanHaveMembers() bool

+ func (t *ConstantSizedType) ContainsFirstLevelInterfaceType() bool

+ func (t *ConstantSizedType) ElementType(_ bool) Type

+ func (t *ConstantSizedType) Equal(other Type) bool

+ func (t *ConstantSizedType) GetMember(identifier string, targetRange ast.Range, report func(error)) *Member

+ func (t *ConstantSizedType) ID() TypeID

+ func (t *ConstantSizedType) IndexingType() Type

+ func (t *ConstantSizedType) IsInvalidType() bool

+ func (t *ConstantSizedType) IsResourceType() bool

+ func (t *ConstantSizedType) QualifiedString() string

+ func (t *ConstantSizedType) Resolve(typeParameters map[*TypeParameter]Type) Type

+ func (t *ConstantSizedType) String() string

+ func (t *ConstantSizedType) TypeAnnotationState() TypeAnnotationState

+ func (t *ConstantSizedType) Unify(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ type ContainedType interface

+ GetContainerType func() Type

+ type ContainerKind int

+ const ContainerKindComposite

+ const ContainerKindInterface

+ const ContainerKindUnknown

+ func (i ContainerKind) String() string

+ type ContainerType interface

+ NestedTypes func() map[string]Type

+ type ControlStatementError struct

+ ControlStatement common.ControlStatement

+ func (e *ControlStatementError) Error() string

+ type DeclarationKindMismatchError struct

+ ActualDeclarationKind common.DeclarationKind

+ ExpectedDeclarationKind common.DeclarationKind

+ func (e *DeclarationKindMismatchError) Error() string

+ func (e *DeclarationKindMismatchError) SecondaryError() string

+ type DictionaryEntryType struct

+ KeyType Type

+ ValueType Type

+ type DictionaryType struct

+ KeyType Type

+ ValueType Type

+ func (*DictionaryType) IsType()

+ func (t *DictionaryType) CanHaveMembers() bool

+ func (t *DictionaryType) ContainsFirstLevelInterfaceType() bool

+ func (t *DictionaryType) ElementType(_ bool) Type

+ func (t *DictionaryType) Equal(other Type) bool

+ func (t *DictionaryType) GetMember(identifier string, targetRange ast.Range, report func(error)) *Member

+ func (t *DictionaryType) ID() TypeID

+ func (t *DictionaryType) IndexingType() Type

+ func (t *DictionaryType) IsInvalidType() bool

+ func (t *DictionaryType) IsResourceType() bool

+ func (t *DictionaryType) QualifiedString() string

+ func (t *DictionaryType) Resolve(typeParameters map[*TypeParameter]Type) Type

+ func (t *DictionaryType) String() string

+ func (t *DictionaryType) TypeAnnotationState() TypeAnnotationState

+ func (t *DictionaryType) Unify(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ type DuplicateConformanceError struct

+ CompositeType *CompositeType

+ InterfaceType *InterfaceType

+ func (e *DuplicateConformanceError) Error() string

+ type Elaboration struct

+ ArrayExpressionArgumentTypes map[*ast.ArrayExpression][]Type

+ ArrayExpressionElementType map[*ast.ArrayExpression]Type

+ AssignmentStatementTargetTypes map[*ast.AssignmentStatement]Type

+ AssignmentStatementValueTypes map[*ast.AssignmentStatement]Type

+ BinaryExpressionResultTypes map[*ast.BinaryExpression]Type

+ BinaryExpressionRightTypes map[*ast.BinaryExpression]Type

+ CastingStaticValueTypes map[*ast.CastingExpression]Type

+ CastingTargetTypes map[*ast.CastingExpression]Type

+ CompositeDeclarationTypes map[*ast.CompositeDeclaration]*CompositeType

+ CompositeNestedDeclarations map[*ast.CompositeDeclaration]map[string]ast.Declaration

+ CompositeTypes map[TypeID]*CompositeType

+ DictionaryExpressionEntryTypes map[*ast.DictionaryExpression][]DictionaryEntryType

+ DictionaryExpressionType map[*ast.DictionaryExpression]*DictionaryType

+ EmitStatementEventTypes map[*ast.EmitStatement]*CompositeType

+ FunctionDeclarationFunctionTypes map[*ast.FunctionDeclaration]*FunctionType

+ FunctionExpressionFunctionType map[*ast.FunctionExpression]*FunctionType

+ IndexExpressionIndexingTypes map[*ast.IndexExpression]Type

+ InterfaceDeclarationTypes map[*ast.InterfaceDeclaration]*InterfaceType

+ InterfaceNestedDeclarations map[*ast.InterfaceDeclaration]map[string]ast.Declaration

+ InterfaceTypes map[TypeID]*InterfaceType

+ InvocationExpressionArgumentTypes map[*ast.InvocationExpression][]Type

+ InvocationExpressionParameterTypes map[*ast.InvocationExpression][]Type

+ InvocationExpressionReturnTypes map[*ast.InvocationExpression]Type

+ InvocationExpressionTypeParameterTypes map[*ast.InvocationExpression]map[*TypeParameter]Type

+ IsResourceMovingStorageIndexExpression map[*ast.IndexExpression]bool

+ IsTypeIndexExpression map[*ast.IndexExpression]bool

+ MemberExpressionMemberInfos map[*ast.MemberExpression]MemberInfo

+ PostConditionsRewrite map[*ast.Conditions]PostConditionsRewrite

+ ReturnStatementReturnTypes map[*ast.ReturnStatement]Type

+ ReturnStatementValueTypes map[*ast.ReturnStatement]Type

+ SpecialFunctionTypes map[*ast.SpecialFunctionDeclaration]*SpecialFunctionType

+ SwapStatementLeftTypes map[*ast.SwapStatement]Type

+ SwapStatementRightTypes map[*ast.SwapStatement]Type

+ TransactionDeclarationTypes map[*ast.TransactionDeclaration]*TransactionType

+ VariableDeclarationSecondValueTypes map[*ast.VariableDeclaration]Type

+ VariableDeclarationTargetTypes map[*ast.VariableDeclaration]Type

+ VariableDeclarationValueTypes map[*ast.VariableDeclaration]Type

+ func NewElaboration() *Elaboration

+ type EmitImportedEventError struct

+ Type Type

+ func (e *EmitImportedEventError) Error() string

+ type EmitNonEventError struct

+ Type Type

+ func (e *EmitNonEventError) Error() string

+ type FieldUninitializedError struct

+ ContainerType Type

+ Name string

+ Pos ast.Position

+ func (e *FieldUninitializedError) EndPosition() ast.Position

+ func (e *FieldUninitializedError) Error() string

+ func (e *FieldUninitializedError) SecondaryError() string

+ func (e *FieldUninitializedError) StartPosition() ast.Position

+ type Fix64Type struct

+ func (*Fix64Type) ContainsFirstLevelInterfaceType() bool

+ func (*Fix64Type) Equal(other Type) bool

+ func (*Fix64Type) ID() TypeID

+ func (*Fix64Type) IsInvalidType() bool

+ func (*Fix64Type) IsResourceType() bool

+ func (*Fix64Type) IsType()

+ func (*Fix64Type) MaxFractional() *big.Int

+ func (*Fix64Type) MaxInt() *big.Int

+ func (*Fix64Type) MinFractional() *big.Int

+ func (*Fix64Type) MinInt() *big.Int

+ func (*Fix64Type) QualifiedString() string

+ func (*Fix64Type) Scale() uint

+ func (*Fix64Type) String() string

+ func (*Fix64Type) TypeAnnotationState() TypeAnnotationState

+ func (*Fix64Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Fix64Type) Resolve(_ map[*TypeParameter]Type) Type

+ type FixedPointType struct

+ func (*FixedPointType) ContainsFirstLevelInterfaceType() bool

+ func (*FixedPointType) Equal(other Type) bool

+ func (*FixedPointType) ID() TypeID

+ func (*FixedPointType) IsInvalidType() bool

+ func (*FixedPointType) IsResourceType() bool

+ func (*FixedPointType) IsType()

+ func (*FixedPointType) MaxInt() *big.Int

+ func (*FixedPointType) MinInt() *big.Int

+ func (*FixedPointType) QualifiedString() string

+ func (*FixedPointType) String() string

+ func (*FixedPointType) TypeAnnotationState() TypeAnnotationState

+ func (*FixedPointType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *FixedPointType) Resolve(_ map[*TypeParameter]Type) Type

+ type FractionalRangedType interface

+ MaxFractional func() *big.Int

+ MinFractional func() *big.Int

+ Scale func() uint

+ type FunctionActivation struct

+ InitializationInfo *InitializationInfo

+ Loops int

+ ReportedDeadCode bool

+ ReturnInfo *ReturnInfo

+ ReturnType Type

+ ValueActivationDepth int

+ func (a FunctionActivation) InLoop() bool

+ type FunctionActivations struct

+ func (a *FunctionActivations) Current() *FunctionActivation

+ func (a *FunctionActivations) EnterFunction(functionType *FunctionType, valueActivationDepth int)

+ func (a *FunctionActivations) EnterLoop()

+ func (a *FunctionActivations) IsLocal() bool

+ func (a *FunctionActivations) LeaveFunction()

+ func (a *FunctionActivations) LeaveLoop()

+ func (a *FunctionActivations) WithFunction(functionType *FunctionType, valueActivationDepth int, f func())

+ func (a *FunctionActivations) WithLoop(f func())

+ type FunctionExpressionInConditionError struct

+ func (e *FunctionExpressionInConditionError) Error() string

+ type FunctionType struct

+ Parameters []*Parameter

+ RequiredArgumentCount *int

+ ReturnTypeAnnotation *TypeAnnotation

+ TypeParameters []*TypeParameter

+ func (*FunctionType) CheckArgumentExpressions(_ *Checker, _ []ast.Expression)

+ func (*FunctionType) IsResourceType() bool

+ func (*FunctionType) IsType()

+ func (*FunctionType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *FunctionType) ArgumentLabels() (argumentLabels []string)

+ func (t *FunctionType) ContainsFirstLevelInterfaceType() bool

+ func (t *FunctionType) Equal(other Type) bool

+ func (t *FunctionType) EqualIncludingArgumentLabels(other Type) bool

+ func (t *FunctionType) ID() TypeID

+ func (t *FunctionType) InvocationFunctionType() *FunctionType

+ func (t *FunctionType) IsInvalidType() bool

+ func (t *FunctionType) QualifiedString() string

+ func (t *FunctionType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *FunctionType) String() string

+ func (t *FunctionType) TypeAnnotationState() TypeAnnotationState

+ type GenericType struct

+ TypeParameter *TypeParameter

+ func (*GenericType) IsType()

+ func (t *GenericType) ContainsFirstLevelInterfaceType() bool

+ func (t *GenericType) Equal(other Type) bool

+ func (t *GenericType) ID() TypeID

+ func (t *GenericType) IsInvalidType() bool

+ func (t *GenericType) IsResourceType() bool

+ func (t *GenericType) QualifiedString() string

+ func (t *GenericType) Resolve(typeParameters map[*TypeParameter]Type) Type

+ func (t *GenericType) String() string

+ func (t *GenericType) TypeAnnotationState() TypeAnnotationState

+ func (t *GenericType) Unify(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ type ImportedProgramError struct

+ CheckerError *CheckerError

+ ImportLocation ast.Location

+ Pos ast.Position

+ func (e *ImportedProgramError) ChildErrors() []error

+ func (e *ImportedProgramError) EndPosition() ast.Position

+ func (e *ImportedProgramError) Error() string

+ func (e *ImportedProgramError) StartPosition() ast.Position

+ type IncorrectArgumentLabelError struct

+ ActualArgumentLabel string

+ ExpectedArgumentLabel string

+ func (e *IncorrectArgumentLabelError) Error() string

+ func (e *IncorrectArgumentLabelError) SecondaryError() string

+ type IncorrectTransferOperationError struct

+ ActualOperation ast.TransferOperation

+ ExpectedOperation ast.TransferOperation

+ func (e *IncorrectTransferOperationError) Error() string

+ func (e *IncorrectTransferOperationError) SecondaryError() string

+ type InitializationInfo struct

+ ContainerType Type

+ FieldMembers map[*Member]*ast.FieldDeclaration

+ InitializedFieldMembers *MemberSet

+ func NewInitializationInfo(containerType Type, fieldMembers map[*Member]*ast.FieldDeclaration) *InitializationInfo

+ func (info *InitializationInfo) InitializationComplete() bool

+ type InitializerMismatch struct

+ CompositeParameters []*Parameter

+ InterfaceParameters []*Parameter

+ type Int128Type struct

+ func (*Int128Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int128Type) Equal(other Type) bool

+ func (*Int128Type) ID() TypeID

+ func (*Int128Type) IsInvalidType() bool

+ func (*Int128Type) IsResourceType() bool

+ func (*Int128Type) IsType()

+ func (*Int128Type) MaxInt() *big.Int

+ func (*Int128Type) MinInt() *big.Int

+ func (*Int128Type) QualifiedString() string

+ func (*Int128Type) String() string

+ func (*Int128Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int128Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int128Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Int16Type struct

+ func (*Int16Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int16Type) Equal(other Type) bool

+ func (*Int16Type) ID() TypeID

+ func (*Int16Type) IsInvalidType() bool

+ func (*Int16Type) IsResourceType() bool

+ func (*Int16Type) IsType()

+ func (*Int16Type) MaxInt() *big.Int

+ func (*Int16Type) MinInt() *big.Int

+ func (*Int16Type) QualifiedString() string

+ func (*Int16Type) String() string

+ func (*Int16Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int16Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int16Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Int256Type struct

+ func (*Int256Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int256Type) Equal(other Type) bool

+ func (*Int256Type) ID() TypeID

+ func (*Int256Type) IsInvalidType() bool

+ func (*Int256Type) IsResourceType() bool

+ func (*Int256Type) IsType()

+ func (*Int256Type) MaxInt() *big.Int

+ func (*Int256Type) MinInt() *big.Int

+ func (*Int256Type) QualifiedString() string

+ func (*Int256Type) String() string

+ func (*Int256Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int256Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int256Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Int32Type struct

+ func (*Int32Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int32Type) Equal(other Type) bool

+ func (*Int32Type) ID() TypeID

+ func (*Int32Type) IsInvalidType() bool

+ func (*Int32Type) IsResourceType() bool

+ func (*Int32Type) IsType()

+ func (*Int32Type) MaxInt() *big.Int

+ func (*Int32Type) MinInt() *big.Int

+ func (*Int32Type) QualifiedString() string

+ func (*Int32Type) String() string

+ func (*Int32Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int32Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int32Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Int64Type struct

+ func (*Int64Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int64Type) Equal(other Type) bool

+ func (*Int64Type) ID() TypeID

+ func (*Int64Type) IsInvalidType() bool

+ func (*Int64Type) IsResourceType() bool

+ func (*Int64Type) IsType()

+ func (*Int64Type) MaxInt() *big.Int

+ func (*Int64Type) MinInt() *big.Int

+ func (*Int64Type) QualifiedString() string

+ func (*Int64Type) String() string

+ func (*Int64Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int64Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int64Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Int8Type struct

+ func (*Int8Type) ContainsFirstLevelInterfaceType() bool

+ func (*Int8Type) Equal(other Type) bool

+ func (*Int8Type) ID() TypeID

+ func (*Int8Type) IsInvalidType() bool

+ func (*Int8Type) IsResourceType() bool

+ func (*Int8Type) IsType()

+ func (*Int8Type) MaxInt() *big.Int

+ func (*Int8Type) MinInt() *big.Int

+ func (*Int8Type) QualifiedString() string

+ func (*Int8Type) String() string

+ func (*Int8Type) TypeAnnotationState() TypeAnnotationState

+ func (*Int8Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Int8Type) Resolve(_ map[*TypeParameter]Type) Type

+ type IntType struct

+ func (*IntType) ContainsFirstLevelInterfaceType() bool

+ func (*IntType) Equal(other Type) bool

+ func (*IntType) ID() TypeID

+ func (*IntType) IsInvalidType() bool

+ func (*IntType) IsResourceType() bool

+ func (*IntType) IsType()

+ func (*IntType) MaxInt() *big.Int

+ func (*IntType) MinInt() *big.Int

+ func (*IntType) QualifiedString() string

+ func (*IntType) String() string

+ func (*IntType) TypeAnnotationState() TypeAnnotationState

+ func (*IntType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *IntType) Resolve(_ map[*TypeParameter]Type) Type

+ type IntegerRangedType interface

+ MaxInt func() *big.Int

+ MinInt func() *big.Int

+ type IntegerType struct

+ func (*IntegerType) ContainsFirstLevelInterfaceType() bool

+ func (*IntegerType) Equal(other Type) bool

+ func (*IntegerType) ID() TypeID

+ func (*IntegerType) IsInvalidType() bool

+ func (*IntegerType) IsResourceType() bool

+ func (*IntegerType) IsType()

+ func (*IntegerType) MaxInt() *big.Int

+ func (*IntegerType) MinInt() *big.Int

+ func (*IntegerType) QualifiedString() string

+ func (*IntegerType) String() string

+ func (*IntegerType) TypeAnnotationState() TypeAnnotationState

+ func (*IntegerType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *IntegerType) Resolve(_ map[*TypeParameter]Type) Type

+ type InterfaceSet map[*InterfaceType]struct

+ func (s InterfaceSet) IsSubsetOf(other InterfaceSet) bool

+ type InterfaceType struct

+ CompositeKind common.CompositeKind

+ ContainerType Type

+ Identifier string

+ InitializerParameters []*Parameter

+ Location ast.Location

+ Members map[string]*Member

+ func (*InterfaceType) IsType()

+ func (*InterfaceType) TypeAnnotationState() TypeAnnotationState

+ func (*InterfaceType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *InterfaceType) CanHaveMembers() bool

+ func (t *InterfaceType) ContainsFirstLevelInterfaceType() bool

+ func (t *InterfaceType) Equal(other Type) bool

+ func (t *InterfaceType) GetCompositeKind() common.CompositeKind

+ func (t *InterfaceType) GetContainerType() Type

+ func (t *InterfaceType) GetLocation() ast.Location

+ func (t *InterfaceType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *InterfaceType) ID() TypeID

+ func (t *InterfaceType) IsInvalidType() bool

+ func (t *InterfaceType) IsResourceType() bool

+ func (t *InterfaceType) NestedTypes() map[string]Type

+ func (t *InterfaceType) QualifiedIdentifier() string

+ func (t *InterfaceType) QualifiedString() string

+ func (t *InterfaceType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *InterfaceType) String() string

+ type InvalidAccessError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ RestrictingAccess ast.Access

+ func (e *InvalidAccessError) Error() string

+ type InvalidAccessModifierError struct

+ Access ast.Access

+ DeclarationKind common.DeclarationKind

+ Pos ast.Position

+ func (e *InvalidAccessModifierError) EndPosition() ast.Position

+ func (e *InvalidAccessModifierError) Error() string

+ func (e *InvalidAccessModifierError) StartPosition() ast.Position

+ type InvalidAddressLiteralError struct

+ func (e *InvalidAddressLiteralError) Error() string

+ type InvalidAssignmentAccessError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ RestrictingAccess ast.Access

+ func (e *InvalidAssignmentAccessError) Error() string

+ func (e *InvalidAssignmentAccessError) SecondaryError() string

+ type InvalidAssignmentTargetError struct

+ func (e *InvalidAssignmentTargetError) Error() string

+ type InvalidBinaryOperandError struct

+ ActualType Type

+ ExpectedType Type

+ Operation ast.Operation

+ Side common.OperandSide

+ func (e *InvalidBinaryOperandError) Error() string

+ func (e *InvalidBinaryOperandError) SecondaryError() string

+ type InvalidBinaryOperandsError struct

+ LeftType Type

+ Operation ast.Operation

+ RightType Type

+ func (e *InvalidBinaryOperandsError) Error() string

+ type InvalidCharacterLiteralError struct

+ Length int

+ func (e *InvalidCharacterLiteralError) Error() string

+ func (e *InvalidCharacterLiteralError) SecondaryError() string

+ type InvalidConformanceError struct

+ Pos ast.Position

+ Type Type

+ func (e *InvalidConformanceError) EndPosition() ast.Position

+ func (e *InvalidConformanceError) Error() string

+ func (e *InvalidConformanceError) StartPosition() ast.Position

+ type InvalidConstantSizedTypeBaseError struct

+ ActualBase int

+ ExpectedBase int

+ func (e *InvalidConstantSizedTypeBaseError) Error() string

+ func (e *InvalidConstantSizedTypeBaseError) SecondaryError() string

+ type InvalidConstantSizedTypeSizeError struct

+ ActualSize *big.Int

+ ExpectedMaxInt *big.Int

+ ExpectedMinInt *big.Int

+ func (e *InvalidConstantSizedTypeSizeError) Error() string

+ func (e *InvalidConstantSizedTypeSizeError) SecondaryError() string

+ type InvalidConstructionError struct

+ func (e *InvalidConstructionError) Error() string

+ type InvalidDeclarationError struct

+ Identifier string

+ Kind common.DeclarationKind

+ func (e *InvalidDeclarationError) Error() string

+ type InvalidDestructionError struct

+ func (e *InvalidDestructionError) Error() string

+ type InvalidDestructorError struct

+ func (e *InvalidDestructorError) Error() string

+ type InvalidDestructorParametersError struct

+ func (e *InvalidDestructorParametersError) Error() string

+ func (e *InvalidDestructorParametersError) SecondaryError() string

+ type InvalidDictionaryKeyTypeError struct

+ Type Type

+ func (e *InvalidDictionaryKeyTypeError) Error() string

+ type InvalidEventParameterTypeError struct

+ Type Type

+ func (e *InvalidEventParameterTypeError) Error() string

+ type InvalidEventUsageError struct

+ func (e *InvalidEventUsageError) Error() string

+ type InvalidFailableResourceDowncastOutsideOptionalBindingError struct

+ func (e *InvalidFailableResourceDowncastOutsideOptionalBindingError) Error() string

+ type InvalidFixedPointLiteralRangeError struct

+ ExpectedMaxFractional *big.Int

+ ExpectedMaxInt *big.Int

+ ExpectedMinFractional *big.Int

+ ExpectedMinInt *big.Int

+ ExpectedType Type

+ func (e *InvalidFixedPointLiteralRangeError) Error() string

+ func (e *InvalidFixedPointLiteralRangeError) SecondaryError() string

+ type InvalidFixedPointLiteralScaleError struct

+ ExpectedScale uint

+ ExpectedType Type

+ func (e *InvalidFixedPointLiteralScaleError) Error() string

+ func (e *InvalidFixedPointLiteralScaleError) SecondaryError() string

+ type InvalidImplementationError struct

+ ContainerKind common.DeclarationKind

+ ImplementedKind common.DeclarationKind

+ Pos ast.Position

+ func (e *InvalidImplementationError) EndPosition() ast.Position

+ func (e *InvalidImplementationError) Error() string

+ func (e *InvalidImplementationError) StartPosition() ast.Position

+ type InvalidIndexingError struct

+ func (e *InvalidIndexingError) Error() string

+ func (e *InvalidIndexingError) SecondaryError() string

+ type InvalidIntegerLiteralRangeError struct

+ ExpectedMaxInt *big.Int

+ ExpectedMinInt *big.Int

+ ExpectedType Type

+ func (e *InvalidIntegerLiteralRangeError) Error() string

+ func (e *InvalidIntegerLiteralRangeError) SecondaryError() string

+ type InvalidInterfaceTypeError struct

+ Type Type

+ func (e *InvalidInterfaceTypeError) Error() string

+ func (e *InvalidInterfaceTypeError) SecondaryError() string

+ type InvalidMoveError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ Pos ast.Position

+ func (e *InvalidMoveError) EndPosition() ast.Position

+ func (e *InvalidMoveError) Error() string

+ func (e *InvalidMoveError) StartPosition() ast.Position

+ type InvalidMoveOperationError struct

+ func (e *InvalidMoveOperationError) Error() string

+ func (e *InvalidMoveOperationError) SecondaryError() string

+ type InvalidNameError struct

+ Name string

+ Pos ast.Position

+ func (e *InvalidNameError) EndPosition() ast.Position

+ func (e *InvalidNameError) Error() string

+ func (e *InvalidNameError) StartPosition() ast.Position

+ type InvalidNestedDeclarationError struct

+ ContainerDeclarationKind common.DeclarationKind

+ NestedDeclarationKind common.DeclarationKind

+ func (e *InvalidNestedDeclarationError) Error() string

+ type InvalidNestedResourceMoveError struct

+ EndPos ast.Position

+ StartPos ast.Position

+ func (e *InvalidNestedResourceMoveError) EndPosition() ast.Position

+ func (e *InvalidNestedResourceMoveError) Error() string

+ func (e *InvalidNestedResourceMoveError) StartPosition() ast.Position

+ type InvalidNestedTypeError struct

+ Type *ast.NominalType

+ func (e *InvalidNestedTypeError) EndPosition() ast.Position

+ func (e *InvalidNestedTypeError) Error() string

+ func (e *InvalidNestedTypeError) StartPosition() ast.Position

+ type InvalidNilCoalescingRightResourceOperandError struct

+ func (e *InvalidNilCoalescingRightResourceOperandError) Error() string

+ type InvalidNonConformanceRestrictionError struct

+ Type *InterfaceType

+ func (e *InvalidNonConformanceRestrictionError) Error() string

+ type InvalidOptionalChainingError struct

+ Type Type

+ func (e *InvalidOptionalChainingError) Error() string

+ type InvalidPathDomainError struct

+ ActualDomain string

+ func (e *InvalidPathDomainError) Error() string

+ func (e *InvalidPathDomainError) SecondaryError() string

+ type InvalidResourceAnnotationError struct

+ func (e *InvalidResourceAnnotationError) Error() string

+ type InvalidResourceArrayMemberError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ func (e *InvalidResourceArrayMemberError) Error() string

+ type InvalidResourceAssignmentError struct

+ func (e *InvalidResourceAssignmentError) Error() string

+ type InvalidResourceCreationError struct

+ Type Type

+ func (e *InvalidResourceCreationError) Error() string

+ type InvalidResourceDictionaryMemberError struct

+ DeclarationKind common.DeclarationKind

+ Name string

+ func (e *InvalidResourceDictionaryMemberError) Error() string

+ type InvalidResourceFieldError struct

+ CompositeKind common.CompositeKind

+ Name string

+ Pos ast.Position

+ func (e *InvalidResourceFieldError) EndPosition() ast.Position

+ func (e *InvalidResourceFieldError) Error() string

+ func (e *InvalidResourceFieldError) StartPosition() ast.Position

+ type InvalidResourceTransactionParameterError struct

+ Type Type

+ func (e *InvalidResourceTransactionParameterError) Error() string

+ type InvalidRestrictedTypeError struct

+ Type Type

+ func (e *InvalidRestrictedTypeError) Error() string

+ type InvalidRestrictedTypeMemberAccessError struct

+ Name string

+ func (e *InvalidRestrictedTypeMemberAccessError) Error() string

+ type InvalidRestrictionTypeDuplicateError struct

+ Type *InterfaceType

+ func (e *InvalidRestrictionTypeDuplicateError) Error() string

+ type InvalidRestrictionTypeError struct

+ Type Type

+ func (e *InvalidRestrictionTypeError) Error() string

+ type InvalidReturnValueError struct

+ func (e *InvalidReturnValueError) Error() string

+ type InvalidSelfInvalidationError struct

+ EndPos ast.Position

+ InvalidationKind ResourceInvalidationKind

+ StartPos ast.Position

+ func (e *InvalidSelfInvalidationError) EndPosition() ast.Position

+ func (e *InvalidSelfInvalidationError) Error() string

+ func (e *InvalidSelfInvalidationError) StartPosition() ast.Position

+ type InvalidSwapExpressionError struct

+ Side common.OperandSide

+ func (e *InvalidSwapExpressionError) Error() string

+ func (e *InvalidSwapExpressionError) SecondaryError() string

+ type InvalidTopLevelDeclarationError struct

+ DeclarationKind common.DeclarationKind

+ func (e *InvalidTopLevelDeclarationError) Error() string

+ type InvalidTransactionBlockError struct

+ Name string

+ Pos ast.Position

+ func (e *InvalidTransactionBlockError) EndPosition() ast.Position

+ func (e *InvalidTransactionBlockError) Error() string

+ func (e *InvalidTransactionBlockError) SecondaryError() string

+ func (e *InvalidTransactionBlockError) StartPosition() ast.Position

+ type InvalidTransactionFieldAccessModifierError struct

+ Access ast.Access

+ Name string

+ Pos ast.Position

+ func (e *InvalidTransactionFieldAccessModifierError) EndPosition() ast.Position

+ func (e *InvalidTransactionFieldAccessModifierError) Error() string

+ func (e *InvalidTransactionFieldAccessModifierError) StartPosition() ast.Position

+ type InvalidTransactionPrepareParameterTypeError struct

+ Type Type

+ func (e *InvalidTransactionPrepareParameterTypeError) Error() string

+ type InvalidType struct

+ func (*InvalidType) ContainsFirstLevelInterfaceType() bool

+ func (*InvalidType) Equal(other Type) bool

+ func (*InvalidType) ID() TypeID

+ func (*InvalidType) IsInvalidType() bool

+ func (*InvalidType) IsResourceType() bool

+ func (*InvalidType) IsType()

+ func (*InvalidType) QualifiedString() string

+ func (*InvalidType) String() string

+ func (*InvalidType) TypeAnnotationState() TypeAnnotationState

+ func (*InvalidType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *InvalidType) Resolve(_ map[*TypeParameter]Type) Type

+ type InvalidTypeArgumentCountError struct

+ TypeArgumentCount int

+ TypeParameterCount int

+ func (e *InvalidTypeArgumentCountError) Error() string

+ func (e *InvalidTypeArgumentCountError) SecondaryError() string

+ type InvalidTypeIndexingError struct

+ func (e *InvalidTypeIndexingError) Error() string

+ func (e *InvalidTypeIndexingError) SecondaryError() string

+ type InvalidUnaryOperandError struct

+ ActualType Type

+ ExpectedType Type

+ Operation ast.Operation

+ func (e *InvalidUnaryOperandError) Error() string

+ func (e *InvalidUnaryOperandError) SecondaryError() string

+ type InvalidVariableKindError struct

+ Kind ast.VariableKind

+ func (e *InvalidVariableKindError) Error() string

+ type InvokableType interface

+ ArgumentLabels func() []string

+ CheckArgumentExpressions func(checker *Checker, argumentExpressions []ast.Expression)

+ InvocationFunctionType func() *FunctionType

+ type LocatedType interface

+ GetLocation func() ast.Location

+ type Member struct

+ Access ast.Access

+ ArgumentLabels []string

+ ContainerType Type

+ DeclarationKind common.DeclarationKind

+ Identifier ast.Identifier

+ IgnoreInSerialization bool

+ Predeclared bool

+ TypeAnnotation *TypeAnnotation

+ VariableKind ast.VariableKind

+ func NewPublicConstantFieldMember(containerType Type, identifier string, fieldType Type) *Member

+ func NewPublicFunctionMember(containerType Type, identifier string, invokableType InvokableType) *Member

+ type MemberAccessibleType interface

+ CanHaveMembers func() bool

+ GetMember func(identifier string, targetRange ast.Range, report func(error)) *Member

+ type MemberInfo struct

+ IsOptional bool

+ Member *Member

+ type MemberMismatch struct

+ CompositeMember *Member

+ InterfaceMember *Member

+ type MemberSet struct

+ func NewMemberSet() *MemberSet

+ func (ms *MemberSet) Add(member *Member)

+ func (ms *MemberSet) Clone() *MemberSet

+ func (ms *MemberSet) Contains(member *Member) bool

+ func (ms *MemberSet) Intersection(b *MemberSet) *MemberSet

+ type MissingAccessModifierError struct

+ DeclarationKind common.DeclarationKind

+ Pos ast.Position

+ func (e *MissingAccessModifierError) EndPosition() ast.Position

+ func (e *MissingAccessModifierError) Error() string

+ func (e *MissingAccessModifierError) StartPosition() ast.Position

+ type MissingArgumentLabelError struct

+ ExpectedArgumentLabel string

+ func (e *MissingArgumentLabelError) Error() string

+ type MissingConformanceError struct

+ CompositeType *CompositeType

+ InterfaceType *InterfaceType

+ func (e *MissingConformanceError) Error() string

+ type MissingCreateError struct

+ func (e *MissingCreateError) Error() string

+ func (e *MissingCreateError) SecondaryError() string

+ type MissingDestructorError struct

+ ContainerType Type

+ FirstFieldName string

+ FirstFieldPos ast.Position

+ func (e *MissingDestructorError) EndPosition() ast.Position

+ func (e *MissingDestructorError) Error() string

+ func (e *MissingDestructorError) StartPosition() ast.Position

+ type MissingFunctionBodyError struct

+ Pos ast.Position

+ func (e *MissingFunctionBodyError) EndPosition() ast.Position

+ func (e *MissingFunctionBodyError) Error() string

+ func (e *MissingFunctionBodyError) StartPosition() ast.Position

+ type MissingInitializerError struct

+ ContainerType Type

+ FirstFieldName string

+ FirstFieldPos ast.Position

+ func (e *MissingInitializerError) EndPosition() ast.Position

+ func (e *MissingInitializerError) Error() string

+ func (e *MissingInitializerError) StartPosition() ast.Position

+ type MissingLocationError struct

+ func (e *MissingLocationError) Error() string

+ type MissingMoveOperationError struct

+ Pos ast.Position

+ func (e *MissingMoveOperationError) EndPosition() ast.Position

+ func (e *MissingMoveOperationError) Error() string

+ func (e *MissingMoveOperationError) StartPosition() ast.Position

+ type MissingResourceAnnotationError struct

+ func (e *MissingResourceAnnotationError) Error() string

+ type MissingReturnStatementError struct

+ func (e *MissingReturnStatementError) Error() string

+ type NeverType struct

+ func (*NeverType) ContainsFirstLevelInterfaceType() bool

+ func (*NeverType) Equal(other Type) bool

+ func (*NeverType) ID() TypeID

+ func (*NeverType) IsInvalidType() bool

+ func (*NeverType) IsResourceType() bool

+ func (*NeverType) IsType()

+ func (*NeverType) QualifiedString() string

+ func (*NeverType) String() string

+ func (*NeverType) TypeAnnotationState() TypeAnnotationState

+ func (*NeverType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *NeverType) Resolve(_ map[*TypeParameter]Type) Type

+ type NonOptionalForceError struct

+ Type Type

+ func (e *NonOptionalForceError) Error() string

+ type NonReferenceTypeReferenceError struct

+ ActualType Type

+ func (e *NonReferenceTypeReferenceError) Error() string

+ func (e *NonReferenceTypeReferenceError) SecondaryError() string

+ type NonResourceTypeError struct

+ ActualType Type

+ func (e *NonResourceTypeError) Error() string

+ func (e *NonResourceTypeError) SecondaryError() string

+ type NotCallableError struct

+ Type Type

+ func (e *NotCallableError) Error() string

+ type NotDeclaredError struct

+ ExpectedKind common.DeclarationKind

+ Name string

+ Pos ast.Position

+ func (e *NotDeclaredError) EndPosition() ast.Position

+ func (e *NotDeclaredError) Error() string

+ func (e *NotDeclaredError) SecondaryError() string

+ func (e *NotDeclaredError) StartPosition() ast.Position

+ type NotDeclaredMemberError struct

+ Name string

+ Type Type

+ func (e *NotDeclaredMemberError) Error() string

+ func (e *NotDeclaredMemberError) SecondaryError() string

+ type NotEquatableTypeError struct

+ Type Type

+ func (e *NotEquatableTypeError) Error() string

+ type NotExportedError struct

+ ImportLocation ast.Location

+ Name string

+ Pos ast.Position

+ func (e *NotExportedError) EndPosition() ast.Position

+ func (e *NotExportedError) Error() string

+ func (e *NotExportedError) StartPosition() ast.Position

+ type NotIndexableTypeError struct

+ Type Type

+ func (e *NotIndexableTypeError) Error() string

+ type NotIndexingTypeError struct

+ Type Type

+ func (e *NotIndexingTypeError) Error() string

+ type NumberType struct

+ func (*NumberType) ContainsFirstLevelInterfaceType() bool

+ func (*NumberType) Equal(other Type) bool

+ func (*NumberType) ID() TypeID

+ func (*NumberType) IsInvalidType() bool

+ func (*NumberType) IsResourceType() bool

+ func (*NumberType) IsType()

+ func (*NumberType) MaxInt() *big.Int

+ func (*NumberType) MinInt() *big.Int

+ func (*NumberType) QualifiedString() string

+ func (*NumberType) String() string

+ func (*NumberType) TypeAnnotationState() TypeAnnotationState

+ func (*NumberType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *NumberType) Resolve(_ map[*TypeParameter]Type) Type

+ type Occurrence struct

+ EndPos Position

+ Origin *Origin

+ StartPos Position

+ type Occurrences struct

+ T *intervalst.IntervalST

+ func NewOccurrences() *Occurrences

+ func (o *Occurrences) All() []Occurrence

+ func (o *Occurrences) Find(pos Position) *Occurrence

+ func (o *Occurrences) Put(startPos, endPos ast.Position, origin *Origin)

+ type Option func(*Checker) error

+ func WithAccessCheckMode(mode AccessCheckMode) Option

+ func WithAllCheckers(allCheckers map[ast.LocationID]*Checker) Option

+ func WithPredeclaredTypes(predeclaredTypes map[string]TypeDeclaration) Option

+ func WithPredeclaredValues(predeclaredValues map[string]ValueDeclaration) Option

+ func WithValidTopLevelDeclarationsHandler(handler func(location ast.Location) []common.DeclarationKind) Option

+ type OptionalType struct

+ Type Type

+ func (*OptionalType) IsType()

+ func (t *OptionalType) ContainsFirstLevelInterfaceType() bool

+ func (t *OptionalType) Equal(other Type) bool

+ func (t *OptionalType) ID() TypeID

+ func (t *OptionalType) IsInvalidType() bool

+ func (t *OptionalType) IsResourceType() bool

+ func (t *OptionalType) QualifiedString() string

+ func (t *OptionalType) Resolve(typeParameters map[*TypeParameter]Type) Type

+ func (t *OptionalType) String() string

+ func (t *OptionalType) TypeAnnotationState() TypeAnnotationState

+ func (t *OptionalType) Unify(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ type OptionalTypeReferenceError struct

+ ActualType Type

+ func (e *OptionalTypeReferenceError) Error() string

+ type Origin struct

+ DeclarationKind common.DeclarationKind

+ EndPos *ast.Position

+ StartPos *ast.Position

+ Type Type

+ type Parameter struct

+ Identifier string

+ Label string

+ TypeAnnotation *TypeAnnotation

+ func (p *Parameter) EffectiveArgumentLabel() string

+ func (p *Parameter) QualifiedString() string

+ func (p *Parameter) String() string

+ type PathType struct

+ func (*PathType) ContainsFirstLevelInterfaceType() bool

+ func (*PathType) Equal(other Type) bool

+ func (*PathType) ID() TypeID

+ func (*PathType) IsInvalidType() bool

+ func (*PathType) IsResourceType() bool

+ func (*PathType) IsType()

+ func (*PathType) QualifiedString() string

+ func (*PathType) String() string

+ func (*PathType) TypeAnnotationState() TypeAnnotationState

+ func (*PathType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *PathType) Resolve(_ map[*TypeParameter]Type) Type

+ type Position struct

+ Column int

+ Line int

+ func ToPosition(position ast.Position) Position

+ func (pos Position) Compare(other intervalst.Position) int

+ func (pos Position) String() string

+ type PostConditionsRewrite struct

+ BeforeStatements []ast.Statement

+ RewrittenPostConditions ast.Conditions

+ type PublicAccountType struct

+ func (*PublicAccountType) CanHaveMembers() bool

+ func (*PublicAccountType) ContainsFirstLevelInterfaceType() bool

+ func (*PublicAccountType) Equal(other Type) bool

+ func (*PublicAccountType) ID() TypeID

+ func (*PublicAccountType) IsInvalidType() bool

+ func (*PublicAccountType) IsResourceType() bool

+ func (*PublicAccountType) IsType()

+ func (*PublicAccountType) QualifiedString() string

+ func (*PublicAccountType) String() string

+ func (*PublicAccountType) TypeAnnotationState() TypeAnnotationState

+ func (*PublicAccountType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *PublicAccountType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *PublicAccountType) Resolve(_ map[*TypeParameter]Type) Type

+ type ReadOnlyTargetAssignmentError struct

+ func (e *ReadOnlyTargetAssignmentError) Error() string

+ type RedeclarationError struct

+ Kind common.DeclarationKind

+ Name string

+ Pos ast.Position

+ PreviousPos *ast.Position

+ func (e *RedeclarationError) EndPosition() ast.Position

+ func (e *RedeclarationError) Error() string

+ func (e *RedeclarationError) ErrorNotes() []errors.ErrorNote

+ func (e *RedeclarationError) StartPosition() ast.Position

+ type RedeclarationNote struct

+ func (n RedeclarationNote) Message() string

+ type ReferenceType struct

+ Authorized bool

+ Type Type

+ func (*ReferenceType) IsType()

+ func (*ReferenceType) TypeAnnotationState() TypeAnnotationState

+ func (*ReferenceType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *ReferenceType) CanHaveMembers() bool

+ func (t *ReferenceType) ContainsFirstLevelInterfaceType() bool

+ func (t *ReferenceType) ElementType(isAssignment bool) Type

+ func (t *ReferenceType) Equal(other Type) bool

+ func (t *ReferenceType) GetMember(identifier string, targetRange ast.Range, report func(error)) *Member

+ func (t *ReferenceType) ID() TypeID

+ func (t *ReferenceType) IndexingType() Type

+ func (t *ReferenceType) IsInvalidType() bool

+ func (t *ReferenceType) IsResourceType() bool

+ func (t *ReferenceType) QualifiedString() string

+ func (t *ReferenceType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *ReferenceType) String() string

+ type RepeatedImportError struct

+ ImportLocation ast.Location

+ func (e *RepeatedImportError) Error() string

+ type ResourceCapturingError struct

+ Name string

+ Pos ast.Position

+ func (e *ResourceCapturingError) EndPosition() ast.Position

+ func (e *ResourceCapturingError) Error() string

+ func (e *ResourceCapturingError) StartPosition() ast.Position

+ type ResourceFieldNotInvalidatedError struct

+ FieldName string

+ Pos ast.Position

+ Type Type

+ func (e *ResourceFieldNotInvalidatedError) EndPosition() ast.Position

+ func (e *ResourceFieldNotInvalidatedError) Error() string

+ func (e *ResourceFieldNotInvalidatedError) SecondaryError() string

+ func (e *ResourceFieldNotInvalidatedError) StartPosition() ast.Position

+ type ResourceInfo struct

+ DefinitivelyInvalidated bool

+ Invalidations ResourceInvalidations

+ UsePositions ResourceUses

+ type ResourceInvalidation struct

+ EndPos ast.Position

+ Kind ResourceInvalidationKind

+ StartPos ast.Position

+ type ResourceInvalidationEntry struct

+ func (e ResourceInvalidationEntry) Equal(e2 hamt.Entry) bool

+ func (e ResourceInvalidationEntry) Hash() (result uint32)

+ type ResourceInvalidationKind int

+ const ResourceInvalidationKindDestroy

+ const ResourceInvalidationKindMove

+ const ResourceInvalidationKindUnknown

+ func (i ResourceInvalidationKind) String() string

+ func (k ResourceInvalidationKind) Name() string

+ type ResourceInvalidationNote struct

+ func (n ResourceInvalidationNote) Message() string

+ type ResourceInvalidations struct

+ func (ris ResourceInvalidations) All() (result []ResourceInvalidation)

+ func (ris ResourceInvalidations) Include(invalidation ResourceInvalidation) bool

+ func (ris ResourceInvalidations) Insert(invalidation ResourceInvalidation) ResourceInvalidations

+ func (ris ResourceInvalidations) IsEmpty() bool

+ func (ris ResourceInvalidations) Merge(other ResourceInvalidations) ResourceInvalidations

+ func (ris ResourceInvalidations) Size() int

+ type ResourceLossError struct

+ func (e *ResourceLossError) Error() string

+ type ResourceMethodBindingError struct

+ func (e *ResourceMethodBindingError) Error() string

+ type ResourceUse struct

+ UseAfterInvalidationReported bool

+ type ResourceUseAfterInvalidationError struct

+ EndPos ast.Position

+ InLoop bool

+ Invalidations []ResourceInvalidation

+ StartPos ast.Position

+ func (e *ResourceUseAfterInvalidationError) Cause() (wasMoved, wasDestroyed bool)

+ func (e *ResourceUseAfterInvalidationError) EndPosition() ast.Position

+ func (e *ResourceUseAfterInvalidationError) Error() string

+ func (e *ResourceUseAfterInvalidationError) ErrorNotes() (notes []errors.ErrorNote)

+ func (e *ResourceUseAfterInvalidationError) HasInvalidationInPreviousLoopIteration() (result bool)

+ func (e *ResourceUseAfterInvalidationError) SecondaryError() string

+ func (e *ResourceUseAfterInvalidationError) StartPosition() ast.Position

+ type ResourceUseEntry struct

+ func (e ResourceUseEntry) Equal(other hamt.Entry) bool

+ type ResourceUses struct

+ func (p ResourceUses) AllPositions() (result []ast.Position)

+ func (p ResourceUses) Include(pos ast.Position) bool

+ func (p ResourceUses) Insert(pos ast.Position) ResourceUses

+ func (p ResourceUses) IsUseAfterInvalidationReported(pos ast.Position) bool

+ func (p ResourceUses) MarkUseAfterInvalidationReported(pos ast.Position) ResourceUses

+ func (p ResourceUses) Merge(other ResourceUses) ResourceUses

+ func (p ResourceUses) Size() int

+ type Resources struct

+ Returns bool

+ func (ris *Resources) AddInvalidation(resource interface{}, invalidation ResourceInvalidation)

+ func (ris *Resources) AddUse(resource interface{}, use ast.Position)

+ func (ris *Resources) Clone() *Resources

+ func (ris *Resources) FirstRest() (interface{}, ResourceInfo, *Resources)

+ func (ris *Resources) ForEachResourceInfo(f func(resource interface{}, info ResourceInfo))

+ func (ris *Resources) Get(resource interface{}) ResourceInfo

+ func (ris *Resources) IsUseAfterInvalidationReported(resource interface{}, pos ast.Position) bool

+ func (ris *Resources) MarkUseAfterInvalidationReported(resource interface{}, pos ast.Position)

+ func (ris *Resources) MergeBranches(thenResources *Resources, elseResources *Resources)

+ func (ris *Resources) Size() int

+ func (ris *Resources) String() string

+ type RestrictedType struct

+ Restrictions []*InterfaceType

+ Type Type

+ func (*RestrictedType) ContainsFirstLevelInterfaceType() bool

+ func (*RestrictedType) IsType()

+ func (*RestrictedType) TypeAnnotationState() TypeAnnotationState

+ func (*RestrictedType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *RestrictedType) CanHaveMembers() bool

+ func (t *RestrictedType) Equal(other Type) bool

+ func (t *RestrictedType) GetMember(identifier string, targetRange ast.Range, reportError func(error)) *Member

+ func (t *RestrictedType) ID() TypeID

+ func (t *RestrictedType) IsInvalidType() bool

+ func (t *RestrictedType) IsResourceType() bool

+ func (t *RestrictedType) QualifiedString() string

+ func (t *RestrictedType) Resolve(_ map[*TypeParameter]Type) Type

+ func (t *RestrictedType) RestrictionSet() InterfaceSet

+ func (t *RestrictedType) String() string

+ type RestrictionCompositeKindMismatchError struct

+ CompositeKind common.CompositeKind

+ PreviousCompositeKind common.CompositeKind

+ func (e *RestrictionCompositeKindMismatchError) Error() string

+ type RestrictionMemberClashError struct

+ Name string

+ OriginalDeclaringType *InterfaceType

+ RedeclaringType *InterfaceType

+ func (e *RestrictionMemberClashError) Error() string

+ type ReturnInfo struct

+ DefinitelyHalted bool

+ DefinitelyReturned bool

+ MaybeReturned bool

+ func (ri *ReturnInfo) Clone() *ReturnInfo

+ func (ri *ReturnInfo) MergeBranches(thenReturnInfo *ReturnInfo, elseReturnInfo *ReturnInfo)

+ type SemanticError interface

+ type SignedFixedPointType struct

+ func (*SignedFixedPointType) ContainsFirstLevelInterfaceType() bool

+ func (*SignedFixedPointType) Equal(other Type) bool

+ func (*SignedFixedPointType) ID() TypeID

+ func (*SignedFixedPointType) IsInvalidType() bool

+ func (*SignedFixedPointType) IsResourceType() bool

+ func (*SignedFixedPointType) IsType()

+ func (*SignedFixedPointType) MaxInt() *big.Int

+ func (*SignedFixedPointType) MinInt() *big.Int

+ func (*SignedFixedPointType) QualifiedString() string

+ func (*SignedFixedPointType) String() string

+ func (*SignedFixedPointType) TypeAnnotationState() TypeAnnotationState

+ func (*SignedFixedPointType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *SignedFixedPointType) Resolve(_ map[*TypeParameter]Type) Type

+ type SignedIntegerType struct

+ func (*SignedIntegerType) ContainsFirstLevelInterfaceType() bool

+ func (*SignedIntegerType) Equal(other Type) bool

+ func (*SignedIntegerType) ID() TypeID

+ func (*SignedIntegerType) IsInvalidType() bool

+ func (*SignedIntegerType) IsResourceType() bool

+ func (*SignedIntegerType) IsType()

+ func (*SignedIntegerType) MaxInt() *big.Int

+ func (*SignedIntegerType) MinInt() *big.Int

+ func (*SignedIntegerType) QualifiedString() string

+ func (*SignedIntegerType) String() string

+ func (*SignedIntegerType) TypeAnnotationState() TypeAnnotationState

+ func (*SignedIntegerType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *SignedIntegerType) Resolve(_ map[*TypeParameter]Type) Type

+ type SignedNumberType struct

+ func (*SignedNumberType) ContainsFirstLevelInterfaceType() bool

+ func (*SignedNumberType) Equal(other Type) bool

+ func (*SignedNumberType) ID() TypeID

+ func (*SignedNumberType) IsInvalidType() bool

+ func (*SignedNumberType) IsResourceType() bool

+ func (*SignedNumberType) IsType()

+ func (*SignedNumberType) MaxInt() *big.Int

+ func (*SignedNumberType) MinInt() *big.Int

+ func (*SignedNumberType) QualifiedString() string

+ func (*SignedNumberType) String() string

+ func (*SignedNumberType) TypeAnnotationState() TypeAnnotationState

+ func (*SignedNumberType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *SignedNumberType) Resolve(_ map[*TypeParameter]Type) Type

+ type SpecialFunctionType struct

+ Members map[string]*Member

+ func (t *SpecialFunctionType) CanHaveMembers() bool

+ func (t *SpecialFunctionType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ type StringType struct

+ func (*StringType) CanHaveMembers() bool

+ func (*StringType) ContainsFirstLevelInterfaceType() bool

+ func (*StringType) Equal(other Type) bool

+ func (*StringType) ID() TypeID

+ func (*StringType) IsInvalidType() bool

+ func (*StringType) IsResourceType() bool

+ func (*StringType) IsType()

+ func (*StringType) QualifiedString() string

+ func (*StringType) String() string

+ func (*StringType) TypeAnnotationState() TypeAnnotationState

+ func (*StringType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *StringType) ElementType(_ bool) Type

+ func (t *StringType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *StringType) IndexingType() Type

+ func (t *StringType) Resolve(_ map[*TypeParameter]Type) Type

+ type TransactionMissingPrepareError struct

+ FirstFieldName string

+ FirstFieldPos ast.Position

+ func (e *TransactionMissingPrepareError) EndPosition() ast.Position

+ func (e *TransactionMissingPrepareError) Error() string

+ func (e *TransactionMissingPrepareError) StartPosition() ast.Position

+ type TransactionType struct

+ Members map[string]*Member

+ Parameters []*Parameter

+ PrepareParameters []*Parameter

+ func (*TransactionType) ContainsFirstLevelInterfaceType() bool

+ func (*TransactionType) Equal(other Type) bool

+ func (*TransactionType) ExecuteFunctionType() *SpecialFunctionType

+ func (*TransactionType) ID() TypeID

+ func (*TransactionType) IsInvalidType() bool

+ func (*TransactionType) IsResourceType() bool

+ func (*TransactionType) IsType()

+ func (*TransactionType) QualifiedString() string

+ func (*TransactionType) String() string

+ func (*TransactionType) TypeAnnotationState() TypeAnnotationState

+ func (*TransactionType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *TransactionType) CanHaveMembers() bool

+ func (t *TransactionType) EntryPointFunctionType() *FunctionType

+ func (t *TransactionType) GetMember(identifier string, _ ast.Range, _ func(error)) *Member

+ func (t *TransactionType) PrepareFunctionType() *SpecialFunctionType

+ func (t *TransactionType) Resolve(_ map[*TypeParameter]Type) Type

+ type Type interface

+ ContainsFirstLevelInterfaceType func() bool

+ Equal func(other Type) bool

+ ID func() TypeID

+ IsInvalidType func() bool

+ IsResourceType func() bool

+ IsType func()

+ QualifiedString func() string

+ Resolve func(typeParameters map[*TypeParameter]Type) Type

+ String func() string

+ TypeAnnotationState func() TypeAnnotationState

+ Unify func(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ func UnwrapOptionalType(ty Type) Type

+ type TypeAnnotation struct

+ IsResource bool

+ Type Type

+ func NewTypeAnnotation(ty Type) *TypeAnnotation

+ func (a *TypeAnnotation) Equal(other *TypeAnnotation) bool

+ func (a *TypeAnnotation) QualifiedString() string

+ func (a *TypeAnnotation) String() string

+ func (a *TypeAnnotation) TypeAnnotationState() TypeAnnotationState

+ type TypeAnnotationState int

+ const TypeAnnotationStateInvalidResourceAnnotation

+ const TypeAnnotationStateMissingResourceAnnotation

+ const TypeAnnotationStateUnknown

+ const TypeAnnotationStateValid

+ func (i TypeAnnotationState) String() string

+ type TypeCheckFunc = func() Type

+ type TypeDeclaration interface

+ TypeDeclarationKind func() common.DeclarationKind

+ TypeDeclarationPosition func() ast.Position

+ TypeDeclarationType func() Type

+ type TypeID string

+ type TypeMismatchError struct

+ ActualType Type

+ ExpectedType Type

+ func (e *TypeMismatchError) Error() string

+ func (e *TypeMismatchError) SecondaryError() string

+ type TypeMismatchWithDescriptionError struct

+ ActualType Type

+ ExpectedTypeDescription string

+ func (e *TypeMismatchWithDescriptionError) Error() string

+ func (e *TypeMismatchWithDescriptionError) SecondaryError() string

+ type TypeParameter struct

+ Name string

+ TypeBound Type

+ func (p TypeParameter) Equal(other *TypeParameter) bool

+ func (p TypeParameter) QualifiedString() string

+ func (p TypeParameter) String() string

+ type TypeParameterTypeInferenceError struct

+ Name string

+ func (e *TypeParameterTypeInferenceError) Error() string

+ type TypeParameterTypeMismatchError struct

+ ActualType Type

+ ExpectedType Type

+ TypeParameter *TypeParameter

+ func (e *TypeParameterTypeMismatchError) Error() string

+ func (e *TypeParameterTypeMismatchError) SecondaryError() string

+ type UFix64Type struct

+ func (*UFix64Type) ContainsFirstLevelInterfaceType() bool

+ func (*UFix64Type) Equal(other Type) bool

+ func (*UFix64Type) ID() TypeID

+ func (*UFix64Type) IsInvalidType() bool

+ func (*UFix64Type) IsResourceType() bool

+ func (*UFix64Type) IsType()

+ func (*UFix64Type) MaxFractional() *big.Int

+ func (*UFix64Type) MaxInt() *big.Int

+ func (*UFix64Type) MinFractional() *big.Int

+ func (*UFix64Type) MinInt() *big.Int

+ func (*UFix64Type) QualifiedString() string

+ func (*UFix64Type) Scale() uint

+ func (*UFix64Type) String() string

+ func (*UFix64Type) TypeAnnotationState() TypeAnnotationState

+ func (*UFix64Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UFix64Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt128Type struct

+ func (*UInt128Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt128Type) Equal(other Type) bool

+ func (*UInt128Type) ID() TypeID

+ func (*UInt128Type) IsInvalidType() bool

+ func (*UInt128Type) IsResourceType() bool

+ func (*UInt128Type) IsType()

+ func (*UInt128Type) MaxInt() *big.Int

+ func (*UInt128Type) MinInt() *big.Int

+ func (*UInt128Type) QualifiedString() string

+ func (*UInt128Type) String() string

+ func (*UInt128Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt128Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt128Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt16Type struct

+ func (*UInt16Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt16Type) Equal(other Type) bool

+ func (*UInt16Type) ID() TypeID

+ func (*UInt16Type) IsInvalidType() bool

+ func (*UInt16Type) IsResourceType() bool

+ func (*UInt16Type) IsType()

+ func (*UInt16Type) MaxInt() *big.Int

+ func (*UInt16Type) MinInt() *big.Int

+ func (*UInt16Type) QualifiedString() string

+ func (*UInt16Type) String() string

+ func (*UInt16Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt16Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt16Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt256Type struct

+ func (*UInt256Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt256Type) Equal(other Type) bool

+ func (*UInt256Type) ID() TypeID

+ func (*UInt256Type) IsInvalidType() bool

+ func (*UInt256Type) IsResourceType() bool

+ func (*UInt256Type) IsType()

+ func (*UInt256Type) MaxInt() *big.Int

+ func (*UInt256Type) MinInt() *big.Int

+ func (*UInt256Type) QualifiedString() string

+ func (*UInt256Type) String() string

+ func (*UInt256Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt256Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt256Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt32Type struct

+ func (*UInt32Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt32Type) Equal(other Type) bool

+ func (*UInt32Type) ID() TypeID

+ func (*UInt32Type) IsInvalidType() bool

+ func (*UInt32Type) IsResourceType() bool

+ func (*UInt32Type) IsType()

+ func (*UInt32Type) MaxInt() *big.Int

+ func (*UInt32Type) MinInt() *big.Int

+ func (*UInt32Type) QualifiedString() string

+ func (*UInt32Type) String() string

+ func (*UInt32Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt32Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt32Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt64Type struct

+ func (*UInt64Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt64Type) Equal(other Type) bool

+ func (*UInt64Type) ID() TypeID

+ func (*UInt64Type) IsInvalidType() bool

+ func (*UInt64Type) IsResourceType() bool

+ func (*UInt64Type) IsType()

+ func (*UInt64Type) MaxInt() *big.Int

+ func (*UInt64Type) MinInt() *big.Int

+ func (*UInt64Type) QualifiedString() string

+ func (*UInt64Type) String() string

+ func (*UInt64Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt64Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt64Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UInt8Type struct

+ func (*UInt8Type) ContainsFirstLevelInterfaceType() bool

+ func (*UInt8Type) Equal(other Type) bool

+ func (*UInt8Type) ID() TypeID

+ func (*UInt8Type) IsInvalidType() bool

+ func (*UInt8Type) IsResourceType() bool

+ func (*UInt8Type) IsType()

+ func (*UInt8Type) MaxInt() *big.Int

+ func (*UInt8Type) MinInt() *big.Int

+ func (*UInt8Type) QualifiedString() string

+ func (*UInt8Type) String() string

+ func (*UInt8Type) TypeAnnotationState() TypeAnnotationState

+ func (*UInt8Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UInt8Type) Resolve(_ map[*TypeParameter]Type) Type

+ type UIntType struct

+ func (*UIntType) ContainsFirstLevelInterfaceType() bool

+ func (*UIntType) Equal(other Type) bool

+ func (*UIntType) ID() TypeID

+ func (*UIntType) IsInvalidType() bool

+ func (*UIntType) IsResourceType() bool

+ func (*UIntType) IsType()

+ func (*UIntType) MaxInt() *big.Int

+ func (*UIntType) MinInt() *big.Int

+ func (*UIntType) QualifiedString() string

+ func (*UIntType) String() string

+ func (*UIntType) TypeAnnotationState() TypeAnnotationState

+ func (*UIntType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *UIntType) Resolve(_ map[*TypeParameter]Type) Type

+ type UninitializedFieldAccessError struct

+ Name string

+ Pos ast.Position

+ func (e *UninitializedFieldAccessError) EndPosition() ast.Position

+ func (e *UninitializedFieldAccessError) Error() string

+ func (e *UninitializedFieldAccessError) StartPosition() ast.Position

+ type UninitializedUseError struct

+ Name string

+ Pos ast.Position

+ func (e *UninitializedUseError) EndPosition() ast.Position

+ func (e *UninitializedUseError) Error() string

+ func (e *UninitializedUseError) StartPosition() ast.Position

+ type UnknownSpecialFunctionError struct

+ Pos ast.Position

+ func (e *UnknownSpecialFunctionError) EndPosition() ast.Position

+ func (e *UnknownSpecialFunctionError) Error() string

+ func (e *UnknownSpecialFunctionError) StartPosition() ast.Position

+ type UnreachableStatementError struct

+ func (e *UnreachableStatementError) Error() string

+ type UnresolvedImportError struct

+ ImportLocation ast.Location

+ func (e *UnresolvedImportError) Error() string

+ type UnsupportedOptionalChainingAssignmentError struct

+ func (e *UnsupportedOptionalChainingAssignmentError) Error() string

+ type UnsupportedOverloadingError struct

+ DeclarationKind common.DeclarationKind

+ func (e *UnsupportedOverloadingError) Error() string

+ type UnsupportedResourceForLoopError struct

+ func (e *UnsupportedResourceForLoopError) Error() string

+ type ValueDeclaration interface

+ ValueDeclarationArgumentLabels func() []string

+ ValueDeclarationIsConstant func() bool

+ ValueDeclarationKind func() common.DeclarationKind

+ ValueDeclarationPosition func() ast.Position

+ ValueDeclarationType func() Type

+ type ValueIndexableType interface

+ ElementType func(isAssignment bool) Type

+ IndexingType func() Type

+ type Variable struct

+ Access ast.Access

+ ArgumentLabels []string

+ DeclarationKind common.DeclarationKind

+ Depth int

+ Identifier string

+ IsBaseValue bool

+ IsConstant bool

+ Pos *ast.Position

+ Type Type

+ type VariableActivations struct

+ func NewValueActivations() *VariableActivations

+ func (a *VariableActivations) Declare(declaration variableDeclaration) (variable *Variable, err error)

+ func (a *VariableActivations) DeclareImplicitConstant(identifier string, ty Type, kind common.DeclarationKind) (*Variable, error)

+ func (a *VariableActivations) DeclareType(declaration typeDeclaration) (*Variable, error)

+ func (a *VariableActivations) Depth() int

+ func (a *VariableActivations) Enter()

+ func (a *VariableActivations) Find(name string) *Variable

+ func (a *VariableActivations) Leave()

+ func (a *VariableActivations) Set(name string, variable *Variable)

+ func (a *VariableActivations) VariablesDeclaredInAndBelow(depth int) map[string]*Variable

+ type VariableSizedType struct

+ Type Type

+ func (*VariableSizedType) IsType()

+ func (t *VariableSizedType) CanHaveMembers() bool

+ func (t *VariableSizedType) ContainsFirstLevelInterfaceType() bool

+ func (t *VariableSizedType) ElementType(_ bool) Type

+ func (t *VariableSizedType) Equal(other Type) bool

+ func (t *VariableSizedType) GetMember(identifier string, targetRange ast.Range, report func(error)) *Member

+ func (t *VariableSizedType) ID() TypeID

+ func (t *VariableSizedType) IndexingType() Type

+ func (t *VariableSizedType) IsInvalidType() bool

+ func (t *VariableSizedType) IsResourceType() bool

+ func (t *VariableSizedType) QualifiedString() string

+ func (t *VariableSizedType) Resolve(typeParameters map[*TypeParameter]Type) Type

+ func (t *VariableSizedType) String() string

+ func (t *VariableSizedType) TypeAnnotationState() TypeAnnotationState

+ func (t *VariableSizedType) Unify(other Type, typeParameters map[*TypeParameter]Type, report func(err error), ...) bool

+ type VoidType struct

+ func (*VoidType) ContainsFirstLevelInterfaceType() bool

+ func (*VoidType) Equal(other Type) bool

+ func (*VoidType) ID() TypeID

+ func (*VoidType) IsInvalidType() bool

+ func (*VoidType) IsResourceType() bool

+ func (*VoidType) IsType()

+ func (*VoidType) QualifiedString() string

+ func (*VoidType) String() string

+ func (*VoidType) TypeAnnotationState() TypeAnnotationState

+ func (*VoidType) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *VoidType) Resolve(_ map[*TypeParameter]Type) Type

+ type Word16Type struct

+ func (*Word16Type) ContainsFirstLevelInterfaceType() bool

+ func (*Word16Type) Equal(other Type) bool

+ func (*Word16Type) ID() TypeID

+ func (*Word16Type) IsInvalidType() bool

+ func (*Word16Type) IsResourceType() bool

+ func (*Word16Type) IsType()

+ func (*Word16Type) MaxInt() *big.Int

+ func (*Word16Type) MinInt() *big.Int

+ func (*Word16Type) QualifiedString() string

+ func (*Word16Type) String() string

+ func (*Word16Type) TypeAnnotationState() TypeAnnotationState

+ func (*Word16Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Word16Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Word32Type struct

+ func (*Word32Type) ContainsFirstLevelInterfaceType() bool

+ func (*Word32Type) Equal(other Type) bool

+ func (*Word32Type) ID() TypeID

+ func (*Word32Type) IsInvalidType() bool

+ func (*Word32Type) IsResourceType() bool

+ func (*Word32Type) IsType()

+ func (*Word32Type) MaxInt() *big.Int

+ func (*Word32Type) MinInt() *big.Int

+ func (*Word32Type) QualifiedString() string

+ func (*Word32Type) String() string

+ func (*Word32Type) TypeAnnotationState() TypeAnnotationState

+ func (*Word32Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Word32Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Word64Type struct

+ func (*Word64Type) ContainsFirstLevelInterfaceType() bool

+ func (*Word64Type) Equal(other Type) bool

+ func (*Word64Type) ID() TypeID

+ func (*Word64Type) IsInvalidType() bool

+ func (*Word64Type) IsResourceType() bool

+ func (*Word64Type) IsType()

+ func (*Word64Type) MaxInt() *big.Int

+ func (*Word64Type) MinInt() *big.Int

+ func (*Word64Type) QualifiedString() string

+ func (*Word64Type) String() string

+ func (*Word64Type) TypeAnnotationState() TypeAnnotationState

+ func (*Word64Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Word64Type) Resolve(_ map[*TypeParameter]Type) Type

+ type Word8Type struct

+ func (*Word8Type) ContainsFirstLevelInterfaceType() bool

+ func (*Word8Type) Equal(other Type) bool

+ func (*Word8Type) ID() TypeID

+ func (*Word8Type) IsInvalidType() bool

+ func (*Word8Type) IsResourceType() bool

+ func (*Word8Type) IsType()

+ func (*Word8Type) MaxInt() *big.Int

+ func (*Word8Type) MinInt() *big.Int

+ func (*Word8Type) QualifiedString() string

+ func (*Word8Type) String() string

+ func (*Word8Type) TypeAnnotationState() TypeAnnotationState

+ func (*Word8Type) Unify(_ Type, _ map[*TypeParameter]Type, _ func(err error), _ ast.Range) bool

+ func (t *Word8Type) Resolve(_ map[*TypeParameter]Type) Type

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL