| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Entity.Diagram.Proposition
Contents
Description
propositions on diagrams on Oriented structures.
Synopsis
- prpDiagramOrntSymbol :: Statement
- prpCoDiagram :: Oriented a => Diagram t n m a -> Statement
Proposition
prpDiagramOrntSymbol :: Statement Source #
validity of diagrams on Symbols.