termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.Precedence

Synopsis

Documentation

data Order b

Constructors

b :>: b 
b :~: b 

Instances

Typeable1 Order 
Eq b => Eq (Order b) 
Ord b => Ord (Order b) 
Show b => Show (Order b) 

newtype Precedence

Constructors

Precedence (Signature, [Order Symbol]) 

Instances

precedence :: Signature -> [Order Symbol] -> Precedence

empty :: Signature -> Precedence

insert :: Order Symbol -> Precedence -> Precedence

eclasses :: Precedence -> [Set Symbol]

recursionDepth :: Set Symbol -> Precedence -> Map Symbol Int

ranks :: Precedence -> Map Symbol Int

ranks of function symbols in precedence, starting at '1'