Sound.SC3.RW.Tag

Rewrite expressions and modules attaching tags to numeric literals.

Documentation

mk_var :: String -> Exp

Make Var Exp for String.

 mk_var "tag" == Var (UnQual (Ident "tag"))

mk_str_lit :: String -> Exp

Make String Lit.

 mk_str_lit "c1" == Lit (String "c1")

mk_int_lit :: Integral n => n -> Exp

Make Int Lit.

mk_frac_lit :: Real n => n -> Exp

Make Frac Lit.

exp_num_lit :: Exp -> Maybe Literal

Numeric literal at Exp else Nothing

tag_exp :: String -> Exp -> Exp

Tag an Exp with String.

at_tagged :: (String -> Exp -> Exp) -> (Exp -> Exp) -> Exp -> Exp

Apply f at Exp e if it is tagged, else g. If the tag is within a Paren then it is discarded.

untag_exp :: Exp -> Exp

Inverse of tag_exp.

 let z = mk_int_lit (0::Integer)
 in untag_exp (Paren (tag_exp "c1" z)) == z

nil_src_loc :: SrcLoc

Empty source location.

mk_span_id :: String -> [Exp] -> Exp

tag_to_span :: Exp -> Exp

tag_exp_auto :: Exp -> State Int Exp

Variant of tag_exp that derives the the tag name using a State counter.

span_exp_auto :: Exp -> State Int Exp

at_num_lit :: (Exp -> t) -> (Exp -> t) -> Exp -> t

Apply f at numeric literals, else g.

tag_num_lit :: Exp -> State Int Exp

at_num_lit of tag_exp_auto.

span_num_lit :: Exp -> State Int Exp

at_num_lit of tag_exp_auto.

type Parser r = String -> ParseResult r

type RW t m a = t -> m a

type RW_st t a = t -> State Int a

type Tr = String -> String

type Tr_m m = String -> m String

type RW_Opt = (PPLayout, Int)

apply_rw :: (Monad m, Pretty a) => RW_Opt -> Parser t -> RW t m a -> Tr_m m

Parse String using Parser and apply RW.

apply_rw_pure :: Pretty a => RW_Opt -> Parser t -> (t -> a) -> Tr

apply_rw_st :: Pretty a => RW_Opt -> Parser t -> RW_st t a -> Tr

exp_rw :: String -> String

Rewrite Exp.

 let r = "sinOsc AR (tag \"c1\" 440) (tag \"c2\" 0) * tag \"c3\" 0.1"
 in exp_rw "sinOsc AR 440 0 * 0.1" == r

module_rw :: String -> String

Rewrite Module.

 let m = ["import Sound.SC3"
         ,"o = sinOsc AR (midiCPS 65.00) 0.00"
         ,"a = dbAmp (-12.00)"
         ,"main = audition (out 0.00 (o * a))"]
 in module_rw (unlines m)

exp_un_rw :: String -> String

Inverse of exp_rw.

rw_html_opt :: RW_Opt

RW_Opt for html. The span code generates long lines...

exp_rw_html :: String -> String

Transform re-written form to HTML.

 let e = "sinOsc AR 440 0 * 0.1"
 in exp_rw_html (exp_rw e)

module_rw_html :: String -> String

Module variant of exp_rw_html.

 let m = "o = sinOsc AR 440 0 * 0.1\nmain = audition (out 0 o)"
 in module_rw_html (module_rw m)

exp_html :: String -> String

module_html :: String -> String

html_framework :: String -> String -> String