module Sound.DF.Uniform.GADT.Draw where
import Control.Monad.Trans.State
import Sound.DF.Uniform.GADT.DF
import Sound.DF.Uniform.LL
import Sound.DF.Uniform.UDF as U
draw :: K' a => DF a -> IO ()
draw = U.draw . df_erase
draw' :: K' a => DF a -> IO ()
draw' = U.draw' . df_erase
drawM :: K' a => State Id (DF a) -> IO ()
drawM = U.draw . df_erase . evalId
gr_draw :: K' a => DF a -> IO ()
gr_draw = U.gr_draw . df_erase
gr_draw' :: K' a => DF a -> IO ()
gr_draw' = U.gr_draw' . df_erase
gr_drawM :: K' a => State Id (DF a) -> IO ()
gr_drawM = U.gr_draw . df_erase . evalId