Export concretize_top_level (#152)

Author: penelopeysm

HISTORY.md

@@ -1,3 +1,7 @@
+## 0.14.1
+
+Export the `concretize_top_level` function, which concretizes only the indices contained in an `AbstractPPL.Index`, and does not recurse into child optics.
+
 ## 0.14.0
 
 This release overhauls the `VarName` type.

Project.toml

@@ -3,7 +3,7 @@ uuid = "7a57a42e-76ec-4ea3-a279-07e840d6d9cf"
 keywords = ["probablistic programming"]
 license = "MIT"
 desc = "Common interfaces for probabilistic programming"
-version = "0.14.0"
+version = "0.14.1"
 
 [deps]
 AbstractMCMC = "80f14c24-f653-4e6a-9b94-39d6b0f70001"

docs/src/varname.md

@@ -66,6 +66,7 @@ vn_conc = concretize(vn_dyn, x)
 
 ```@docs
 concretize
+concretize_top_level
 ```
 
 ## Optics

src/AbstractPPL.jl

@@ -33,6 +33,7 @@ export AbstractOptic,
     getsym,
     getoptic,
     concretize,
+    concretize_top_level,
     is_dynamic,
     @varname,
     varname,

src/varname/optic.jl

@@ -245,8 +245,6 @@ _maybe_view(val, i...; k...) = getindex(val, i...; k...)
     concretize_top_level(idx::Index, val)
 
 Concretise only the indices of `idx` against `val`, leaving the child optic unconcretised.
-
-This function is unexported and is only used internally in `canview` (for now).
 """
 function concretize_top_level(idx::Index, val)
     concretized_indices = tuple(map(Base.Fix2(_concretize_index, val), idx.ix)...)