Documentation

data Filtering

newtype ArgumentFiltering

empty :: Signature -> ArgumentFiltering

filtering :: Symbol -> ArgumentFiltering -> Filtering

fold :: (Symbol -> Filtering -> b -> b) -> ArgumentFiltering -> b -> b

alter :: (Maybe Filtering -> Maybe Filtering) -> Symbol -> ArgumentFiltering -> ArgumentFiltering

apply :: Trs -> ArgumentFiltering -> SignatureMonad Trs