@quenty/tie 10.20.0 → 10.20.1

package/CHANGELOG.md

@@ -3,6 +3,17 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [10.20.1](https://github.com/Quenty/NevermoreEngine/compare/@quenty/tie@10.20.0...@quenty/tie@10.20.1) (2025-04-05)
+
+
+### Bug Fixes
+
+* Add types to packages ([2374fb2](https://github.com/Quenty/NevermoreEngine/commit/2374fb2b043cfbe0e9b507b3316eec46a4e353a0))
+
+
+
+
+
 # [10.20.0](https://github.com/Quenty/NevermoreEngine/compare/@quenty/tie@10.19.2...@quenty/tie@10.20.0) (2025-04-02)
 
 **Note:** Version bump only for package @quenty/tie

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quenty/tie",
-  "version": "10.20.0",
+  "version": "10.20.1",
   "description": "Tie allows interfaces to be defined between Lua OOP and Roblox objects.",
   "keywords": [
     "Roblox",
@@ -28,29 +28,29 @@
     "Quenty"
   ],
   "dependencies": {
-    "@quenty/attributeutils": "^14.17.0",
-    "@quenty/baseobject": "^10.8.0",
-    "@quenty/brio": "^14.17.0",
-    "@quenty/collectionserviceutils": "^8.17.0",
-    "@quenty/instanceutils": "^13.17.0",
-    "@quenty/loader": "^10.8.0",
-    "@quenty/maid": "^3.4.0",
-    "@quenty/rx": "^13.17.0",
-    "@quenty/rxsignal": "^7.17.0",
-    "@quenty/statestack": "^14.18.0",
-    "@quenty/string": "^3.3.1",
-    "@quenty/symbol": "^3.4.0",
-    "@quenty/table": "^3.7.1",
-    "@quenty/tuple": "^1.5.0",
-    "@quenty/valuebaseutils": "^13.17.0",
-    "@quenty/valueobject": "^13.17.0"
+    "@quenty/attributeutils": "^14.17.1",
+    "@quenty/baseobject": "^10.8.1",
+    "@quenty/brio": "^14.17.1",
+    "@quenty/collectionserviceutils": "^8.17.1",
+    "@quenty/instanceutils": "^13.17.1",
+    "@quenty/loader": "^10.8.1",
+    "@quenty/maid": "^3.4.1",
+    "@quenty/rx": "^13.17.1",
+    "@quenty/rxsignal": "^7.17.1",
+    "@quenty/statestack": "^14.18.1",
+    "@quenty/string": "^3.3.2",
+    "@quenty/symbol": "^3.4.1",
+    "@quenty/table": "^3.7.2",
+    "@quenty/tuple": "^1.5.1",
+    "@quenty/valuebaseutils": "^13.17.1",
+    "@quenty/valueobject": "^13.17.1"
   },
   "devDependencies": {
-    "@quenty/promise": "^10.10.1",
-    "@quenty/signal": "^7.10.0"
+    "@quenty/promise": "^10.10.2",
+    "@quenty/signal": "^7.10.1"
   },
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "e8ea56930e65322fcffc05a1556d5df988068f0b"
+  "gitHead": "78c3ac0ab08dd18085b6e6e6e4f745e76ed99f68"
 }

package/src/Shared/Members/Methods/TieMethodDefinition.lua

@@ -8,12 +8,13 @@ local TieMethodImplementation = require("TieMethodImplementation")
 local TieMethodInterfaceUtils = require("TieMethodInterfaceUtils")
 local TieMemberDefinition = require("TieMemberDefinition")
 local TieRealmUtils = require("TieRealmUtils")
+local _TieRealms = require("TieRealms")
 
 local TieMethodDefinition = setmetatable({}, TieMemberDefinition)
 TieMethodDefinition.ClassName = "TieMethodDefinition"
 TieMethodDefinition.__index = TieMethodDefinition
 
-function TieMethodDefinition.new(tieDefinition, methodName, memberTieRealm)
+function TieMethodDefinition.new(tieDefinition, methodName, memberTieRealm: _TieRealms.TieRealm)
 	assert(TieRealmUtils.isTieRealm(memberTieRealm), "Bad memberTieRealm")
 
 	local self = setmetatable(TieMemberDefinition.new(tieDefinition, methodName, memberTieRealm), TieMethodDefinition)
@@ -21,7 +22,7 @@ function TieMethodDefinition.new(tieDefinition, methodName, memberTieRealm)
 	return self
 end
 
-function TieMethodDefinition:GetFriendlyName()
+function TieMethodDefinition:GetFriendlyName(): string
 	return string.format("%s:%s()", self._tieDefinition:GetName(), self._memberName)
 end
 

package/src/Shared/Members/Methods/TieMethodImplementation.lua

@@ -11,7 +11,7 @@ local TieMethodImplementation = setmetatable({}, BaseObject)
 TieMethodImplementation.ClassName = "TieMethodImplementation"
 TieMethodImplementation.__index = TieMethodImplementation
 
-function TieMethodImplementation.new(memberDefinition, parent, initialValue, actualSelf)
+function TieMethodImplementation.new(memberDefinition, parent: Instance, initialValue, actualSelf)
 	local self = setmetatable(BaseObject.new(), TieMethodImplementation)
 
 	self._memberDefinition = assert(memberDefinition, "No memberDefinition")

package/src/Shared/Members/Methods/TieMethodInterfaceUtils.lua

@@ -6,10 +6,11 @@ local require = require(script.Parent.loader).load(script)
 
 local TieUtils = require("TieUtils")
 local TieRealmUtils = require("TieRealmUtils")
+local _TieRealms = require("TieRealms")
 
 local TieMethodInterfaceUtils = {}
 
-function TieMethodInterfaceUtils.get(aliasSelf, tieMethodDefinition, implParent, adornee, interfaceTieRealm)
+function TieMethodInterfaceUtils.get(aliasSelf, tieMethodDefinition, implParent, adornee: Instance?, interfaceTieRealm: _TieRealms.TieRealm)
 	assert(TieRealmUtils.isTieRealm(interfaceTieRealm), "Bad interfaceTieRealm")
 
 	local tieDefinition = tieMethodDefinition:GetTieDefinition()
@@ -33,7 +34,7 @@ function TieMethodInterfaceUtils.get(aliasSelf, tieMethodDefinition, implParent,
 			-- Search the adornee (rip this is SO slow)
 
 			local validContainerNameSet = tieDefinition:GetValidContainerNameSet(interfaceTieRealm)
-			for containerName, _ in pairs(validContainerNameSet) do
+			for containerName, _ in validContainerNameSet do
 				local found = adornee:FindFirstChild(containerName)
 				if found then
 					local bindableFunction = found:FindFirstChild(tieMethodDefinition:GetMemberName())
@@ -52,7 +53,7 @@ function TieMethodInterfaceUtils.get(aliasSelf, tieMethodDefinition, implParent,
 		end
 
 		return TieUtils.decode(bindableFunction:Invoke(TieUtils.encode(...)))
-	end;
+	end
 end
 
 return TieMethodInterfaceUtils

package/src/Shared/Members/Properties/TiePropertyDefinition.lua

@@ -27,7 +27,7 @@ function TiePropertyDefinition:GetDefaultValue()
 	return self._defaultValue
 end
 
-function TiePropertyDefinition:IsRequiredForImplementation(currentRealm)
+function TiePropertyDefinition:IsRequiredForImplementation(currentRealm): boolean
 	-- Override
 	if getmetatable(TiePropertyDefinition).IsRequiredForImplementation(self, currentRealm) then
 		if self:GetDefaultValue() ~= nil then

package/src/Shared/Members/Properties/TiePropertyImplementation.lua

@@ -17,7 +17,7 @@ local TiePropertyImplementation = setmetatable({}, BaseObject)
 TiePropertyImplementation.ClassName = "TiePropertyImplementation"
 TiePropertyImplementation.__index = TiePropertyImplementation
 
-function TiePropertyImplementation.new(memberDefinition, folder, initialValue, _actualSelf)
+function TiePropertyImplementation.new(memberDefinition, folder: Folder, initialValue, _actualSelf)
 	local self = setmetatable(BaseObject.new(), TiePropertyImplementation)
 
 	self._memberDefinition = assert(memberDefinition, "No memberDefinition")
@@ -100,7 +100,14 @@ function TiePropertyImplementation:_updateImplementation(maid, implementation)
 
 	local className = ValueBaseUtils.getClassNameFromType(typeof(implementation))
 	if not className then
-		error(string.format("[TiePropertyImplementation] - Bad implementation value type %q, cannot set %s", typeof(implementation), self._memberDefinition:GetMemberName()))
+		local memberName = self._memberDefinition:GetMemberName()
+		error(
+			string.format(
+				"[TiePropertyImplementation] - Bad implementation value type %q, cannot set %s",
+				typeof(implementation),
+				memberName
+			)
+		)
 	end
 
 	local copy = self:_changeToClassIfNeeded(className, implementation)

package/src/Shared/Members/Properties/TiePropertyImplementationUtils.lua

@@ -4,8 +4,7 @@
 
 local TiePropertyImplementationUtils = {}
 
-function TiePropertyImplementationUtils.changeToClassIfNeeded(memberDefinition, folder, className)
-
+function TiePropertyImplementationUtils.changeToClassIfNeeded(memberDefinition, folder: Folder, className: string)
 	local memberName = memberDefinition:GetMemberName()
 	folder:SetAttribute(memberName, nil)
 

package/src/Shared/Members/Properties/TiePropertyInterface.lua

@@ -263,7 +263,7 @@ function TiePropertyInterface:__newindex(index, value)
 
 		local valueBase = self:_findValueBase()
 		if type(valueBase) == "table" or (typeof(valueBase) == "Instance" and valueBase.ClassName == className) then
-			valueBase.Value = value
+			(valueBase :: any).Value = value
 		elseif AttributeUtils.isValidAttributeType(typeof(value)) and value ~= nil then
 			local implParent = self:GetImplParent()
 			if implParent then

package/src/Shared/Members/Signals/TieSignalDefinition.lua

@@ -13,7 +13,7 @@ local TieSignalDefinition = setmetatable({}, TieMemberDefinition)
 TieSignalDefinition.ClassName = "TieSignalDefinition"
 TieSignalDefinition.__index = TieSignalDefinition
 
-function TieSignalDefinition.new(tieDefinition, signalName, memberTieRealm)
+function TieSignalDefinition.new(tieDefinition, signalName: string, memberTieRealm)
 	assert(TieRealmUtils.isTieRealm(memberTieRealm), "Bad memberTieRealm")
 
 	local self = setmetatable(TieMemberDefinition.new(tieDefinition, signalName, memberTieRealm), TieSignalDefinition)

package/src/Shared/Members/Signals/TieSignalImplementation.lua

@@ -39,7 +39,7 @@ function TieSignalImplementation:SetImplementation(signal)
 
 		maid:GiveTask(signal:Connect(function(...)
 			local args = Tuple.new(...)
-			for pendingArgs, _ in pairs(signalFiredArgs) do
+			for pendingArgs, _ in signalFiredArgs do
 				if pendingArgs == args then
 					-- Remove from queue
 					signalFiredArgs[pendingArgs] = nil
@@ -53,7 +53,7 @@ function TieSignalImplementation:SetImplementation(signal)
 
 		maid:GiveTask(self._bindableEvent.Event:Connect(function(...)
 			local args = Tuple.new(TieUtils.decode(...))
-			for pendingArgs, _ in pairs(bindableEventFiredArgs) do
+			for pendingArgs, _ in bindableEventFiredArgs do
 				if pendingArgs == args then
 					-- Remove from queue
 					bindableEventFiredArgs[pendingArgs] = nil

package/src/Shared/Members/Signals/TieSignalInterface.lua

@@ -17,7 +17,7 @@ local TieSignalInterface = setmetatable({}, TieMemberInterface)
 TieSignalInterface.ClassName = "TieSignalInterface"
 TieSignalInterface.__index = TieSignalInterface
 
-function TieSignalInterface.new(implParent, adornee, memberDefinition, interfaceTieRealm)
+function TieSignalInterface.new(implParent: Instance, adornee: Instance, memberDefinition, interfaceTieRealm)
 	assert(TieRealmUtils.isTieRealm(interfaceTieRealm), "Bad interfaceTieRealm")
 
 	local self = setmetatable(TieMemberInterface.new(implParent, adornee, memberDefinition, interfaceTieRealm), TieSignalInterface)
@@ -45,7 +45,7 @@ end
 	@param callback (T...) -> ()
 	@return TieSignalConnection
 ]=]
-function TieSignalInterface:Connect(callback)
+function TieSignalInterface:Connect(callback: (...any) -> ())
 	assert(type(callback) == "function", "Bad callback")
 
 	return TieSignalConnection.new(self, callback)

package/src/Shared/Members/TieMemberDefinition.lua

@@ -13,7 +13,7 @@ local TieMemberDefinition = {}
 TieMemberDefinition.ClassName = "TieMemberDefinition"
 TieMemberDefinition.__index = TieMemberDefinition
 
-function TieMemberDefinition.new(tieDefinition, memberName, memberTieRealm)
+function TieMemberDefinition.new(tieDefinition, memberName: string, memberTieRealm)
 	assert(TieRealmUtils.isTieRealm(memberTieRealm), "Bad memberTieRealm")
 
 	local self = setmetatable({}, TieMemberDefinition)
@@ -33,11 +33,11 @@ function TieMemberDefinition:GetInterface()
 	error("Not implemented")
 end
 
-function TieMemberDefinition:GetFriendlyName()
+function TieMemberDefinition:GetFriendlyName(): string
 	return string.format("%s.%s", self._tieDefinition:GetName(), self._memberName)
 end
 
-function TieMemberDefinition:IsRequiredForInterface(currentRealm)
+function TieMemberDefinition:IsRequiredForInterface(currentRealm): boolean
 	assert(TieRealmUtils.isTieRealm(currentRealm), "Bad currentRealm")
 
 	if self._memberTieRealm == TieRealms.SHARED then
@@ -50,7 +50,7 @@ function TieMemberDefinition:IsRequiredForInterface(currentRealm)
 	end
 end
 
-function TieMemberDefinition:IsAllowedOnInterface(currentRealm)
+function TieMemberDefinition:IsAllowedOnInterface(currentRealm): boolean
 	assert(TieRealmUtils.isTieRealm(currentRealm), "Bad currentRealm")
 
 	if self._memberTieRealm == TieRealms.SHARED then
@@ -63,7 +63,7 @@ function TieMemberDefinition:IsAllowedOnInterface(currentRealm)
 	end
 end
 
-function TieMemberDefinition:IsRequiredForImplementation(currentRealm)
+function TieMemberDefinition:IsRequiredForImplementation(currentRealm): boolean
 	assert(TieRealmUtils.isTieRealm(currentRealm), "Bad currentRealm")
 
 	if currentRealm == TieRealms.SHARED then
@@ -76,7 +76,7 @@ function TieMemberDefinition:IsRequiredForImplementation(currentRealm)
 	end
 end
 
-function TieMemberDefinition:IsAllowedForImplementation(currentRealm)
+function TieMemberDefinition:IsAllowedForImplementation(currentRealm): boolean
 	assert(TieRealmUtils.isTieRealm(currentRealm), "Bad currentRealm")
 
 	if self._memberTieRealm == TieRealms.SHARED then
@@ -97,7 +97,7 @@ function TieMemberDefinition:GetTieDefinition()
 	return self._tieDefinition
 end
 
-function TieMemberDefinition:GetMemberName()
+function TieMemberDefinition:GetMemberName(): string
 	return self._memberName
 end
 

package/src/Shared/Realms/TieRealmUtils.lua

@@ -17,7 +17,8 @@ local TieRealmUtils = {}
 	@param tieRealm any
 	@return boolean
 ]=]
-function TieRealmUtils.isTieRealm(tieRealm)
+function TieRealmUtils.isTieRealm(tieRealm: any): boolean
+	-- stylua: ignore
 	return tieRealm == TieRealms.CLIENT
 		or tieRealm == TieRealms.SERVER
 		or tieRealm == TieRealms.SHARED
@@ -28,7 +29,7 @@ end
 
 	@return TieRealm
 ]=]
-function TieRealmUtils.inferTieRealm()
+function TieRealmUtils.inferTieRealm(): "server" | "client"
 	if RunService:IsServer() then
 		return TieRealms.SERVER
 	elseif RunService:IsClient() then

package/src/Shared/Realms/TieRealms.lua

@@ -8,8 +8,16 @@ local require = require(script.Parent.loader).load(script)
 
 local Table = require("Table")
 
+export type TieRealm = "shared" | "client" | "server"
+
+export type TieRealms = {
+	SHARED: "shared",
+	CLIENT: "client",
+	SERVER: "server",
+}
+
 return Table.readonly({
-	SHARED = "shared";
-	CLIENT = "client";
-	SERVER = "server";
-})
+	SHARED = "shared",
+	CLIENT = "client",
+	SERVER = "server",
+} :: TieRealms)

package/src/Shared/Services/TieRealmService.lua

@@ -1,3 +1,4 @@
+--!strict
 --[=[
 	@class TieRealmService
 ]=]
@@ -5,11 +6,13 @@
 local require = require(script.Parent.loader).load(script)
 
 local TieRealmUtils = require("TieRealmUtils")
+local _ServiceBag = require("ServiceBag")
+local _TieRealms = require("TieRealms")
 
 local TieRealmService = {}
 TieRealmService.ServiceName = "TieRealmService"
 
-function TieRealmService:Init(serviceBag)
+function TieRealmService:Init(serviceBag: _ServiceBag.ServiceBag)
 	assert(not self._serviceBag, "Already initialized")
 	self._serviceBag = assert(serviceBag, "No serviceBag")
 
@@ -18,13 +21,13 @@ function TieRealmService:Init(serviceBag)
 	end
 end
 
-function TieRealmService:SetTieRealm(tieRealm)
+function TieRealmService:SetTieRealm(tieRealm: _TieRealms.TieRealm)
 	assert(TieRealmUtils.isTieRealm(tieRealm), "Bad tieRealm")
 
 	self._tieRealm = tieRealm
 end
 
-function TieRealmService:GetTieRealm()
+function TieRealmService:GetTieRealm(): _TieRealms.TieRealm
 	return self._tieRealm
 end
 

