cluaupp 0.2.3 → 1.3.0

package/examples/game/libs/Fusion/Instances/applyInstanceProps.luau

@@ -0,0 +1,149 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Applies a table of properties to an instance, including binding to any
+	given state objects and applying any special keys.
+
+	No strong reference is kept by default - special keys should take care not
+	to accidentally hold strong references to instances forever.
+
+	If a key is used twice, an error will be thrown. This is done to avoid
+	double assignments or double bindings. However, some special keys may want
+	to enable such assignments - in which case unique keys should be used for
+	each occurrence.
+]]
+
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+local External = require(Package.External)
+-- Logging
+local parseError = require(Package.Logging.parseError)
+-- Memory
+local checkLifetime = require(Package.Memory.checkLifetime)
+-- Graph
+local Observer = require(Package.Graph.Observer)
+-- State
+local castToState = require(Package.State.castToState)
+local peek = require(Package.State.peek)
+-- Utility
+local xtypeof = require(Package.Utility.xtypeof)
+
+local function setProperty_unsafe(
+	instance: Instance,
+	property: string,
+	value: unknown
+)
+	(instance :: any)[property] = value
+end
+
+local function testPropertyAssignable(
+	instance: Instance,
+	property: string
+)
+	(instance :: any)[property] = (instance :: any)[property]
+end
+
+local function setProperty(
+	instance: Instance,
+	property: string,
+	value: unknown
+)
+	local success, err = xpcall(setProperty_unsafe :: any, parseError, instance, property, value)
+
+	if not success then
+		if not pcall(testPropertyAssignable, instance, property) then
+			External.logErrorNonFatal("cannotAssignProperty", nil, instance.ClassName, property)
+		else
+			-- property is assignable, but this specific assignment failed
+			-- this typically implies the wrong type was received
+			local givenType = typeof(value)
+			local expectedType = typeof((instance :: any)[property])
+
+			if givenType == expectedType then
+				External.logErrorNonFatal("propertySetError", err)
+			else
+				External.logErrorNonFatal("invalidPropertyType", nil, instance.ClassName, property, expectedType, givenType)
+			end
+		end
+	end
+end
+
+local function bindProperty(
+	scope: Types.Scope<unknown>,
+	instance: Instance,
+	property: string,
+	value: Types.UsedAs<unknown>
+)
+	if castToState(value) then
+		local value = value :: Types.StateObject<unknown>
+		checkLifetime.bOutlivesA(
+			scope, instance,
+			value.scope, value.oldestTask,
+			checkLifetime.formatters.boundProperty, property
+		)
+		-- value is a state object - bind to changes
+		Observer(scope, value :: any):onBind(function()
+			setProperty(instance, property, peek(value))
+		end)
+	else
+		-- value is a constant - assign once only
+		setProperty(instance, property, value)
+	end
+end
+
+local function applyInstanceProps(
+	scope: Types.Scope<unknown>,
+	props: Types.PropertyTable,
+	applyTo: Instance
+)
+	local specialKeys = {
+		self = {} :: {[Types.SpecialKey]: unknown},
+		descendants = {} :: {[Types.SpecialKey]: unknown},
+		ancestor = {} :: {[Types.SpecialKey]: unknown},
+		observer = {} :: {[Types.SpecialKey]: unknown}
+	}
+
+	for key, value in pairs(props) do
+		local keyType = xtypeof(key)
+
+		if keyType == "string" then
+			if key ~= "Parent" then
+				bindProperty(scope, applyTo, key :: string, value)
+			end
+		elseif keyType == "SpecialKey" then
+			local stage = (key :: Types.SpecialKey).stage
+			local keys = specialKeys[stage]
+			if keys == nil then
+				External.logError("unrecognisedPropertyStage", nil, stage)
+			else
+				keys[key] = value
+			end
+		else
+			-- we don't recognise what this key is supposed to be
+			External.logError("unrecognisedPropertyKey", nil, keyType)
+		end
+	end
+
+	for key, value in pairs(specialKeys.self) do
+		key:apply(scope, value, applyTo)
+	end
+	for key, value in pairs(specialKeys.descendants) do
+		key:apply(scope, value, applyTo)
+	end
+
+	if props.Parent ~= nil then
+		bindProperty(scope, applyTo, "Parent", props.Parent)
+	end
+
+	for key, value in pairs(specialKeys.ancestor) do
+		key:apply(scope, value, applyTo)
+	end
+	for key, value in pairs(specialKeys.observer) do
+		key:apply(scope, value, applyTo)
+	end
+end
+
+return applyInstanceProps

