File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -38,6 +38,19 @@ export logdensity_def
3838export basemeasure
3939export basekernel
4040export productmeasure
41+
42+ """
43+ inssupport(m, x)
44+ insupport(m)
45+
46+ `insupport(m,x)` computes whether `x` is in the support of `m`.
47+
48+ `insupport(m)` returns a function, and satisfies
49+
50+ insupport(m)(x) == insupport(m, x)
51+ """
52+ function insupport end
53+
4154export insupport
4255export getdof
4356export transport_to
@@ -46,6 +59,8 @@ include("insupport.jl")
4659
4760abstract type AbstractMeasure end
4861
62+ AbstractMeasure (m:: AbstractMeasure ) = m
63+
4964using Static: @constprop
5065
5166function Pretty. quoteof (d:: M ) where {M<: AbstractMeasure }
Original file line number Diff line number Diff line change @@ -38,6 +38,8 @@ function test_interface(μ::M) where {M}
3838 @testset " $μ " begin
3939 μ = $ μ
4040
41+ @test AbstractMeasure (μ) isa AbstractMeasure
42+
4143 # ##########################################################################
4244 # basemeasure_depth
4345 static_depth = @inferred basemeasure_depth (μ)
You can’t perform that action at this time.
0 commit comments