builtins.rs 7.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177
  1. use crate::ast::*;
  2. use crate::interp::*;
  3. use anyhow::{bail, Error};
  4. /// The list of builtins provided at startup.
  5. pub fn builtins() -> Vec<BuiltinFunc> {
  6. vec![
  7. BuiltinFunc {
  8. name: "rep",
  9. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  10. let (rep, expr) = {
  11. let ast = state.ast.borrow();
  12. let args = match &ast[expr] {
  13. Expr::Tup(tup) => tup,
  14. _ => {
  15. let span = state.ast.borrow().get_line(expr.file, expr.span);
  16. bail!("`rep`: expected tuple\n{}", span)
  17. }
  18. };
  19. if args.len() != 2 {
  20. let span = state.ast.borrow().get_line(expr.file, expr.span);
  21. bail!(
  22. "`rep`: expected two arguments, got {}\n{}",
  23. args.len(),
  24. span
  25. )
  26. }
  27. (args[0], args[1])
  28. };
  29. let mut buf = String::new();
  30. let num = state.eval(rep, env)?.as_num(&state.ast.borrow())?;
  31. for _ in 0..num {
  32. buf.push_str(
  33. &state
  34. .eval(expr, env)?
  35. .as_str(&state.ast.borrow())?
  36. .to_string(),
  37. );
  38. }
  39. Ok(Value::Lit(Literal::Str(buf)))
  40. }),
  41. },
  42. BuiltinFunc {
  43. name: "length",
  44. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  45. let args = match state.eval(expr, env)? {
  46. Value::Tup(tup) => tup,
  47. _ => bail!("`length`: expected tuple"),
  48. };
  49. Ok(Value::Lit(Literal::Num(args.len() as i64)))
  50. }),
  51. },
  52. BuiltinFunc {
  53. name: "to-upper",
  54. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  55. let s = state.eval(expr, env)?;
  56. Ok(Value::Lit(Literal::Str(
  57. s.as_str(&state.ast.borrow())?.to_uppercase(),
  58. )))
  59. }),
  60. },
  61. BuiltinFunc {
  62. name: "capitalize",
  63. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  64. let s = state.eval(expr, env)?;
  65. Ok(Value::Lit(Literal::Str(titlecase::titlecase(
  66. s.as_str(&state.ast.borrow())?,
  67. ))))
  68. }),
  69. },
  70. BuiltinFunc {
  71. name: "to-lower",
  72. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  73. let s = state.eval(expr, env)?;
  74. Ok(Value::Lit(Literal::Str(
  75. s.as_str(&state.ast.borrow())?.to_lowercase(),
  76. )))
  77. }),
  78. },
  79. BuiltinFunc {
  80. name: "sub",
  81. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  82. let val = state.eval(expr, env)?;
  83. let args = val.as_tup(&state.ast.borrow())?;
  84. if let [x, y] = args {
  85. let x = state.hnf(x)?.as_num(&state.ast.borrow())?;
  86. let y = state.hnf(y)?.as_num(&state.ast.borrow())?;
  87. Ok(Value::Lit(Literal::Num(x - y)))
  88. } else {
  89. bail!("`sub`: expected 2 arguments, got {}", args.len());
  90. }
  91. }),
  92. },
  93. BuiltinFunc {
  94. name: "concat",
  95. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  96. let val = state.eval(expr, env)?;
  97. let tup = val.as_tup(&state.ast.borrow())?;
  98. let mut contents = Vec::new();
  99. for elem in tup {
  100. for th in state.hnf(elem)?.as_tup(&state.ast.borrow())? {
  101. contents.push(th.clone());
  102. }
  103. }
  104. Ok(Value::Tup(contents))
  105. }),
  106. },
  107. BuiltinFunc {
  108. name: "tuple-index",
  109. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  110. let val = state.eval(expr, env)?;
  111. let args = val.as_tup(&state.ast.borrow())?;
  112. if let [tup, idx] = args {
  113. let tup = state.hnf(tup)?;
  114. let idx = state.hnf(idx)?;
  115. state.hnf(
  116. &tup.as_tup(&state.ast.borrow())?
  117. [idx.as_num(&state.ast.borrow())? as usize],
  118. )
  119. } else {
  120. bail!("`tuple-index`: expected 2 arguments, got {}", args.len());
  121. }
  122. }),
  123. },
  124. BuiltinFunc {
  125. name: "tuple-replace",
  126. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  127. let val = state.eval(expr, env)?;
  128. let args = val.as_tup(&state.ast.borrow())?;
  129. if let [tup, idx, new] = args {
  130. let tup_val = state.hnf(tup)?;
  131. let tup = tup_val.as_tup(&state.ast.borrow())?;
  132. let idx = state.hnf(idx)?.as_num(&state.ast.borrow())?;
  133. let mut modified = Vec::with_capacity(tup.len());
  134. for i in 0..idx {
  135. modified.push(tup[i as usize].clone());
  136. }
  137. modified.push(new.clone());
  138. for i in (idx + 1)..(tup.len() as i64) {
  139. modified.push(tup[i as usize].clone());
  140. }
  141. Ok(Value::Tup(modified))
  142. } else {
  143. bail!("`tuple-index`: expected 2 arguments, got {}", args.len());
  144. }
  145. }),
  146. },
  147. BuiltinFunc {
  148. name: "tuple-fold",
  149. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  150. let val = state.eval(expr, env)?;
  151. let args = val.as_tup(&state.ast.borrow())?;
  152. if let [func, init, tup] = args {
  153. let func = state.hnf(func)?;
  154. let tup = state.hnf(tup)?;
  155. let mut result = init.clone();
  156. for t in tup.as_tup(&state.ast.borrow())? {
  157. let partial =
  158. state.eval_closure(func.as_closure(&state.ast.borrow())?, result)?;
  159. result =
  160. Thunk::Value(state.eval_closure(
  161. partial.as_closure(&state.ast.borrow())?,
  162. t.clone(),
  163. )?);
  164. }
  165. state.hnf(&result)
  166. } else {
  167. bail!("`tuple-fold`: expected 3 arguments, got {}", args.len());
  168. }
  169. }),
  170. },
  171. ]
  172. }