package/examples/game/libs/Fusion/Instances/defaultProps.luau

@@ -0,0 +1,194 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Stores 'sensible default' properties to be applied to instances created by
+	the New function.
+]]
+
+return {
+	ScreenGui = {
+		ResetOnSpawn = false,
+		ZIndexBehavior = Enum.ZIndexBehavior.Sibling
+	},
+
+	BillboardGui = {
+		ResetOnSpawn = false,
+		ZIndexBehavior = Enum.ZIndexBehavior.Sibling,
+		Active = true
+	},
+
+	SurfaceGui = {
+		ResetOnSpawn = false,
+		ZIndexBehavior = Enum.ZIndexBehavior.Sibling,
+
+		SizingMode = Enum.SurfaceGuiSizingMode.PixelsPerStud,
+		PixelsPerStud = 50
+	},
+
+	Frame = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0
+	},
+
+	ScrollingFrame = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0,
+
+		ScrollBarImageColor3 = Color3.new(0, 0, 0)
+	},
+
+	TextLabel = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0,
+
+		Font = Enum.Font.SourceSans,
+		Text = "",
+		TextColor3 = Color3.new(0, 0, 0),
+		TextSize = 14
+	},
+
+	TextButton = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0,
+
+		AutoButtonColor = false,
+
+		Font = Enum.Font.SourceSans,
+		Text = "",
+		TextColor3 = Color3.new(0, 0, 0),
+		TextSize = 14
+	},
+
+	TextBox = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0,
+
+		ClearTextOnFocus = false,
+
+		Font = Enum.Font.SourceSans,
+		Text = "",
+		TextColor3 = Color3.new(0, 0, 0),
+		TextSize = 14
+	},
+
+	ImageLabel = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0
+	},
+
+	ImageButton = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0,
+
+		AutoButtonColor = false
+	},
+
+	ViewportFrame = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0
+	},
+
+	VideoFrame = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0
+	},
+	
+	CanvasGroup = {
+		BackgroundColor3 = Color3.new(1, 1, 1),
+		BorderColor3 = Color3.new(0, 0, 0),
+		BorderSizePixel = 0
+	},
+
+	SpawnLocation = {
+		Duration = 0
+	},
+
+	BoxHandleAdornment = {
+		ZIndex = 0
+	},
+	ConeHandleAdornment = {
+		ZIndex = 0
+	},
+	CylinderHandleAdornment = {
+		ZIndex = 0
+	},
+	ImageHandleAdornment = {
+		ZIndex = 0
+	},
+	LineHandleAdornment = {
+		ZIndex = 0
+	},
+	SphereHandleAdornment = {
+		ZIndex = 0
+	},
+	WireframeHandleAdornment = {
+		ZIndex = 0
+	},
+	
+	Part = {
+		Anchored = true,
+		Size = Vector3.one,
+		FrontSurface = Enum.SurfaceType.Smooth,
+		BackSurface = Enum.SurfaceType.Smooth,
+		LeftSurface = Enum.SurfaceType.Smooth,
+		RightSurface = Enum.SurfaceType.Smooth,
+		TopSurface = Enum.SurfaceType.Smooth,
+		BottomSurface = Enum.SurfaceType.Smooth,
+	},
+	
+	TrussPart = {
+		Anchored = true,
+		Size = Vector3.one * 2,
+		FrontSurface = Enum.SurfaceType.Smooth,
+		BackSurface = Enum.SurfaceType.Smooth,
+		LeftSurface = Enum.SurfaceType.Smooth,
+		RightSurface = Enum.SurfaceType.Smooth,
+		TopSurface = Enum.SurfaceType.Smooth,
+		BottomSurface = Enum.SurfaceType.Smooth,
+	},
+
+	MeshPart = {
+		Anchored = true,
+		Size = Vector3.one,
+		FrontSurface = Enum.SurfaceType.Smooth,
+		BackSurface = Enum.SurfaceType.Smooth,
+		LeftSurface = Enum.SurfaceType.Smooth,
+		RightSurface = Enum.SurfaceType.Smooth,
+		TopSurface = Enum.SurfaceType.Smooth,
+		BottomSurface = Enum.SurfaceType.Smooth,
+	},
+
+	CornerWedgePart = {
+		Anchored = true,
+		Size = Vector3.one,
+		FrontSurface = Enum.SurfaceType.Smooth,
+		BackSurface = Enum.SurfaceType.Smooth,
+		LeftSurface = Enum.SurfaceType.Smooth,
+		RightSurface = Enum.SurfaceType.Smooth,
+		TopSurface = Enum.SurfaceType.Smooth,
+		BottomSurface = Enum.SurfaceType.Smooth,
+	},
+
+	VehicleSeat = {
+		Anchored = true,
+		Size = Vector3.one,
+		FrontSurface = Enum.SurfaceType.Smooth,
+		BackSurface = Enum.SurfaceType.Smooth,
+		LeftSurface = Enum.SurfaceType.Smooth,
+		RightSurface = Enum.SurfaceType.Smooth,
+		TopSurface = Enum.SurfaceType.Smooth,
+		BottomSurface = Enum.SurfaceType.Smooth,
+	},
+}

