I'd go with https://julia.readthedocs.org/en/latest/manual/types/#singleton-types ?
On Tuesday, April 21, 2015 at 12:13:03 PM UTC-5, Tamas Papp wrote: > > I think it is implied that you can do this: there are quite a few > examples in the manual, eg > https://julia.readthedocs.org/en/latest/manual/types/#value-types > > Best, > > Tamas > > On Tue, Apr 21 2015, Scott Jones <scott.paul.jo...@gmail.com> wrote: > > > Ah, thanks for the *very* quick reply. That’s quite useful. > > Did I somehow miss the explanation in the documentation (of 0.4), or > does > > that need to be added to the documentation of methods? > > > > Thanks, > > Scott > > > > On Tuesday, April 21, 2015 at 11:41:45 AM UTC-4, Stefan Karpinski wrote: > >> > >> It means that the argument doesn't get a local name but the method is > only > >> called if the argument in that position matches the type on the RHS of > the > >> :: > >> > >> On Tue, Apr 21, 2015 at 11:37 AM, Scott Jones <scott.pa...@gmail.com > >> <javascript:>> wrote: > >> > >>> Just what does it mean, if there is a type but no formal parameter > name, > >>> in a function definition? > >>> I tried to find it in the documentation, but nothing came up... > >>> > >>> Thanks, > >>> Scott > >>> > >>> > >> >