Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- type ID = String
- type Name = String
- type Operation = String
- type Description = String
- data Diagram = Diagram Name [Object]
- data Object
- type Indent = Int
- type Step = Int
- data GenState = GenState Indent Step
- type Gen t = WriterT [String] (State GenState) t
- write :: 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 ()
Documentation
type Description = String Source
An object in a diagram.
type Gen t = WriterT [String] (State GenState) t Source
The monad stack for generating output based on Diagram.
withIndent :: Gen () -> Gen () Source