package/examples/game/libs/Fusion/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 Daniel P H Fox
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/examples/game/libs/Fusion/Logging/formatError.luau

@@ -0,0 +1,49 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Formats a Fusion-specific error message.
+]]
+
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+local messages = require(Package.Logging.messages)
+
+local ERROR_INFO_URL = "https://elttob.uk/Fusion/0.3/api-reference/general/errors/#"
+
+local function formatError(
+	externalProvider: Types.ExternalProvider?,
+	messageID: string,
+	errorOrTrace: Types.Error | string | nil,
+	...: unknown
+): string
+	local originalMessageID = messageID
+	local error: Types.Error? = if typeof(errorOrTrace) == "table" then errorOrTrace else nil
+	local trace: string? = if typeof(errorOrTrace) == "table" then errorOrTrace.trace else errorOrTrace
+	local messageText = messages[messageID]
+	if messageText == nil then
+		messageID = "unknownMessage"
+		messageText = messages[messageID]
+	end
+	messageText = messageText:format(...)
+	if error ~= nil then
+		messageText = messageText:gsub("ERROR_MESSAGE", error.message)
+		if error.context ~= nil then
+			messageText ..= ` ({error.context})`
+		end
+	else
+		messageText = messageText:gsub("ERROR_MESSAGE", originalMessageID)
+	end
+	messageText = `[Fusion] {messageText} \nID: {messageID}`
+	if externalProvider ~= nil and externalProvider.policies.allowWebLinks then
+		messageText ..= `\nLearn more: {ERROR_INFO_URL}{messageID:lower()}`
+	end
+	if trace ~= nil then
+		messageText ..= ` \n---- Stack trace ----\n{trace}`
+	end
+	return messageText:gsub("\n", "\n    ")
+end
+
+return formatError

package/examples/game/libs/Fusion/Logging/messages.luau

