ui-2.0.0
--------
Version 2.0.0
Author Christof Kluss Michael Hanus
Maintainer Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis Libraries to implement declarative user interfaces
Category User Interface
Dependencies
base >= 1.0.0, < 2.0.0
cpns >= 0.0.1
gui >= 2.0.0
random >= 0.0.1
traversal >= 0.0.1
Compiler compatibility
pakcs >= 2.0.0
kics2 >= 2.0.0
Description
This package contains a collection of libraries to implement graphical user
interfaces as well as web-based user interfaces from declarative
descriptions. Exploiting these libraries, it is possible to define the
structure and functionality of a user interface independent from the
concrete technology. Thus, a graphical user interface or a web-based user
interface can be generated from the same description by simply changing the
name of the imported libraries.
Exported modules
UI UI2GUI UI2HTML GUI2HTML TypedUI2GUI TypedUI2HTML
Test suite
Directory src
Check options -v
Test modules UI UI2GUI UI2HTML GUI2HTML
Test suite
Directory examples
Check options -v
Test modules calcui counter4 counterui tcounter
Source
Git https://git.ps.informatik.uni-kiel.de/curry-packages/ui.git@v2.0.0
License
BSD-3-Clause
License file
LICENSE