Lines Matching defs:BuiltIn
23 pub enum BuiltIn {
40 BuiltIn(BuiltIn),
68 fn parse_builtin_op<'a>(i: &'a str) -> IResult<&'a str, BuiltIn, VerboseError<&'a str>> {
77 '+' => BuiltIn::Plus,
78 '-' => BuiltIn::Minus,
79 '*' => BuiltIn::Times,
80 '/' => BuiltIn::Divide,
81 '=' => BuiltIn::Equal,
87 fn parse_builtin<'a>(i: &'a str) -> IResult<&'a str, BuiltIn, VerboseError<&'a str>> {
93 // so we ignore the input and return the BuiltIn directly
94 map(tag("not"), |_| BuiltIn::Not),
138 map(parse_builtin, Atom::BuiltIn),
296 if let Expr::Constant(Atom::BuiltIn(bi)) = reduced_head {
298 BuiltIn::Plus => Atom::Num(
306 BuiltIn::Times => Atom::Num(
314 BuiltIn::Equal => Atom::Boolean(
320 BuiltIn::Not => {
327 BuiltIn::Minus => Atom::Num(if let Some(first_elem) = reduced_tail.first().cloned() {
339 BuiltIn::Divide => Atom::Num(if let Some(first_elem) = reduced_tail.first().cloned() {