- data Lab a
- markup :: Mor a -> Lab a
- unmark :: Eq a => Lab a -> Mor a
- modif :: Eq a => String -> Lab a -> (Mor a -> Mor a) -> Mor a
- modif' :: Eq a => String -> Lab a -> (Mor a -> Mor a) -> Lab a
- modifLab :: String -> Lab a -> (Lab a -> Lab a) -> Lab a
- choose :: String -> Int -> Int -> Lab a -> Lab a
- getLabel :: Lab a -> String

# Documentation

Labelled arrow data type.

modif' :: Eq a => String -> Lab a -> (Mor a -> Mor a) -> Lab aSource

Applies operation to the marked subterm of the given morphism.

modifLab :: String -> Lab a -> (Lab a -> Lab a) -> Lab aSource

Applies operation to the marked subterm of the given morphism.