Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- type DFDState v = State (Map (ID, ID) Bool) v
- type DFDRenderer t = DFDState (Renderer t)
- class RenderDFD t where
- dfd :: t -> DFDRenderer ()
- return' :: t -> DFDRenderer t
- exists :: (ID, ID) -> DFDState Bool
- register :: (ID, ID) -> DFDState ()
- shouldInvert :: (ID, ID) -> DFDState Bool
- evalDfd :: Diagram -> String
- printDfd :: Diagram -> IO ()
Documentation
type DFDRenderer t = DFDState (Renderer t) Source
class RenderDFD t where Source
Type class for types that can be rendered as DFD.
dfd :: t -> DFDRenderer () Source
return' :: t -> DFDRenderer t Source