DDC.Driver.Command.Tetra.Boxing

Documentation

cmdTetraBoxing

Arguments

:: Config

Driver config.

-> Source

Source of the code.

-> String

Program module text.

-> ExceptT String IO ()

Manage boxing in a Tetra module.