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 V2 Double -> 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 V2 Double

Line that first moves left and then right

shaftR :: Trail V2 Double

Line that first moves right and then left

shaftT :: Trail V2 Double

Top half of a circle

shaftB :: Trail V2 Double

Bottom half of a circle

shaftD :: Trail V2 Double

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 = QDiagram b V2 Double Any

class (Renderable (Path V2 Double) b, Backend b (V b) Double) => AGBackend b

Instances

(Renderable (Path V2 Double) b, Backend b (V b) Double) => AGBackend b

Defined in UU.UUAGC.Diagrams

data Child b

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