Safe Haskell	Safe
Language	Haskell2010

SndOrder.Morphism

Synopsis

Documentation

data RuleMorphism a b Source #

A morphism between two first order rules.

The following diagram illustrates such a morphism, omiting the NACs.

          l1      r1
      L1◀─────K1─────▶R1
      │       │       │
 mapL │   mapK│   mapR│
      ▼       ▼       ▼
      L2◀─────K2─────▶R2
          l2      r2

domain = (l1,r1)

codomain = (l2,r2)

mappingLeft = mapL

mappingInterface = mapK

mappingRight = mapR

TODO: Make polymorphic on the type of morphism?

Instances

Eq (RuleMorphism a b) Source #
Methods (==) :: RuleMorphism a b -> RuleMorphism a b -> Bool # (/=) :: RuleMorphism a b -> RuleMorphism a b -> Bool #
Show (RuleMorphism a b) Source #
Methods showsPrec :: Int -> RuleMorphism a b -> ShowS # show :: RuleMorphism a b -> String # showList :: [RuleMorphism a b] -> ShowS #
Valid (RuleMorphism a b) Source #
Methods isValid :: RuleMorphism a b -> Bool Source # validate :: RuleMorphism a b -> ValidationResult Source #
Morphism (RuleMorphism a b) Source #
Associated Types type Obj (RuleMorphism a b) :: * Source # Methods compose :: RuleMorphism a b -> RuleMorphism a b -> RuleMorphism a b Source # domain :: RuleMorphism a b -> Obj (RuleMorphism a b) Source # codomain :: RuleMorphism a b -> Obj (RuleMorphism a b) Source # id :: Obj (RuleMorphism a b) -> RuleMorphism a b Source # isMonomorphism :: RuleMorphism a b -> Bool Source # isEpimorphism :: RuleMorphism a b -> Bool Source # isIsomorphism :: RuleMorphism a b -> Bool Source #
type Obj (RuleMorphism a b) Source #
type Obj (RuleMorphism a b) = Production (TypedGraphMorphism a b)

ruleMorphism :: Production (TypedGraphMorphism a b) -> Production (TypedGraphMorphism a b) -> TypedGraphMorphism a b -> TypedGraphMorphism a b -> TypedGraphMorphism a b -> RuleMorphism a b Source #

mappingLeft :: RuleMorphism a b -> TypedGraphMorphism a b Source #

mappingInterface :: RuleMorphism a b -> TypedGraphMorphism a b Source #

mappingRight :: RuleMorphism a b -> TypedGraphMorphism a b Source #