orion/purescript-mujoco-mjcf
1
0
Fork 0
generated from tpl/purs
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

dont use exponential format

Browse Source
This commit is contained in:
orion kindel
2026-02-25 12:29:08 -06:00
parent f8a18fe3fc
commit 96e85ca24d
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/Mujoco/MJCF/XML.Prop.purs
View File

@@ -8,7 +8,8 @@ import Data.Int as Int
import Data.Map (Map) import Data.Map (Map)
import Data.Map as Map import Data.Map as Map
import Data.Maybe (fromMaybe) import Data.Maybe (fromMaybe)
import Data.Number.Format (toString) as Number import Data.Number.Format (precision)
import Data.Number.Format (toString, toStringWith) as Number
import Data.Symbol (class IsSymbol, reflectSymbol) import Data.Symbol (class IsSymbol, reflectSymbol)
import Data.Tuple (Tuple) import Data.Tuple (Tuple)
import Data.Tuple.Nested ((/\)) import Data.Tuple.Nested ((/\))
@@ -30,7 +31,7 @@ instance Serialize String where
else instance Serialize Int where else instance Serialize Int where
serialize = Int.toStringAs Int.decimal serialize = Int.toStringAs Int.decimal
else instance Serialize Number where else instance Serialize Number where
serialize = Number.toString serialize = Number.toStringWith (precision 5)
else instance Serialize Boolean where else instance Serialize Boolean where
serialize = show serialize = show
else instance (Serialize a, Serialize b) => Serialize (Either a b) where else instance (Serialize a, Serialize b) => Serialize (Either a b) where