Term | |
1 (Type/Class) | Data.Comp.Term, Data.Comp |
2 (Data Constructor) | Data.Comp.Term, Data.Comp |
TermHom | Data.Comp.Algebra, Data.Comp |
termHom | Data.Comp.Algebra, Data.Comp |
termHom' | Data.Comp.Algebra, Data.Comp |
TermHomM | Data.Comp.Algebra, Data.Comp |
termHomM | Data.Comp.Algebra, Data.Comp |
TermHomM' | Data.Comp.Algebra, Data.Comp |
termHomM' | Data.Comp.Algebra, Data.Comp |
toCxt | Data.Comp.Term, Data.Comp |
toHCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
transform | Data.Comp.Generic, Data.Comp |
transform' | Data.Comp.Generic, Data.Comp |
transformM | Data.Comp.Generic, Data.Comp |
Traversable | Data.Comp.Derive |
TRS | Data.Comp.TermRewriting |