@@ -0,0 +1,46 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Stores templates for different kinds of logging messages.
+]]
+
+return {
+	callbackError = "Error in callback:\nERROR_MESSAGE",
+	cannotAssignProperty = "The class type '%s' has no assignable property '%s'.",
+	cannotConnectChange = "The %s class doesn't have a property called '%s'.",
+	cannotConnectEvent = "The %s class doesn't have an event called '%s'.",
+	cannotCreateClass = "Can't create a new instance of class '%s'.",
+	cannotDepend = "%s can't depend on %s.",
+	destroyedTwice = "`doCleanup()` was given something that it is already cleaning up. Unclear how to proceed.",
+	forKeyCollision = "The key '%s' was returned multiple times simultaneously, which is not allowed in `For` objects.",
+	infiniteLoop = "Detected an infinite loop. Consider adding an explicit breakpoint to your code to prevent a cyclic dependency.",
+	invalidAttributeChangeHandler = "The change handler for the '%s' attribute must be a function.",
+	invalidAttributeOutType = "[AttributeOut] properties must be given Value objects.",
+	invalidChangeHandler = "The change handler for the '%s' property must be a function.",
+	invalidEventHandler = "The handler for the '%s' event must be a function.",
+	invalidOutProperty = "The %s class doesn't have a property called '%s'.",
+	invalidOutType = "[Out] properties must be given Value objects.",
+	invalidPropertyType = "'%s.%s' expected a '%s' type, but got a '%s' type.",
+	invalidSpringDamping = "The damping ratio for a spring must be >= 0. (damping was %.2f)",
+	invalidSpringSpeed = "The speed of a spring must be >= 0. (speed was %.2f)",
+	mergeConflict = "Multiple definitions for '%s' found while merging.",
+	mistypedSpringDamping = "The damping ratio for a spring must be a number. (got a %s)",
+	mistypedSpringSpeed = "The speed of a spring must be a number. (got a %s)",
+	mistypedTweenInfo = "The tween info of a tween must be a TweenInfo. (got a %s)",
+	noTaskScheduler = "Fusion is not connected to an external task scheduler.",
+	poisonedScope = "Attempted to use a scope after it's been destroyed; %s",
+	propertySetError = "Error setting property:\nERROR_MESSAGE",
+	springNanGoal = "A spring was given a NaN goal, so some simulation has been skipped. Ensure no springs have NaN goals.",
+	springNanMotion = "A spring encountered NaN during motion, so has snapped to the goal position. Ensure no springs have NaN positions or velocities.",
+	springTypeMismatch = "The type '%s' doesn't match the spring's type '%s'.",
+	tweenNanGoal = "A tween was given a NaN goal, so some animation has been skipped. Ensure no tweens have NaN goals.",
+	tweenNanMotion = "A tween encountered NaN during motion, so has snapped to the goal. Ensure no tweens have NaN in their tween infos.",
+	unknownMessage = "Unknown error:\nERROR_MESSAGE",
+	unrecognisedChildType = "'%s' type children aren't accepted by `[Children]`.",
+	unrecognisedPropertyKey = "'%s' keys aren't accepted in property tables.",
+	unrecognisedPropertyStage = "'%s' isn't a valid stage for a special key to be applied at.",
+	useAfterDestroy = "%s is no longer valid - it was destroyed before %s. See discussion #292 on GitHub for advice."
+}

package/examples/game/libs/Fusion/Logging/parseError.luau

@@ -0,0 +1,25 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	An xpcall() error handler to collect and parse useful information about
+	errors, such as clean messages and stack traces.
+]]
+
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+
+local function parseError(
+	err: string
+): Types.Error
+	return {
+		type = "Error",
+		raw = err,
+		message = err:gsub("^.+:%d+:%s*", ""),
+		trace = debug.traceback(nil, 2)
+	}
+end
+
+return parseError

package/examples/game/libs/Fusion/Memory/checkLifetime.luau