package/src/Shared/TieDefinition.lua

@@ -66,6 +66,8 @@ local ValueObject = require("ValueObject")
 
 local UNSET_VALUE = Symbol.named("unsetValue")
 
+export type TieRealm = TieRealms.TieRealm
+
 local TieDefinition = {}
 TieDefinition.ClassName = "TieDefinition"
 TieDefinition.__index = TieDefinition
@@ -85,7 +87,7 @@ TieDefinition.Realms = TieRealms
 	@param members any
 	@return TieDefinition
 ]=]
-function TieDefinition.new(definitionName, members)
+function TieDefinition.new(definitionName: string, members)
 	local self = setmetatable({}, TieDefinition)
 
 	self._definitionName = assert(definitionName, "No definitionName")
@@ -112,7 +114,7 @@ function TieDefinition.new(definitionName, members)
 end
 
 function TieDefinition:_addMembers(members, realm)
-	for memberName, memberTypeOrDefaultValue in pairs(members) do
+	for memberName, memberTypeOrDefaultValue in members do
 		if TieRealmUtils.isTieRealm(memberName) then
 			self:_addMembers(memberTypeOrDefaultValue, memberName)
 		elseif type(memberName) == "string" then
@@ -128,7 +130,7 @@ function TieDefinition:_addMembers(members, realm)
 	end
 end
 
