UU.UUAGC.Diagrams

Example usage of this package:

import UU.UUAGC.Diagrams

dia :: AGBackend b => AGDiagram b
dia = production ["count", "level"] "Docs" ["html", "count"]
        [ child ["count", "level"] "hd" ["html", "count"]
        , child ["count", "level"] "tl" ["html", "count"]
        ]
      # agrule shaftL "lhs.count" "hd.count"
      # agrule shaftL "lhs.level" "hd.level"
      # agrule shaftR "lhs.level" "tl.level"
      # agrule shaftL "hd.html" "lhs.html"
      # agrule shaftR "tl.html" "lhs.html"
      # agrule shaftR "tl.count" "lhs.count"
      # agrule shaftT "hd.count" "tl.count"

Documentation

production :: AGBackend b => [String] -> String -> [String] -> [Child b] -> AGDiagram b

Construct a diagram for a full production, given its inherited attributes, name, synthesized attributes and children

child :: AGBackend b => [String] -> String -> [String] -> Child b

Construct a child given its inherited attributes, name and sythesized attributes.

agrule :: AGBackend b => Trail R2 -> String -> String -> AGDiagram b -> AGDiagram b

Construct an arrow between two attributes. The first argument specifies the shape of the arrow and can be shaftL, shaftR, shaftT, shaftB of shaftD, or a special trial constructed with the diagrams library.

indrule :: AGBackend b => String -> String -> AGDiagram b -> AGDiagram b

Construct an induced dependency arrow between two attributes, similar to agrule but with an explicit trial.

shaftL :: Trail R2

Line that first moves left and then right

shaftR :: Trail R2

Line that first moves right and then left

shaftT :: Trail R2

Top half of a circle

shaftB :: Trail R2

Bottom half of a circle

shaftD :: Trail R2

Straight line

(#) :: a -> (a -> b) -> b infixl 8

Postfix function application, for conveniently applying attributes. Unlike ($), (#) has a high precedence (8), so d # foo # bar can be combined with other things using operators like (|||) or (<>) without needing parentheses.

type AGDiagram b = Diagram b R2

class (Renderable (Path R2) b, Backend b R2) => AGBackend b

Instances

(Renderable (Path R2) b, Backend b R2) => AGBackend b

data Child b

Child with backend b, this type has been left abstract on purpose.