Data.Comp.MacroAutomata

Macro Tree Transducers

type MacroTrans f q g

type MacroTrans' f q g

mkMacroTrans

runMacroTrans

compMacroDown

compDownMacro

Macro Tree Transducers with Singleton State Space

type MacroTransId f g

type MacroTransId' f g

fromMacroTransId

fromMacroTransId'

Macro Tree Transducers with Regular Look-Ahead

type MacroTransLA f q p g

type MacroTransLA' f q p g

mkMacroTransLA

runMacroTransLA

compDownMacroLA

Macro Tree Transducers with Regular Look-Ahead

data (q :^: p) a

data I a