-function TieDefinition:_addMember(memberName, memberTypeOrDefaultValue, realm)
+function TieDefinition:_addMember(memberName: string, memberTypeOrDefaultValue, realm: TieRealm)
 	if memberTypeOrDefaultValue == TieDefinition.Types.METHOD then
 		self._memberMap[memberName] = TieMethodDefinition.new(self, memberName, realm)
 	elseif memberTypeOrDefaultValue == TieDefinition.Types.SIGNAL then
@@ -146,7 +148,7 @@ end
 	@param tieRealm TieRealm?
 	@return { TieInterface }
 ]=]
-function TieDefinition:GetImplementations(adornee: Instance, tieRealm)
+function TieDefinition:GetImplementations(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -154,14 +156,14 @@ function TieDefinition:GetImplementations(adornee: Instance, tieRealm)
 
 	local implementations = {}
 
-	for _, item in pairs(self:GetImplementationParents(adornee, tieRealm)) do
+	for _, item in self:GetImplementationParents(adornee, tieRealm) do
 		table.insert(implementations, TieInterface.new(self, item, nil, tieRealm))
 	end
 
 	return implementations
 end
 
-function TieDefinition:GetNewImplClass(tieRealm)
+function TieDefinition:GetNewImplClass(tieRealm: TieRealm): string
 	assert(TieRealmUtils.isTieRealm(tieRealm), "Bad tieRealm")
 
 	if tieRealm == TieRealms.CLIENT then
@@ -184,7 +186,7 @@ local IMPL_SHARED_SET = table.freeze({
 	["Configuration"] = true,
 })
 
-function TieDefinition:GetImplClassSet(tieRealm)
+function TieDefinition:GetImplClassSet(tieRealm: TieRealm): { [string]: boolean }
 	if tieRealm == TieRealms.CLIENT then
 		-- Shared implements both...
 		return IMPL_CLIENT_SET
@@ -197,7 +199,7 @@ function TieDefinition:GetImplClassSet(tieRealm)
 	end
 end
 
-function TieDefinition:GetImplementationParents(adornee, tieRealm)
+function TieDefinition:GetImplementationParents(adornee: BasePart, tieRealm: TieRealm?): { Instance }
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -207,7 +209,7 @@ function TieDefinition:GetImplementationParents(adornee, tieRealm)
 
 	local implParents = {}
 
-	for _, implParent in pairs(adornee:GetChildren()) do
+	for _, implParent in adornee:GetChildren() do
 		if validContainerNameSet[implParent.Name] then
 			if self:IsImplementation(implParent) then
 				table.insert(implParents, implParent)
@@ -225,7 +227,7 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<Brio<TieInterface>>
 ]=]
