Safe Haskell	Safe
Language	Haskell98

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

Instances

Pretty Attributes Source #
Methods pretty :: Attributes -> Doc # prettyList :: [Attributes] -> Doc #