It's just a way to tag a type with some extra information. In our case it's mainly the prompt to display to the user. See for example the grepFind function. It takes two strings. Those strings have different meanings, which are captured by the ::: type former.
On Fri, Feb 27, 2009 at 1:32 AM, Jeff Wheeler <jeffwhee...@gmail.com> wrote: > > On Feb 26, 10:30 am, Jean-Philippe Bernardy > <jpberna...@community.haskell.org> wrote: > >> * Somewhat better support for the ::: type > > Hmm, I've seen this before, but I don't understand its use at all. Can > you explain this a bit? > > > --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