-function TieDefinition:ObserveChildrenBrio(adornee: Instance, tieRealm)
+function TieDefinition:ObserveChildrenBrio(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -243,7 +245,7 @@ end
 	@param tieRealm TieRealm?
 	@return Promise<TieInterface>
 ]=]
-function TieDefinition:Promise(adornee: Instance, tieRealm)
+function TieDefinition:Promise(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -263,15 +265,15 @@ end
 	@param tieRealm TieRealm?
 	@return { TieInterface }
 ]=]
-function TieDefinition:GetChildren(adornee: Instance, tieRealm)
+function TieDefinition:GetChildren(adornee: Instance, tieRealm: TieRealm?)
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 
 	local implementations = {}
 
 	-- TODO: Make this faster
-	for _, item in pairs(adornee:GetChildren()) do
-		for _, option in pairs(self:GetImplementations(item, tieRealm)) do
+	for _, item in adornee:GetChildren() do
+		for _, option in self:GetImplementations(item, tieRealm) do
 			table.insert(implementations, option)
 		end
 	end
@@ -286,7 +288,7 @@ end
 	@param tieRealm TieRealm?
 	@return TieInterface | nil
 ]=]
-function TieDefinition:Find(adornee: Instance, tieRealm)
+function TieDefinition:Find(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -300,7 +302,7 @@ end
 	@param tieRealm TieRealm?
 	@return TieInterface | nil
 ]=]
