diff --git a/packages.dhall b/packages.dhall index d293079..8ee8e01 100644 --- a/packages.dhall +++ b/packages.dhall @@ -119,10 +119,46 @@ let additions = let upstream = - https://github.com/purescript/package-sets/releases/download/psc-0.13.6-20200404/packages.dhall sha256:f239f2e215d0cbd5c203307701748581938f74c4c78f4aeffa32c11c131ef7b6 + https://github.com/purescript/package-sets/releases/download/psc-0.14.1-20210506/packages.dhall sha256:d199e142515f9cc15838d8e6d724a98cd0ca776ceb426b7b36e841311643e3ef let overrides = {=} -let additions = {=} +let additions = + { arraybuffer = + { dependencies = + [ "effect" + , "arraybuffer-types" + , "maybe" + , "typelevel" + , "uint" + , "float32" + , "partial" + , "nullable" + , "functions" + ] + , repo = "https://github.com/jacereda/purescript-arraybuffer.git" + , version = "v10.0.2" + } + , float32 = + { dependencies = + [ "prelude" + ] + , repo = "https://github.com/athanclark/purescript-float32.git" + , version = "v0.2.0" + } + , uint = + { dependencies = + [ "effect" + , "quickcheck-laws" + , "console" + , "maybe" + , "math" + , "psci-support" + , "quickcheck" + ] + , repo = "https://github.com/zaquest/purescript-uint.git" + , version = "v5.1.4" + } + } in upstream // overrides // additions diff --git a/src/Data/ArrayBuffer/Class.purs b/src/Data/ArrayBuffer/Class.purs index 481038e..4f0df6f 100644 --- a/src/Data/ArrayBuffer/Class.purs +++ b/src/Data/ArrayBuffer/Class.purs @@ -802,7 +802,7 @@ decodeArrayBuffer b = readArrayBuffer b 0 -class GEncodeArrayBuffer (row :: # Type) (list :: RL.RowList) where +class GEncodeArrayBuffer (row :: Row Type) (list :: RL.RowList Type) where gPutArrayBuffer :: Record row -> RLProxy list -> Effect (O.Object ArrayBuffer) instance gEncodeArrayBufferNil :: GEncodeArrayBuffer row RL.Nil where @@ -824,7 +824,7 @@ instance gEncodeArrayBufferCons :: rest <- gPutArrayBuffer row (RLProxy :: RLProxy tail) pure (O.insert (reflectSymbol sProxy) x rest) -class GDecodeArrayBuffer (row :: # Type) (list :: RL.RowList) | list -> row where +class GDecodeArrayBuffer (row :: Row Type) (list :: RL.RowList Type) | list -> row where gReadArrayBuffer :: O.Object ArrayBuffer -> RLProxy list -> Effect (Record row) instance gDecodeArrayBufferNil :: GDecodeArrayBuffer () RL.Nil where