Rename value -> param

This commit is contained in:
rl-king 2019-04-14 16:50:22 +02:00
parent 115e9ff7e3
commit ad42b4e42a

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
-- @
-- @