From b536f7fc4a73e2d9afec1785b1c6c8d103994e80 Mon Sep 17 00:00:00 2001 From: orion kindel Date: Mon, 23 Feb 2026 14:20:35 -0600 Subject: [PATCH] files --- src/Mujoco.purs | 1 - src/{Mujoco.MJCF.purs => Mujoco/MJCF.purs} | 0 src/{Mujoco.MJCF.Actuator.purs => Mujoco/MJCF/Actuator.purs} | 0 src/{Mujoco.MJCF.Asset.purs => Mujoco/MJCF/Asset.purs} | 0 src/{Mujoco.MJCF.Body.purs => Mujoco/MJCF/Body.purs} | 0 src/{Mujoco.MJCF.Common.purs => Mujoco/MJCF/Common.purs} | 0 src/{Mujoco.MJCF.Contact.purs => Mujoco/MJCF/Contact.purs} | 0 src/{Mujoco.MJCF.Custom.purs => Mujoco/MJCF/Custom.purs} | 0 src/{Mujoco.MJCF.Default.purs => Mujoco/MJCF/Default.purs} | 0 .../MJCF/Deformable.Flex.purs} | 0 .../MJCF/Deformable.Skin.purs} | 0 .../MJCF/Deformable.purs} | 0 src/{Mujoco.MJCF.Equality.purs => Mujoco/MJCF/Equality.purs} | 0 src/{Mujoco.MJCF.Extension.purs => Mujoco/MJCF/Extension.purs} | 0 src/{Mujoco.MJCF.Geom.purs => Mujoco/MJCF/Geom.purs} | 0 src/{Mujoco.MJCF.Keyframe.purs => Mujoco/MJCF/Keyframe.purs} | 0 src/{Mujoco.MJCF.Keyword.purs => Mujoco/MJCF/Keyword.purs} | 0 src/{Mujoco.MJCF.Meta.purs => Mujoco/MJCF/Meta.purs} | 0 src/{Mujoco.MJCF.Prelude.purs => Mujoco/MJCF/Prelude.purs} | 0 src/{Mujoco.MJCF.Sensor.purs => Mujoco/MJCF/Sensor.purs} | 0 src/{Mujoco.MJCF.Tendon.purs => Mujoco/MJCF/Tendon.purs} | 0 src/{Mujoco.MJCF.Visual.purs => Mujoco/MJCF/Visual.purs} | 0 src/{Mujoco.MJCF.XML.Prop.purs => Mujoco/MJCF/XML.Prop.purs} | 2 -- src/{Mujoco.XML.Node.js => Mujoco/MJCF/XML.js} | 0 src/{Mujoco.MJCF.XML.purs => Mujoco/MJCF/XML.purs} | 0 25 files changed, 3 deletions(-) delete mode 100644 src/Mujoco.purs rename src/{Mujoco.MJCF.purs => Mujoco/MJCF.purs} (100%) rename src/{Mujoco.MJCF.Actuator.purs => Mujoco/MJCF/Actuator.purs} (100%) rename src/{Mujoco.MJCF.Asset.purs => Mujoco/MJCF/Asset.purs} (100%) rename src/{Mujoco.MJCF.Body.purs => Mujoco/MJCF/Body.purs} (100%) rename src/{Mujoco.MJCF.Common.purs => Mujoco/MJCF/Common.purs} (100%) rename src/{Mujoco.MJCF.Contact.purs => Mujoco/MJCF/Contact.purs} (100%) rename src/{Mujoco.MJCF.Custom.purs => Mujoco/MJCF/Custom.purs} (100%) rename src/{Mujoco.MJCF.Default.purs => Mujoco/MJCF/Default.purs} (100%) rename src/{Mujoco.MJCF.Deformable.Flex.purs => Mujoco/MJCF/Deformable.Flex.purs} (100%) rename src/{Mujoco.MJCF.Deformable.Skin.purs => Mujoco/MJCF/Deformable.Skin.purs} (100%) rename src/{Mujoco.MJCF.Deformable.purs => Mujoco/MJCF/Deformable.purs} (100%) rename src/{Mujoco.MJCF.Equality.purs => Mujoco/MJCF/Equality.purs} (100%) rename src/{Mujoco.MJCF.Extension.purs => Mujoco/MJCF/Extension.purs} (100%) rename src/{Mujoco.MJCF.Geom.purs => Mujoco/MJCF/Geom.purs} (100%) rename src/{Mujoco.MJCF.Keyframe.purs => Mujoco/MJCF/Keyframe.purs} (100%) rename src/{Mujoco.MJCF.Keyword.purs => Mujoco/MJCF/Keyword.purs} (100%) rename src/{Mujoco.MJCF.Meta.purs => Mujoco/MJCF/Meta.purs} (100%) rename src/{Mujoco.MJCF.Prelude.purs => Mujoco/MJCF/Prelude.purs} (100%) rename src/{Mujoco.MJCF.Sensor.purs => Mujoco/MJCF/Sensor.purs} (100%) rename src/{Mujoco.MJCF.Tendon.purs => Mujoco/MJCF/Tendon.purs} (100%) rename src/{Mujoco.MJCF.Visual.purs => Mujoco/MJCF/Visual.purs} (100%) rename src/{Mujoco.MJCF.XML.Prop.purs => Mujoco/MJCF/XML.Prop.purs} (99%) rename src/{Mujoco.XML.Node.js => Mujoco/MJCF/XML.js} (100%) rename src/{Mujoco.MJCF.XML.purs => Mujoco/MJCF/XML.purs} (100%) diff --git a/src/Mujoco.purs b/src/Mujoco.purs deleted file mode 100644 index 82c990f..0000000 --- a/src/Mujoco.purs +++ /dev/null @@ -1 +0,0 @@ -module Mujoco where diff --git a/src/Mujoco.MJCF.purs b/src/Mujoco/MJCF.purs similarity index 100% rename from src/Mujoco.MJCF.purs rename to src/Mujoco/MJCF.purs diff --git a/src/Mujoco.MJCF.Actuator.purs b/src/Mujoco/MJCF/Actuator.purs similarity index 100% rename from src/Mujoco.MJCF.Actuator.purs rename to src/Mujoco/MJCF/Actuator.purs diff --git a/src/Mujoco.MJCF.Asset.purs b/src/Mujoco/MJCF/Asset.purs similarity index 100% rename from src/Mujoco.MJCF.Asset.purs rename to src/Mujoco/MJCF/Asset.purs diff --git a/src/Mujoco.MJCF.Body.purs b/src/Mujoco/MJCF/Body.purs similarity index 100% rename from src/Mujoco.MJCF.Body.purs rename to src/Mujoco/MJCF/Body.purs diff --git a/src/Mujoco.MJCF.Common.purs b/src/Mujoco/MJCF/Common.purs similarity index 100% rename from src/Mujoco.MJCF.Common.purs rename to src/Mujoco/MJCF/Common.purs diff --git a/src/Mujoco.MJCF.Contact.purs b/src/Mujoco/MJCF/Contact.purs similarity index 100% rename from src/Mujoco.MJCF.Contact.purs rename to src/Mujoco/MJCF/Contact.purs diff --git a/src/Mujoco.MJCF.Custom.purs b/src/Mujoco/MJCF/Custom.purs similarity index 100% rename from src/Mujoco.MJCF.Custom.purs rename to src/Mujoco/MJCF/Custom.purs diff --git a/src/Mujoco.MJCF.Default.purs b/src/Mujoco/MJCF/Default.purs similarity index 100% rename from src/Mujoco.MJCF.Default.purs rename to src/Mujoco/MJCF/Default.purs diff --git a/src/Mujoco.MJCF.Deformable.Flex.purs b/src/Mujoco/MJCF/Deformable.Flex.purs similarity index 100% rename from src/Mujoco.MJCF.Deformable.Flex.purs rename to src/Mujoco/MJCF/Deformable.Flex.purs diff --git a/src/Mujoco.MJCF.Deformable.Skin.purs b/src/Mujoco/MJCF/Deformable.Skin.purs similarity index 100% rename from src/Mujoco.MJCF.Deformable.Skin.purs rename to src/Mujoco/MJCF/Deformable.Skin.purs diff --git a/src/Mujoco.MJCF.Deformable.purs b/src/Mujoco/MJCF/Deformable.purs similarity index 100% rename from src/Mujoco.MJCF.Deformable.purs rename to src/Mujoco/MJCF/Deformable.purs diff --git a/src/Mujoco.MJCF.Equality.purs b/src/Mujoco/MJCF/Equality.purs similarity index 100% rename from src/Mujoco.MJCF.Equality.purs rename to src/Mujoco/MJCF/Equality.purs diff --git a/src/Mujoco.MJCF.Extension.purs b/src/Mujoco/MJCF/Extension.purs similarity index 100% rename from src/Mujoco.MJCF.Extension.purs rename to src/Mujoco/MJCF/Extension.purs diff --git a/src/Mujoco.MJCF.Geom.purs b/src/Mujoco/MJCF/Geom.purs similarity index 100% rename from src/Mujoco.MJCF.Geom.purs rename to src/Mujoco/MJCF/Geom.purs diff --git a/src/Mujoco.MJCF.Keyframe.purs b/src/Mujoco/MJCF/Keyframe.purs similarity index 100% rename from src/Mujoco.MJCF.Keyframe.purs rename to src/Mujoco/MJCF/Keyframe.purs diff --git a/src/Mujoco.MJCF.Keyword.purs b/src/Mujoco/MJCF/Keyword.purs similarity index 100% rename from src/Mujoco.MJCF.Keyword.purs rename to src/Mujoco/MJCF/Keyword.purs diff --git a/src/Mujoco.MJCF.Meta.purs b/src/Mujoco/MJCF/Meta.purs similarity index 100% rename from src/Mujoco.MJCF.Meta.purs rename to src/Mujoco/MJCF/Meta.purs diff --git a/src/Mujoco.MJCF.Prelude.purs b/src/Mujoco/MJCF/Prelude.purs similarity index 100% rename from src/Mujoco.MJCF.Prelude.purs rename to src/Mujoco/MJCF/Prelude.purs diff --git a/src/Mujoco.MJCF.Sensor.purs b/src/Mujoco/MJCF/Sensor.purs similarity index 100% rename from src/Mujoco.MJCF.Sensor.purs rename to src/Mujoco/MJCF/Sensor.purs diff --git a/src/Mujoco.MJCF.Tendon.purs b/src/Mujoco/MJCF/Tendon.purs similarity index 100% rename from src/Mujoco.MJCF.Tendon.purs rename to src/Mujoco/MJCF/Tendon.purs diff --git a/src/Mujoco.MJCF.Visual.purs b/src/Mujoco/MJCF/Visual.purs similarity index 100% rename from src/Mujoco.MJCF.Visual.purs rename to src/Mujoco/MJCF/Visual.purs diff --git a/src/Mujoco.MJCF.XML.Prop.purs b/src/Mujoco/MJCF/XML.Prop.purs similarity index 99% rename from src/Mujoco.MJCF.XML.Prop.purs rename to src/Mujoco/MJCF/XML.Prop.purs index 471fd9b..a0a2ae8 100644 --- a/src/Mujoco.MJCF.XML.Prop.purs +++ b/src/Mujoco/MJCF/XML.Prop.purs @@ -70,9 +70,7 @@ patchUnsafe :: forall (@k :: Symbol) a b @r @lacksK. IsSymbol k => Cons k a lack patchUnsafe f r = let k' = reflectSymbol $ Proxy @k - k = fromMaybe k' $ Map.lookup k' renames - btoa = unsafeCoerce :: b -> a in if Record.unsafeHas k' r then diff --git a/src/Mujoco.XML.Node.js b/src/Mujoco/MJCF/XML.js similarity index 100% rename from src/Mujoco.XML.Node.js rename to src/Mujoco/MJCF/XML.js diff --git a/src/Mujoco.MJCF.XML.purs b/src/Mujoco/MJCF/XML.purs similarity index 100% rename from src/Mujoco.MJCF.XML.purs rename to src/Mujoco/MJCF/XML.purs