builtins.rs 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184
  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: "str/upper",
  44. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  45. let s = state.eval(expr, env)?;
  46. Ok(Value::Lit(Literal::Str(
  47. s.as_str(&state.ast.borrow())?.to_uppercase(),
  48. )))
  49. }),
  50. },
  51. BuiltinFunc {
  52. name: "str/capitalize",
  53. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  54. let s = state.eval(expr, env)?;
  55. Ok(Value::Lit(Literal::Str(titlecase::titlecase(
  56. s.as_str(&state.ast.borrow())?,
  57. ))))
  58. }),
  59. },
  60. BuiltinFunc {
  61. name: "str/lower",
  62. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  63. let s = state.eval(expr, env)?;
  64. Ok(Value::Lit(Literal::Str(
  65. s.as_str(&state.ast.borrow())?.to_lowercase(),
  66. )))
  67. }),
  68. },
  69. BuiltinFunc {
  70. name: "sub",
  71. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  72. let val = state.eval(expr, env)?;
  73. let args = val.as_tup(&state.ast.borrow())?;
  74. if let [x, y] = args {
  75. let x = state.hnf(x)?.as_num(&state.ast.borrow())?;
  76. let y = state.hnf(y)?.as_num(&state.ast.borrow())?;
  77. Ok(Value::Lit(Literal::Num(x - y)))
  78. } else {
  79. bail!("`sub`: expected 2 arguments, got {}", args.len());
  80. }
  81. }),
  82. },
  83. BuiltinFunc {
  84. name: "tuple/len",
  85. callback: Box::new(|state: &State, expr: ExprRef, env: &Env| -> Result<Value, Error> {
  86. let args = match state.eval(expr, env)? {
  87. Value::Tup(tup) => tup,
  88. _ => bail!("`tup/len`: expected tuple"),
  89. };
  90. Ok(Value::Lit(Literal::Num(args.len() as i64)))
  91. }),
  92. },
  93. BuiltinFunc {
  94. name: "tuple/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. result = Thunk::Value(
  158. state.eval_closure(
  159. func.as_closure(&state.ast.borrow())?,
  160. vec![result, t.clone()],
  161. )?);
  162. }
  163. state.hnf(&result)
  164. } else {
  165. bail!("`tuple-fold`: expected 3 arguments, got {}", args.len());
  166. }
  167. }),
  168. },
  169. ]
  170. }