Merge pull request #109 from rl-king/update-array-example

Rename `value` -> `param` in Encoders Array docs example
This commit is contained in:
Nikita Volkov 2019-04-14 20:54:53 +03:00 committed by GitHub
commit a923ff676e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -553,7 +553,7 @@ dimension foldl (Array imp) =
-- contrazip3 (vector Encoders.uuid) (vector Encoders.float8) (vector Encoders.float8)
-- where
-- vector value =
-- Encoders.value (Encoders.array (Encoders.dimension foldl' (Encoders.element value)))
-- Encoders.param (Encoders.array (Encoders.dimension foldl' (Encoders.element value)))
-- decoder =
-- Decoders.unit
-- @
-- @