@@ -0,0 +1,134 @@
+
+
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Procedures for checking lifetimes and printing helpful warnings about them.
+]]
+
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+local External = require(Package.External)
+local nameOf = require(Package.Utility.nameOf)
+
+local checkLifetime = {}
+
+checkLifetime.formatters = {}
+
+function checkLifetime.formatters.useFunction(
+	self: unknown,
+	used: unknown
+): (string, string)
+	local selfName = nameOf(self, "object")
+	local usedName = nameOf(used, "object")
+	return `The use()-d {usedName}`, `the {selfName}`
+end
+	
+function checkLifetime.formatters.boundProperty(
+	instance: Instance,
+	bound: unknown,
+	property: string
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "value")
+	return `The {boundName} (bound to the {property} property)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.boundAttribute(
+	instance: Instance,
+	bound: unknown,
+	attribute: string
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "value")
+	return `The {boundName} (bound to the {attribute} attribute)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.boundTag(
+	instance: Instance,
+	bound: unknown,
+	tag: string
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "value")
+	return `The {boundName} (bound to the {tag} CollectionService tag)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.propertyOutputsTo(
+	instance: Instance,
+	bound: unknown,
+	property: string
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "object")
+	return `The {boundName} (which the {property} property outputs to)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.attributeOutputsTo(
+	instance: Instance,
+	bound: unknown,
+	attribute: string
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "object")
+	return `The {boundName} (which the {attribute} attribute outputs to)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.refOutputsTo(
+	instance: Instance,
+	bound: unknown
+): (string, string)
+	local selfName = instance.Name
+	local boundName = nameOf(bound, "object")
+	return `The {boundName} (which the Ref key outputs to)`, `the {selfName} instance`
+end
+
+function checkLifetime.formatters.animationGoal(
+	self: unknown,
+	goal: unknown
+): (string, string)
+	local selfName = nameOf(self, "object")
+	local goalName = nameOf(goal, "object")
+	return `The goal {goalName}`, `the {selfName} that is following it`
+end
+
+function checkLifetime.formatters.parameter(
+	self: unknown,
+	used: unknown,
+	parameterName: string | false
+): (string, string)
+	local selfName = nameOf(self, "object")
+	local usedName = nameOf(used, "object")
+	if parameterName == false then
+		return `The {usedName} parameter`, `the {selfName} that it was used for`
+	else
+		return `The {usedName} representing the {parameterName} parameter`, `the {selfName} that it was used for`
+	end
+end
+
+function checkLifetime.formatters.observer(
+	self: unknown,
+	watched: unknown
+): (string, string)
+	local selfName = nameOf(self, "object")
+	local watchedName = nameOf(watched, "object")
+	return `The watched {watchedName}`, `the {selfName} that's observing it for changes`
+end
+
+function checkLifetime.bOutlivesA<A, B, Args...>(
+	scopeA: Types.Scope<unknown>,
+	a: A,
+	scopeB: Types.Scope<unknown>?,
+	b: B,
+	formatter: (a: A, b: B, Args...) -> (string, string),
+	...: Args...
+)
+	if scopeB == nil then
+		External.logError("useAfterDestroy", nil, formatter(a, b, ...))
+	end
+end
+
+return checkLifetime

package/examples/game/libs/Fusion/Memory/deriveScope.luau

@@ -0,0 +1,24 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Creates an empty scope with the same metatables as the original scope. Used
+	for preserving access to constructors when creating inner scopes.
+
+	This is the public version of the function, which implements external
+	debugging hooks.
+]]
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+local ExternalDebug = require(Package.ExternalDebug)
+local deriveScopeImpl = require(Package.Memory.deriveScopeImpl)
+
+local function deriveScope(...)
+	local scope = deriveScopeImpl(...)
+	ExternalDebug.trackScope(scope)
+	return scope
+end
+
+return deriveScope :: Types.DeriveScopeConstructor

package/examples/game/libs/Fusion/Memory/deriveScopeImpl.luau

@@ -0,0 +1,40 @@
+--!strict
+--!nolint LocalUnused
+--!nolint LocalShadow
+local task = nil -- Disable usage of Roblox's task scheduler
+
+--[[
+	Creates an empty scope with the same metatables as the original scope. Used
+	for preserving access to constructors when creating inner scopes.
+
+	This is the internal version of the function, which does not implement
+	external debugging hooks.
+]]
+local Package = script.Parent.Parent
+local Types = require(Package.Types)
+local merge = require(Package.Utility.merge)
+
+-- This return type is technically a lie, but it's required for useful type
+-- checking behaviour.
+local function deriveScopeImpl<T>(
+	existing: Types.Scope<T>,
+	methods: {[unknown]: unknown}?,
+	...: {[unknown]: unknown}
+): any
+	local metatable = getmetatable(existing)
+	if methods ~= nil then
+		metatable = table.clone(metatable)
+		metatable.__index = merge(
+			true, {}, 
+			metatable.__index, 
+			merge(
+				false, {},
+				methods, 
+				...
+			)
+		)
+	end
+	return setmetatable({}, metatable)
+end
+
+return (deriveScopeImpl :: any) :: Types.DeriveScopeConstructor