| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
SndOrder.Morphism.NACmanipulation
- data DeleteScheme
- deleteStep :: DeleteScheme -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b]
- verifyIsoBetweenMorphisms :: TypedGraphMorphism a b -> TypedGraphMorphism a b -> Bool
- data CreateScheme
- createStep :: CreateScheme -> TypedGraphMorphism a b -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b]
Documentation
data DeleteScheme Source #
Auxiliar structure and function to delete first-order NACs
Constructors
| DisableDelete | |
| Monomorphisms | |
| InitialPushouts |
deleteStep :: DeleteScheme -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b] Source #
verifyIsoBetweenMorphisms :: TypedGraphMorphism a b -> TypedGraphMorphism a b -> Bool Source #
data CreateScheme Source #
Auxiliar structure and function to create first-order NACs
Constructors
| DisableCreate | |
| Pushout | |
| ShiftNACs |
createStep :: CreateScheme -> TypedGraphMorphism a b -> [TypedGraphMorphism a b] -> [TypedGraphMorphism a b] Source #