Difference between revisions of "Diagrams/Dev/Fixpoint"
(add link to IRC) |
(lay out framework for detailed design) |
||
Line 1: | Line 1: | ||
+ | This page describes the motivation and design for a refactoring of diagrams, to give them a semantics based on computing fixed points of functions from "context" information to raw tree of primitives together with some summary information. |
||
⚫ | |||
+ | == Reference == |
||
⚫ | |||
+ | |||
⚫ | |||
+ | |||
⚫ | |||
+ | |||
+ | == Detailed design == |
||
+ | |||
+ | Most of the changes should be in the <code>diagrams-core</code> package, though a few things in <code>diagrams-lib</code> may need to change as well. |
||
+ | |||
+ | === diagrams-core === |
||
+ | |||
+ | No changes should be necessary to the following modules (all prefixed by <code>Diagrams.Core</code>: <code>Envelope</code>, <code>HasOrigin</code>, <code>Juxtapose</code>, <code>Names</code>, <code>Points</code>, <code>Query</code>, <code>Trace</code>, <code>Transform</code>, <code>V</code> |
||
+ | |||
+ | I'm not sure about <code>Style</code> yet. |
||
+ | |||
+ | ==== <code>Diagrams.Core.Compile</code> ==== |
||
+ | |||
+ | ==== <code>Diagrams.Core.Types</code> ==== |
||
+ | |||
+ | === diagrams-lib === |
Revision as of 22:39, 14 May 2014
This page describes the motivation and design for a refactoring of diagrams, to give them a semantics based on computing fixed points of functions from "context" information to raw tree of primitives together with some summary information.
Reference
See the original "manifesto" and ensuing mailing list discussion here: http://thread.gmane.org/gmane.comp.lang.haskell.diagrams/383
See also later IRC discussion beginning here: http://ircbrowse.net/browse/diagrams?events_page=935
Detailed design
Most of the changes should be in the diagrams-core
package, though a few things in diagrams-lib
may need to change as well.
diagrams-core
No changes should be necessary to the following modules (all prefixed by Diagrams.Core
: Envelope
, HasOrigin
, Juxtapose
, Names
, Points
, Query
, Trace
, Transform
, V
I'm not sure about Style
yet.