Safe Haskell	Safe-Inferred

Derive.Expr

Contents

transform
ToExpr
Str
MiniVal

Description

The Str and Symbol types, and ToExpr class.

They are split into a module with few dependencies so modules can make exprs without incurring a dependency on Derive.DeriveT, and specifically Val, which drags in tons of stuff.

Synopsis

type Expr val = NonEmpty (Call val)
data Call val = Call Symbol [Term val]
data Term val
- = ValCall (Call val)
- | Literal val
show_val_expr :: ShowVal (Call val) => Expr val -> Text
show_val_call :: ShowVal (Term val) => (val -> Maybe Text) -> Call val -> Text
show_val_term :: (ShowVal val, ShowVal (Call val)) => Term val -> Text
newtype Symbol = Symbol Text
unsym :: Symbol -> Text
expr :: [Call val] -> Call val -> Expr val
generator :: Call val -> Expr val
generator0 :: Symbol -> Expr val
split :: Expr val -> ([Call val], Call val)
call :: Symbol -> [val] -> Call val
call0 :: Symbol -> Call val
val_call :: Symbol -> [a] -> Term a
transform :: Call a -> Expr a -> Expr a
transform0 :: Symbol -> Expr a -> Expr a
with :: ToExpr a => Symbol -> a -> Expr MiniVal
str_to_scale_id :: Str -> Pitch.ScaleId
scale_id_to_str :: Pitch.ScaleId -> Str
map_symbol :: (Symbol -> Symbol) -> Call a -> Call a
map_literals :: (a -> b) -> Expr a -> Expr b
map_generator :: (Symbol -> Symbol) -> Expr a -> Expr a
class ToExpr a where
- to_expr :: a -> Expr MiniVal
newtype Str = Str Text
unstr :: Str -> Text
data MiniVal
- = VNum !(ScoreT.Typed Signal.Y)
- | VStr !Str
class ToVal a where
- to_val :: a -> MiniVal

Documentation

type Expr val = NonEmpty (Call val) Source #

A full toplevel expression, sometimes called a "pipeline", because it looks like "transform | transform | generator arg arg". Since the only operator is |, which is basically just application, a list suffices for an AST.

This is parameterized by the literal value, so a tokenized expr is Expr Text while fully parsed one would be Expr Val.

data Call val Source #

Constructors

Call Symbol [Term val]

Instances

Instances details

