DataFlow.Core

Documentation

type ID = String

type Name = String

type Operation = String

type Description = String

data Diagram

The top level diagram.

Constructors

Diagram Name [Object]

Instances

DFD Diagram

data Object

An object in a diagram.

Constructors

External ID Name

TrustBoundary ID Name [Object]

Process ID Name

Database ID Name

Edge ID ID Operation Description

Instances

Eq Object

Show Object

DFD Object

type Indent = Int

type IndentNext = Bool

type Step = Int

data GenState

Constructors

GenState Indent IndentNext Step

type Gen t = WriterT [String] (State GenState) t

The monad stack for generating output based on Diagram.

write :: String -> Gen ()

writeln :: String -> Gen ()

incrStep :: Gen ()

nextStep :: Gen Int

indent :: Gen ()

dedent :: Gen ()

withIndent :: Gen () -> Gen ()

blank :: Gen ()

label :: Gen () -> Gen ()

tag :: String -> String -> Gen () -> Gen ()

bold :: Gen () -> Gen ()

table :: String -> Gen () -> Gen ()

tr :: Gen () -> Gen ()

td :: Gen () -> Gen ()

type Enclosing = (Char, Char)

brackets :: Enclosing

curlyBrackets :: Enclosing

objectWith :: Enclosing -> ID -> Gen () -> Gen ()

useFont :: ID -> String -> Gen ()