Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
data Attributes Source #
Attributes | |
|
compute_attributes :: (Ord v, Ord c) => [Rule (Term v c)] -> Attributes Source #
safe_maximum :: Ord p => p -> [p] -> p Source #
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
data Attributes Source #
Attributes | |
|
compute_attributes :: (Ord v, Ord c) => [Rule (Term v c)] -> Attributes Source #
safe_maximum :: Ord p => p -> [p] -> p Source #