Functor Call Source #
Instance details Defined in Derive.Expr Methods fmap :: (a -> b) -> Call a -> Call b # (<$) :: a -> Call b -> Call a #
ToVal Expr Source #
Instance details Defined in Derive.REnv Methods to_val :: Expr -> Val Source #
Serialize.Serialize Call Source #
Instance details Defined in Derive.REnv Methods put :: Putter Call Source # get :: Serialize.Get Call Source #
String.IsString (Call val) Source #
Instance details Defined in Derive.Expr Methods fromString :: String.String -> Call val #
String.IsString (Expr val) Source #
Instance details Defined in Derive.Expr Methods fromString :: String.String -> Expr val #
Read val => Read (Call val) Source #
Instance details Defined in Derive.Expr Methods readsPrec :: Int -> ReadS (Call val) # readList :: ReadS [Call val] # readPrec :: ReadPrec (Call val) # readListPrec :: ReadPrec [Call val] #
Show val => Show (Call val) Source #
Instance details Defined in Derive.Expr Methods showsPrec :: Int -> Call val -> ShowS # show :: Call val -> String.String # showList :: [Call val] -> ShowS #
Eq val => Eq (Call val) Source #
Instance details Defined in Derive.Expr Methods (==) :: Call val -> Call val -> Bool # (/=) :: Call val -> Call val -> Bool #
ShowVal (Call Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Call Val -> Text Source #
ShowVal (Call MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Call MiniVal -> Text Source #
ShowVal (Call Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Call Text -> Text Source #
ShowVal (Expr Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Expr Val -> Text Source #
ShowVal (Expr MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Expr MiniVal -> Text Source #
ShowVal (Expr Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Expr Text -> Text Source #
Pretty (Call Val) Source #
Instance details Defined in Derive.DeriveT Methods pretty :: Call Val -> Text Source # format :: Call Val -> Doc Source # formatList :: [Call Val] -> Doc Source #
Pretty (Call MiniVal) Source #
Instance details Defined in Derive.Expr Methods pretty :: Call MiniVal -> Text Source # format :: Call MiniVal -> Doc Source # formatList :: [Call MiniVal] -> Doc Source #
Pretty (Call Text) Source #
Instance details Defined in Derive.Expr Methods pretty :: Call Text -> Text Source # format :: Call Text -> Doc Source # formatList :: [Call Text] -> Doc Source #

data Term val Source #

Constructors

ValCall (Call val)
Literal val

Instances

Instances details

Functor Term Source #
Instance details Defined in Derive.Expr Methods fmap :: (a -> b) -> Term a -> Term b # (<$) :: a -> Term b -> Term a #
Serialize.Serialize Term Source #
Instance details Defined in Derive.REnv Methods put :: Putter Term Source # get :: Serialize.Get Term Source #
Read val => Read (Term val) Source #
Instance details Defined in Derive.Expr Methods readsPrec :: Int -> ReadS (Term val) # readList :: ReadS [Term val] # readPrec :: ReadPrec (Term val) # readListPrec :: ReadPrec [Term val] #
Show val => Show (Term val) Source #
Instance details Defined in Derive.Expr Methods showsPrec :: Int -> Term val -> ShowS # show :: Term val -> String.String # showList :: [Term val] -> ShowS #
Eq val => Eq (Term val) Source #
Instance details Defined in Derive.Expr Methods (==) :: Term val -> Term val -> Bool # (/=) :: Term val -> Term val -> Bool #
ShowVal (Term Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Term Val -> Text Source #
ShowVal (Term MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Term MiniVal -> Text Source #
ShowVal (Term Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Term Text -> Text Source #
Pretty (Term Val) Source #
Instance details Defined in Derive.DeriveT Methods pretty :: Term Val -> Text Source # format :: Term Val -> Doc Source # formatList :: [Term Val] -> Doc Source #
Pretty (Term MiniVal) Source #
Instance details Defined in Derive.Expr Methods pretty :: Term MiniVal -> Text Source # format :: Term MiniVal -> Doc Source # formatList :: [Term MiniVal] -> Doc Source #
Pretty (Term Text) Source #
Instance details Defined in Derive.Expr Methods pretty :: Term Text -> Text Source # format :: Term Text -> Doc Source # formatList :: [Term Text] -> Doc Source #

show_val_expr :: ShowVal (Call val) => Expr val -> Text Source #

show_val_call :: ShowVal (Term val) => (val -> Maybe Text) -> Call val -> Text Source #

show_val_term :: (ShowVal val, ShowVal (Call val)) => Term val -> Text Source #

newtype Symbol Source #

Name of a call, used to look it up in the namespace.

This is parsed by Parse.p_call_symbol, so it can have any character except space, =, or ) for val calls. It's not enforced though, especially since there's an IsString instance, but if you put in a space you'll get a messed up expression.

Constructors

Symbol Text

Instances

Instances details

String.IsString Symbol Source #
Instance details Defined in Derive.Expr Methods fromString :: String.String -> Symbol #
Monoid Symbol Source #
Instance details Defined in Derive.Expr Methods mempty :: Symbol # mappend :: Symbol -> Symbol -> Symbol # mconcat :: [Symbol] -> Symbol #
Semigroup Symbol Source #
Instance details Defined in Derive.Expr Methods (<>) :: Symbol -> Symbol -> Symbol # sconcat :: NonEmpty Symbol -> Symbol # stimes :: Integral b => b -> Symbol -> Symbol #
Read Symbol Source #
Instance details Defined in Derive.Expr Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Derive.Expr Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String.String # showList :: [Symbol] -> ShowS #
DeepSeq.NFData Symbol Source #
Instance details Defined in Derive.Expr Methods rnf :: Symbol -> () #
Eq Symbol Source #
Instance details Defined in Derive.Expr Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in Derive.Expr Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
ShowVal Symbol Source #
Instance details Defined in Derive.Expr Methods show_val :: Symbol -> Text Source #
ToVal Symbol Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Symbol -> Val Source #
Typecheck Symbol Source #
Instance details Defined in Derive.Typecheck Methods from_val :: Val -> Checked Symbol Source # to_type :: Proxy Symbol -> Type Source # from_subtrack :: Track -> Maybe Symbol Source #
Pretty Symbol Source #
Instance details Defined in Derive.Expr Methods pretty :: Symbol -> Text Source # format :: Symbol -> Doc Source # formatList :: [Symbol] -> Doc Source #
Serialize.Serialize Symbol Source #
Instance details Defined in Derive.Expr Methods put :: Putter Symbol Source # get :: Serialize.Get Symbol Source #

unsym :: Symbol -> Text Source #

expr :: [Call val] -> Call val -> Expr val Source #

generator :: Call val -> Expr val Source #

generator0 :: Symbol -> Expr val Source #

Generator with no arguments.

split :: Expr val -> ([Call val], Call val) Source #

Split into (transformers, generator). Inverse of expr.

call :: Symbol -> [val] -> Call val Source #

Make a Call with Literal args.

call0 :: Symbol -> Call val Source #

val_call :: Symbol -> [a] -> Term a Source #

transform :: Call a -> Expr a -> Expr a Source #

transform0 :: Symbol -> Expr a -> Expr a Source #

with :: ToExpr a => Symbol -> a -> Expr MiniVal Source #

Shortcut to transform an Expr.

transform

str_to_scale_id :: Str -> Pitch.ScaleId Source #

scale_id_to_str :: Pitch.ScaleId -> Str Source #

map_symbol :: (Symbol -> Symbol) -> Call a -> Call a Source #

map_literals :: (a -> b) -> Expr a -> Expr b Source #

Transform the Literals in an expression.

map_generator :: (Symbol -> Symbol) -> Expr a -> Expr a Source #

Transform only the Symbol in the generator position.

ToExpr

class ToExpr a where Source #

This is meant for types which can be turned into a tracklang expression. For example, drum strokes might have a parsed form which can be turned into calls.

Methods

to_expr :: a -> Expr MiniVal Source #

Instances

Instances details

ToExpr Bol Source #
Instance details Defined in Solkattu.Bol Methods to_expr :: Bol -> Expr MiniVal Source #
ToExpr Stroke Source #	These have to match with Cmd.Instrument.KendangBali.
Instance details Defined in Solkattu.Instrument.KendangPasang Methods to_expr :: Stroke -> Expr MiniVal Source #
ToExpr Stroke Source #	TODO should I make these consistent with `Strokes`?
Instance details Defined in Solkattu.Instrument.KendangTunggal Methods to_expr :: Stroke -> Expr MiniVal Source #
ToExpr Stroke Source #	Pretty reproduces the Derive.Solkattu.Dsl syntax, which has to be haskell syntax, so it can't use +, and I have to put thoppi first to avoid the keyword `do`. It would be nice if I could make the tracklang syntax consistent, but maybe not a huge deal at the moment.
Instance details Defined in Solkattu.Instrument.Mridangam Methods to_expr :: Stroke -> Expr MiniVal Source #
ToExpr Stroke Source #
Instance details Defined in Solkattu.Instrument.Reyong Methods to_expr :: Stroke -> Expr MiniVal Source #
ToExpr Stroke Source #
Instance details Defined in Solkattu.Instrument.Sargam Methods to_expr :: Stroke -> Expr MiniVal Source #
ToExpr Pattern Source #
Instance details Defined in Solkattu.Solkattu Methods to_expr :: Pattern -> Expr MiniVal Source #
ToExpr Sollu Source #
Instance details Defined in Solkattu.Instrument.Konnakol Methods to_expr :: Sollu -> Expr MiniVal Source #
ToExpr (Stroke Bol) Source #
Instance details Defined in Solkattu.Bol Methods to_expr :: Stroke Bol -> Expr MiniVal Source #
ToExpr (Stroke Stroke) Source #
Instance details Defined in Solkattu.Instrument.KendangPasang Methods to_expr :: Stroke0 Stroke -> Expr MiniVal Source #
ToExpr (Stroke Stroke) Source #
Instance details Defined in Solkattu.Instrument.KendangTunggal Methods to_expr :: Stroke0 Stroke -> Expr MiniVal Source #
ToExpr (Stroke Stroke) Source #
Instance details Defined in Solkattu.Instrument.Mridangam Methods to_expr :: Stroke0 Stroke -> Expr MiniVal Source #
ToExpr (Stroke Stroke) Source #
Instance details Defined in Solkattu.Instrument.Reyong Methods to_expr :: Stroke0 Stroke -> Expr MiniVal Source #
ToExpr (Stroke Stroke) Source #
Instance details Defined in Solkattu.Instrument.Sargam Methods to_expr :: Stroke0 Stroke -> Expr MiniVal Source #
ToExpr (Stroke Sollu) Source #
Instance details Defined in Solkattu.Instrument.Konnakol Methods to_expr :: Stroke Sollu -> Expr MiniVal Source #

Str

newtype Str Source #

Constructors

Str Text

Instances

Instances details

String.IsString Str Source #
Instance details Defined in Derive.Expr Methods fromString :: String.String -> Str #
Read Str Source #
Instance details Defined in Derive.Expr Methods readsPrec :: Int -> ReadS Str # readList :: ReadS [Str] # readPrec :: ReadPrec Str # readListPrec :: ReadPrec [Str] #
Show Str Source #
Instance details Defined in Derive.Expr Methods showsPrec :: Int -> Str -> ShowS # show :: Str -> String.String # showList :: [Str] -> ShowS #
DeepSeq.NFData Str Source #
Instance details Defined in Derive.Expr Methods rnf :: Str -> () #
Eq Str Source #
Instance details Defined in Derive.Expr Methods (==) :: Str -> Str -> Bool # (/=) :: Str -> Str -> Bool #
Ord Str Source #
Instance details Defined in Derive.Expr Methods compare :: Str -> Str -> Ordering # (<) :: Str -> Str -> Bool # (<=) :: Str -> Str -> Bool # (>) :: Str -> Str -> Bool # (>=) :: Str -> Str -> Bool # max :: Str -> Str -> Str # min :: Str -> Str -> Str #
ToVal Str Source #
Instance details Defined in Derive.REnv Methods to_val :: Str -> Val Source #
ShowVal Str Source #
Instance details Defined in Derive.Expr Methods show_val :: Str -> Text Source #
ToVal Str Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Str -> Val Source #
Typecheck Str Source #
Instance details Defined in Derive.Typecheck Methods from_val :: Val -> Checked Str Source # to_type :: Proxy Str -> Type Source # from_subtrack :: Track -> Maybe Str Source #
Pretty Str Source #
Instance details Defined in Derive.Expr Methods pretty :: Str -> Text Source # format :: Str -> Doc Source # formatList :: [Str] -> Doc Source #
Serialize.Serialize Str Source #
Instance details Defined in Derive.Expr Methods put :: Putter Str Source # get :: Serialize.Get Str Source #

unstr :: Str -> Text Source #

MiniVal

data MiniVal Source #

Yes, it's yet another Val variant. This one is even more mini than REnv.Val. TODO NOTE [val-and-minival]

Constructors

VNum !(ScoreT.Typed Signal.Y)
VStr !Str

Instances

Instances details

String.IsString MiniVal Source #
Instance details Defined in Derive.Expr Methods fromString :: String.String -> MiniVal #
Show MiniVal Source #
Instance details Defined in Derive.Expr Methods showsPrec :: Int -> MiniVal -> ShowS # show :: MiniVal -> String.String # showList :: [MiniVal] -> ShowS #
Eq MiniVal Source #
Instance details Defined in Derive.Expr Methods (==) :: MiniVal -> MiniVal -> Bool # (/=) :: MiniVal -> MiniVal -> Bool #
Ord MiniVal Source #
Instance details Defined in Derive.Expr Methods compare :: MiniVal -> MiniVal -> Ordering # (<) :: MiniVal -> MiniVal -> Bool # (<=) :: MiniVal -> MiniVal -> Bool # (>) :: MiniVal -> MiniVal -> Bool # (>=) :: MiniVal -> MiniVal -> Bool # max :: MiniVal -> MiniVal -> MiniVal # min :: MiniVal -> MiniVal -> MiniVal #
ShowVal MiniVal Source #
Instance details Defined in Derive.Expr Methods show_val :: MiniVal -> Text Source #
Pretty MiniVal Source #
Instance details Defined in Derive.Expr Methods pretty :: MiniVal -> Text Source # format :: MiniVal -> Doc Source # formatList :: [MiniVal] -> Doc Source #
Serialize.Serialize MiniVal Source #
Instance details Defined in Derive.Expr Methods put :: Putter MiniVal Source # get :: Serialize.Get MiniVal Source #
ShowVal (Call MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Call MiniVal -> Text Source #
ShowVal (Expr MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Expr MiniVal -> Text Source #
ShowVal (Term MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Term MiniVal -> Text Source #
Pretty (Call MiniVal) Source #
Instance details Defined in Derive.Expr Methods pretty :: Call MiniVal -> Text Source # format :: Call MiniVal -> Doc Source # formatList :: [Call MiniVal] -> Doc Source #
Pretty (Term MiniVal) Source #
Instance details Defined in Derive.Expr Methods pretty :: Term MiniVal -> Text Source # format :: Term MiniVal -> Doc Source # formatList :: [Term MiniVal] -> Doc Source #

class ToVal a where Source #

Methods

to_val :: a -> MiniVal Source #

Instances

Instances details

ToVal Text Source #
Instance details Defined in Derive.Expr Methods to_val :: Text -> MiniVal Source #
ToVal Double Source #
Instance details Defined in Derive.Expr Methods to_val :: Double -> MiniVal Source #
ToVal Int Source #
Instance details Defined in Derive.Expr Methods to_val :: Int -> MiniVal Source #