Open a Ciao playground

Author(s): The Ciao Development Team.

This module provides predicates to open documents using the Ciao Playground. It relies on opendoc to open arbritrary URLs.

This is just a small client library. The playground code is distributed seperately in the ciao_playground bundle.

Usage and interface

Documentation on exports

REGTYPEpgloc/1

Usage:

Ciao Playground location:

  • ciaolang: alias for https://ciao-lang.org/playground
  • local: alias for http://localhost:8001/playground (development local playground, see ciao-serve-mt)

    PREDICATEopenpg/1

    Usage:openpg(PGLoc)

    Open a new Ciao Playground

      PREDICATEopenpg/2

      Usage:openpg(PGLoc,Path)

      Open a Ciao Playground from the specified location

        Documentation on imports

        This module has the following direct dependencies: