Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.Data.Attributes

Documentation

Constructors

Attributes
Fields size_of_signature :: Int max_arity :: Int total_term_size :: Int max_term_size :: Int max_term_depth :: Int left_linear :: Bool right_linear :: Bool linear :: Bool max_var_count :: Int max_var_depth :: Int value is meaningless if the system has no variables

Instances details

Show Attributes Source #
Instance details Defined in TPDB.Data.Attributes Methods showsPrec :: Int -> Attributes -> ShowS # show :: Attributes -> String # showList :: [Attributes] -> ShowS #
Pretty Attributes Source #
Instance details Defined in TPDB.Data.Attributes Methods pretty :: Attributes -> Doc ann # prettyList :: [Attributes] -> Doc ann #

safe_maximum :: Ord p => p -> [p] -> p Source #