- 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.