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 t => t -> [t] -> t 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 t => t -> [t] -> t Source #