-function TieDefinition:ObserveAllTaggedBrio(tagName, tieRealm)
+function TieDefinition:ObserveAllTaggedBrio(tagName: string, tieRealm: TieRealm?)
 	assert(type(tagName) == "string", "Bad tagName")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -317,14 +319,14 @@ end
 	@param tieRealm TieRealm?
 	@return TieInterface
 ]=]
-function TieDefinition:FindFirstImplementation(adornee: Instance, tieRealm)
+function TieDefinition:FindFirstImplementation(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
 	tieRealm = tieRealm or self._defaultTieRealm
 
 	local validContainerNameSet = self:GetValidContainerNameSet(tieRealm)
-	for _, item in pairs(adornee:GetChildren()) do
+	for _, item in adornee:GetChildren() do
 		if validContainerNameSet[item.Name] then
 			if self:IsImplementation(item, tieRealm) then
 				return TieInterface.new(self, item, nil, tieRealm)
@@ -341,7 +343,7 @@ end
 	@param tieRealm TieRealm?
 	@return boolean
 ]=]
-function TieDefinition:HasImplementation(adornee: Instance, tieRealm)
+function TieDefinition:HasImplementation(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -368,7 +370,7 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<boolean>>
 ]=]
-function TieDefinition:ObserveIsImplemented(adornee: Instance, tieRealm): boolean
+function TieDefinition:ObserveIsImplemented(adornee: Instance, tieRealm: TieRealm?): Observable.Observable<boolean>
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -377,8 +379,8 @@ function TieDefinition:ObserveIsImplemented(adornee: Instance, tieRealm): boolea
 			return result and true or false
 		end),
 		RxBrioUtils.emitOnDeath(false),
-		Rx.defaultsTo(false),
-		Rx.distinct(),
+		Rx.defaultsTo(false) :: any,
+		Rx.distinct() :: any,
 	})
 end
 
@@ -388,7 +390,10 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<boolean>>
 ]=]
