git.iko.soy/rowtype-yoga/purescript-arraybuffer-builder
on master help sign in
purs-tidy
commit60ad0c1d83c3f766152857aa122eb96de6cb8b33 authorJames Brock <jamesbrock@gmail.com> dateWed 4 May 2022, 19:09 (4 years ago) parent9fe8083
3 files changed+88−85
src/Data/ArrayBuffer/Builder.purs+24−25 src/Data/ArrayBuffer/Internal.purs+46−44 test/Main.purs+18−16
src/Data/ArrayBuffer/Builder.purs+24−25
@@ -10,31 +10,30 @@
1010-- | [`Data.ArrayBuffer.ArrayBuffer`](https://pursuit.purescript.org/packages/purescript-arraybuffer/docs/Data.ArrayBuffer.ArrayBuffer)
1111-- | in package __purescript-arraybuffer__.
1212module Data.ArrayBuffer.Builder
13−( PutM
14−, Put
15−, execPutM
16−, execPut
17−, subBuilder
18−, putArrayBuffer
19−, putDataView
20−, putDataBuff
21−, putUint8
22−, putInt8
23−, putUint16be
24−, putUint16le
25−, putInt16be
26−, putInt16le
27−, putUint32be
28−, putUint32le
29−, putInt32be
30−, putInt32le
31−, putFloat32be
32−, putFloat32le
33−, putFloat64be
34−, putFloat64le
35−, module Data.ArrayBuffer.Builder.Internal
36−)
37−where
13+ ( PutM
14+ , Put
15+ , execPutM
16+ , execPut
17+ , subBuilder
18+ , putArrayBuffer
19+ , putDataView
20+ , putDataBuff
21+ , putUint8
22+ , putInt8
23+ , putUint16be
24+ , putUint16le
25+ , putInt16be
26+ , putInt16le
27+ , putUint32be
28+ , putUint32le
29+ , putInt32be
30+ , putInt32le
31+ , putFloat32be
32+ , putFloat32le
33+ , putFloat64be
34+ , putFloat64le
35+ , module Data.ArrayBuffer.Builder.Internal
36+ ) where
3837
3938import Prelude
4039
src/Data/ArrayBuffer/Internal.purs+46−44
@@ -79,33 +79,32 @@
7979-- | so that if we want to change the `Builder` implementation later then we can.
8080-- |
8181module Data.ArrayBuffer.Builder.Internal
82−( Builder(..)
83−, (<>>)
84−, DataBuff(..)
85−, toView
86−, execBuilder
87−, length
88−, foldl
89−, foldM
90−, singleton
91−, cons
92−, snoc
93−, encodeUint8
94−, encodeInt8
95−, encodeUint16be
96−, encodeUint16le
97−, encodeInt16be
98−, encodeInt16le
99−, encodeUint32be
100−, encodeUint32le
101−, encodeInt32be
102−, encodeInt32le
103−, encodeFloat32be
104−, encodeFloat32le
105−, encodeFloat64be
106−, encodeFloat64le
107−)
108−where
82+ ( Builder(..)
83+ , (<>>)
84+ , DataBuff(..)
85+ , toView
86+ , execBuilder
87+ , length
88+ , foldl
89+ , foldM
90+ , singleton
91+ , cons
92+ , snoc
93+ , encodeUint8
94+ , encodeInt8
95+ , encodeUint16be
96+ , encodeUint16le
97+ , encodeInt16be
98+ , encodeInt16le
99+ , encodeUint32be
100+ , encodeUint32le
101+ , encodeInt32be
102+ , encodeInt32le
103+ , encodeFloat32be
104+ , encodeFloat32le
105+ , encodeFloat64be
106+ , encodeFloat64le
107+ ) where
109108
110109import Prelude
111110
@@ -131,7 +130,7 @@ data DataBuff
131130-- Concerning DataViews.
132131-- https://v8.dev/blog/dataview
133132
134− -- | View the contents of `DataBuff` as a `DataView`.
133+-- | View the contents of `DataBuff` as a `DataView`.
135134toView :: DataBuff -> DataView
136135toView (Buff ab) = DV.whole ab
137136toView (View dv) = dv
@@ -191,11 +190,12 @@ instance semigroupBuilder :: Semigroup Builder where
191190 append Null r = r
192191 append l (Node Null rx rr) = Node l rx rr -- this is the snoc case
193192 append (Node ll lx Null) r = Node ll lx r -- found the rightmost Null
194− -- of the left tree
193+ -- of the left tree
195194 append (Node ll lx lr) r = Node ll lx $ append lr r -- search down the right
196− -- side of the left tree
197− -- to find the rightmost
198− -- Null
195+
196+-- side of the left tree
197+-- to find the rightmost
198+-- Null
199199
200200infixl 5 append as <>>
201201
@@ -211,18 +211,18 @@ foldM :: forall m a. MonadRec m => (a -> DataBuff -> m a) -> a -> Builder -> m a
211211-- The Art of Computer Programming 2.3.1
212212-- Inorder traversal using a stack
213213-- https://yuyuan.org/MorrisAlgorithm/
214−foldM f a0 b = tailRecM outer {p: b, stack: Nil, accum: a0}
214+foldM f a0 b = tailRecM outer { p: b, stack: Nil, accum: a0 }
215215 where
216− outer {p,stack,accum} = do
217− stack' <- tailRecM inner {p_:p,stack_:stack}
216+ outer { p, stack, accum } = do
217+ stack' <- tailRecM inner { p_: p, stack_: stack }
218218 case uncons stack' of
219219 Nothing -> pure $ Done accum
220− Just {head: Node _ x r, tail} -> do
220+ Just { head: Node _ x r, tail } -> do
221221 accum' <- f accum x
222− pure $ Loop {p: r, stack: tail, accum: accum'}
223− Just {head:Null} -> pure $ Done accum
224− inner {p_:Null,stack_} = pure $ Done stack_
225− inner {p_: n@(Node l _ _), stack_} = pure $ Loop {p_: l, stack_: n:stack_}
222+ pure $ Loop { p: r, stack: tail, accum: accum' }
223+ Just { head: Null } -> pure $ Done accum
224+ inner { p_: Null, stack_ } = pure $ Done stack_
225+ inner { p_: n@(Node l _ _), stack_ } = pure $ Loop { p_: l, stack_: n : stack_ }
226226
227227-- | Construct a `Builder` with a single `DataBuff`. *O(1)*
228228singleton :: DataBuff -> Builder
@@ -233,8 +233,8 @@ singleton buf = Node Null buf Null
233233length :: Builder -> ByteLength
234234length bldr = foldl (\b a -> b + len a) 0 bldr
235235 where
236− len (Buff ab) = AB.byteLength ab
237− len (View dv) = DV.byteLength dv
236+ len (Buff ab) = AB.byteLength ab
237+ len (View dv) = DV.byteLength dv
238238
239239-- | Prepend a `DataBuff` to the beginning of the `Builder`. *O(1)*
240240cons :: DataBuff -> Builder -> Builder
@@ -259,9 +259,11 @@ execBuilder bldr = do
259259 aview <- liftEffect $ toUint8Array a
260260 _ <- liftEffect $ AT.setTyped newview (Just offset) aview
261261 pure $ offset + AT.byteLength aview
262− ) 0 bldr
262+ )
263+ 0
264+ bldr
263265 pure buf
264− where
266+ where
265267 toUint8Array :: DataBuff -> Effect Uint8Array
266268 toUint8Array (Buff ab) = AT.whole ab
267269 toUint8Array (View dv) =
test/Main.purs+18−16
@@ -22,48 +22,48 @@ asBytes x = do
2222putTest :: String -> Array Int -> PutM Effect Unit -> Effect Unit
2323putTest label expected put = do
2424 actual <- asBytes =<< execPut put
25− assertEqual' label {actual,expected}
25+ assertEqual' label { actual, expected }
2626
2727buildTest :: String -> Array Int -> Effect Builder -> Effect Unit
2828buildTest label expected bldr = do
2929 actual <- asBytes =<< execBuilder =<< bldr
30− assertEqual' label {actual,expected}
30+ assertEqual' label { actual, expected }
3131
3232main :: Effect Unit
3333main = do
34− putTest "Test 0" [6,7,8] do
34+ putTest "Test 0" [ 6, 7, 8 ] do
3535 putInt8 6
3636 putInt8 7
3737 putInt8 8
3838
39− putTest "Test 1" [255,254] do
39+ putTest "Test 1" [ 255, 254 ] do
4040 putInt16be (-2)
4141
42− putTest "Test 3" [3,0,0,0] do
42+ putTest "Test 3" [ 3, 0, 0, 0 ] do
4343 putInt32le 3
4444
45− buildTest "Test 4" [1,2,3,4] do
45+ buildTest "Test 4" [ 1, 2, 3, 4 ] do
4646 b1 <- Buff <$> encodeInt8 1
4747 b2 <- Buff <$> encodeInt8 2
4848 b3 <- Buff <$> encodeInt8 3
4949 b4 <- Buff <$> encodeInt8 4
5050 pure $ singleton b1 <> singleton b2 <> singleton b3 <> singleton b4
5151
52− buildTest "Test 5" [1,2,3,4] do
52+ buildTest "Test 5" [ 1, 2, 3, 4 ] do
5353 b1 <- Buff <$> encodeInt8 1
5454 b2 <- Buff <$> encodeInt8 2
5555 b3 <- Buff <$> encodeInt8 3
5656 b4 <- Buff <$> encodeInt8 4
5757 pure $ singleton b1 <>> singleton b2 <>> singleton b3 <>> singleton b4
5858
59− buildTest "Test 6" [1,2,3,4] do
59+ buildTest "Test 6" [ 1, 2, 3, 4 ] do
6060 b1 <- Buff <$> encodeInt8 1
6161 b2 <- Buff <$> encodeInt8 2
6262 b3 <- Buff <$> encodeInt8 3
6363 b4 <- Buff <$> encodeInt8 4
6464 pure $ singleton b1 <> (singleton b2 <> singleton b3) <> singleton b4
6565
66− buildTest "Test 6" [1,2,3,4,5,6,7,8] do
66+ buildTest "Test 6" [ 1, 2, 3, 4, 5, 6, 7, 8 ] do
6767 b1 <- Buff <$> encodeInt8 1
6868 b2 <- Buff <$> encodeInt8 2
6969 b3 <- Buff <$> encodeInt8 3
@@ -73,9 +73,11 @@ main = do
7373 b7 <- Buff <$> encodeInt8 7
7474 b8 <- Buff <$> encodeInt8 8
7575 pure $ singleton b1 <> (singleton b2 <> singleton b3) <> singleton b4
76− <> singleton b5 <> (singleton b6 <> singleton b7) <> singleton b8
76+ <> singleton b5
77+ <> (singleton b6 <> singleton b7)
78+ <> singleton b8
7779
78− buildTest "Test 7" [1,2,3,4,5,6,7,8] do
80+ buildTest "Test 7" [ 1, 2, 3, 4, 5, 6, 7, 8 ] do
7981 b1 <- Buff <$> encodeInt8 1
8082 b2 <- Buff <$> encodeInt8 2
8183 b3 <- Buff <$> encodeInt8 3
@@ -85,16 +87,16 @@ main = do
8587 b7 <- Buff <$> encodeInt8 7
8688 b8 <- Buff <$> encodeInt8 8
8789 pure $ ((singleton b1 <> singleton b2) <> (singleton b3 <> singleton b4))
88− <> ((singleton b5 <> singleton b6) <> (singleton b7 <> singleton b8))
90+ <> ((singleton b5 <> singleton b6) <> (singleton b7 <> singleton b8))
8991
90− buildTest "Test 8" [1,2,3,4] do
92+ buildTest "Test 8" [ 1, 2, 3, 4 ] do
9193 b1 <- Buff <$> encodeInt8 1
9294 b2 <- Buff <$> encodeInt8 2
9395 b3 <- Buff <$> encodeInt8 3
9496 b4 <- Buff <$> encodeInt8 4
9597 pure $ (cons b1 (singleton b2)) <> (cons b3 (singleton b4))
9698
97− putTest "Test 9" [1,2,2,3,4] do
99+ putTest "Test 9" [ 1, 2, 2, 3, 4 ] do
98100 x <- subBuilder do
99101 putInt8 3
100102 putInt8 4
@@ -103,7 +105,7 @@ main = do
103105 putInt8 $ length x
104106 tell x
105107
106− buildTest "Test 10" [1,2,3,4,5,6,7,8] do
108+ buildTest "Test 10" [ 1, 2, 3, 4, 5, 6, 7, 8 ] do
107109 b1 <- View <$> DV.whole <$> encodeInt8 1
108110 b2 <- View <$> DV.whole <$> encodeInt8 2
109111 b3 <- View <$> DV.whole <$> encodeInt8 3
@@ -113,7 +115,7 @@ main = do
113115 b7 <- View <$> DV.whole <$> encodeInt8 7
114116 b8 <- View <$> DV.whole <$> encodeInt8 8
115117 pure $ ((singleton b1 <> singleton b2) <> (singleton b3 <> singleton b4))
116− <> ((singleton b5 <> singleton b6) <> (singleton b7 <> singleton b8))
118+ <> ((singleton b5 <> singleton b6) <> (singleton b7 <> singleton b8))
117119
118120 let stackblower = Array.replicate 20000 2
119121 putTest "Stack test" stackblower do