-function TieDefinition:ObserveIsImplementation(implParent: Instance, tieRealm)
+function TieDefinition:ObserveIsImplementation(
+	implParent: Instance,
+	tieRealm: TieRealm?
+): Observable.Observable<boolean>
 	assert(typeof(implParent) == "Instance", "Bad implParent")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -411,7 +416,11 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<boolean>>
 ]=]
-function TieDefinition:ObserveIsImplementedOn(implParent: Instance, adornee: Instance, tieRealm)
+function TieDefinition:ObserveIsImplementedOn(
+	implParent: Instance,
+	adornee: Instance,
+	tieRealm: TieRealm?
+): Observable.Observable<boolean>
 	assert(typeof(implParent) == "Instance", "Bad implParent")
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
@@ -440,7 +449,7 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<Brio<TieImplementation<T>>>
 ]=]
-function TieDefinition:ObserveBrio(adornee: Instance, tieRealm)
+function TieDefinition:ObserveBrio(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -461,7 +470,7 @@ end
 	@param tieRealm TieRealm?
 	@return Observable<TieImplementation<T> | nil>>
 ]=]
-function TieDefinition:Observe(adornee: Instance, tieRealm)
+function TieDefinition:Observe(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -479,7 +488,7 @@ TieDefinition.ObserveLastImplementationBrio = TieDefinition.ObserveBrio
 	@param tieRealm TieRealm?
 	@return Observable<Brio<TieImplementation<T>>>
 ]=]
-function TieDefinition:ObserveImplementationsBrio(adornee: Instance, tieRealm)
+function TieDefinition:ObserveImplementationsBrio(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -492,7 +501,7 @@ function TieDefinition:ObserveImplementationsBrio(adornee: Instance, tieRealm)
 	})
 end
 
-function TieDefinition:ObserveValidContainerChildrenBrio(adornee, tieRealm)
+function TieDefinition:ObserveValidContainerChildrenBrio(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm), "Bad tieRealm")
 
@@ -505,7 +514,7 @@ function TieDefinition:ObserveValidContainerChildrenBrio(adornee, tieRealm)
 	end)
 end
 
-function TieDefinition:_observeImplementation(implParent, tieRealm)
+function TieDefinition:_observeImplementation(implParent: Instance, tieRealm: TieRealm?)
 	assert(TieRealmUtils.isTieRealm(tieRealm), "Bad tieRealm")
 
 	return Observable.new(function(sub)
@@ -544,7 +553,7 @@ function TieDefinition:_observeImplementation(implParent, tieRealm)
 			update()
 		end))
 
-		for memberName, member in pairs(self._memberMap) do
+		for memberName, member in self._memberMap do
 			if not member:IsAllowedOnInterface(tieRealm) then
 				continue
 			end
@@ -559,7 +568,7 @@ function TieDefinition:_observeImplementation(implParent, tieRealm)
 			update()
 		end))
 
-		for _, child in pairs(implParent:GetChildren()) do
+		for _, child in implParent:GetChildren() do
 			maid[child] = child:GetPropertyChangedSignal("Name"):Connect(update)
 		end
 
@@ -582,7 +591,7 @@ end
 	@param tieRealm TieRealm?
 	@return TieImplementation<T>
 ]=]
-function TieDefinition:Implement(adornee: Instance, implementer, tieRealm)
+function TieDefinition:Implement(adornee: Instance, implementer, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(type(implementer) == "table" or implementer == nil, "Bad implementer")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
@@ -606,7 +615,7 @@ end
 	@param tieRealm TieRealm?
 	@return TieInterface<T>
 ]=]
-function TieDefinition:Get(adornee: Instance, tieRealm)
+function TieDefinition:Get(adornee: Instance, tieRealm: TieRealm?)
 	assert(typeof(adornee) == "Instance", "Bad adornee")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -629,7 +638,7 @@ end
 	@param tieRealm TieRealm
 	@return { [string]: boolean }
 ]=]
-function TieDefinition:GetValidContainerNameSet(tieRealm)
+function TieDefinition:GetValidContainerNameSet(tieRealm: TieRealm?): { [string]: boolean }
 	-- TODO: Still generate unique datamodel key here?
 	if self._validContainerNameSetWeakCache[tieRealm] then
 		return self._validContainerNameSetWeakCache[tieRealm]
@@ -669,7 +678,7 @@ end
 	@param tieRealm TieRealm
 	@return string
 ]=]
-function TieDefinition:GetNewContainerName(tieRealm): string
+function TieDefinition:GetNewContainerName(tieRealm: TieRealm): string
 	assert(TieRealmUtils.isTieRealm(tieRealm), "Bad tieRealm")
 
 	-- TODO: Handle server/actor
@@ -697,7 +706,7 @@ end
 	@param tieRealm TieRealm? -- Optional tie realm
 	@return boolean
 ]=]
-function TieDefinition:IsImplementation(implParent, tieRealm)
+function TieDefinition:IsImplementation(implParent: Instance, tieRealm: TieRealm?): boolean
 	assert(typeof(implParent) == "Instance", "Bad implParent")
 	assert(TieRealmUtils.isTieRealm(tieRealm) or tieRealm == nil, "Bad tieRealm")
 
@@ -705,11 +714,11 @@ function TieDefinition:IsImplementation(implParent, tieRealm)
 
 	local attributes = implParent:GetAttributes()
 	local children = {}
-	for _, item in pairs(implParent:GetChildren()) do
+	for _, item in implParent:GetChildren() do
 		children[item.Name] = item
 	end
 
-	for memberName, member in pairs(self._memberMap) do
+	for memberName, member in self._memberMap do
 		if not member:IsRequiredForInterface(tieRealm) then
 			continue
 		end

package/src/Shared/TieImplementation.lua

@@ -25,7 +25,7 @@ TieImplementation.__index = TieImplementation
 	@param implementer table
 	@param implementationTieRealm TieRealm
 ]=]
-function TieImplementation.new(tieDefinition, adornee: Instance, implementer, implementationTieRealm)
+function TieImplementation.new(tieDefinition, adornee: Instance, implementer, implementationTieRealm: TieRealms.TieRealm)
 	assert(TieRealmUtils.isTieRealm(implementationTieRealm), "Bad implementationTieRealm")
 
 	local self = setmetatable(BaseObject.new(), TieImplementation)
@@ -115,7 +115,7 @@ function TieImplementation:__newindex(index, value)
 end
 
 function TieImplementation:_buildMemberImplementations(implementer)
-	for _, memberDefinition in pairs(self._memberMap) do
+	for _, memberDefinition in self._memberMap do
 		local memberName = memberDefinition:GetMemberName()
 		local found = nil
 

package/src/Shared/TieInterface.lua

@@ -14,7 +14,7 @@ local TieInterface = {}
 TieInterface.ClassName = "TieInterface"
 TieInterface.__index = TieInterface
 
-function TieInterface.new(definition, implParent, adornee, interfaceTieRealm)
+function TieInterface.new(definition, implParent: Instance?, adornee: Instance?, interfaceTieRealm)
 	local self = setmetatable({}, TieInterface)
 
 	assert(implParent or adornee, "ImplParent or adornee required")
@@ -33,7 +33,7 @@ end
 
 	@return boolean
 ]=]
-function TieInterface:IsImplemented()
+function TieInterface:IsImplemented(): boolean
 	local implParent = rawget(self, "_implParent")
 	local adornee = rawget(self, "_adornee")
 	local definition = rawget(self, "_definition")
@@ -59,9 +59,9 @@ end
 --[=[
 	Gets the adornee the tie interface is on if it can be found.
 
-	@return Instance | nil
+	@return Instance?
 ]=]
-function TieInterface:GetTieAdornee()
+function TieInterface:GetTieAdornee(): Instance?
 	local adornee = rawget(self, "_adornee")
 	if adornee then
 		return adornee

package/src/Shared/Utils/TieUtils.lua

@@ -51,7 +51,7 @@ end
 	@param ... any
 	@return any
 ]=]
-function TieUtils.invokeEncodedBindableFunction(bindableFunction, ...)
+function TieUtils.invokeEncodedBindableFunction(bindableFunction: BindableFunction, ...)
 	assert(typeof(bindableFunction) == "Instance" and bindableFunction:IsA("BindableFunction"), "Bad bindableFunction")
 
 	return TieUtils.decode(bindableFunction:Invoke(TieUtils.encode(...)))

package/test/scripts/Server/ServerMain.server.lua

@@ -115,7 +115,7 @@ do
 	end
 end
 
-for _, action in pairs(ActionInterface:GetImplementations(adornee)) do
+for _, action in ActionInterface:GetImplementations(adornee) do
 	-- action.Activated:Connect(function()
 	-- 	print("Action activation!")
 	-- end)