aaron-price

aaron-price

I am just starting to dabble with :mnesia.select/1 and for the most part it works fine, but how can I get the equivalent of Kernel.in/2 ?

For example this guard works and returns the correct results

[  {:==, :"$4", 10}  ]

But this aborts with a :badarg message, because erlang has no in (or maybe it does? I don’t know erlang)

[   {:in, :"$4", [10] }   ],

So how should I write such a guard clause?

In the erlang docs, I see that erlang DOES have a :lists.member function, but I cannot understand how to use that here. [ {:"lists.member", :"$4", [10]} ] does not appear to work, I’m not sure what syntax it is even expecting there.

According to the match spec docs, there is a set of built in functions, like ==, or map_get… But I see no way of asserting membership inside a list.

Showing Posts 1 to 2

josevalim

josevalim

Creator of Elixir

You have to compile them to a comparison with every element of the list using =:= and then or all comparisons together, which is precisely what the in macro does anyway. :slight_smile:

aaron-price

aaron-price OP

Thanks Jose! That works.

For posterity, my implementation:

  def guard_in(value, li) do
    clauses = Enum.map(li, &({:"=:=", value, &1}))
    List.to_tuple([:or | clauses])
  end

  # ...

  :mnesia.transaction(fn ->
    :mnesia.select(table, [{
      {table, :_, :"$1"}, 
      [guard_in(:"$1", [10, 40])],
      [:"$$"]
    }])
  end)


— All posts loaded —

Where Next? Top

Trending in Questions Top

RSP87
I’m working on a project that simulates the bumbl example in the programming phoenix book. It acts almost like an email client. We have a...
New
nseaSeb
Hello, I know there is an approach for handling lists that allows for optimized traversal, but I can’t recall the specific method (somet...
New
kpanic
Hi everyone, I am toying with the idea of building a “match maker” for giving personal help to people that wants to start coding. I sta...
New
brecabral
Documentation While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
New
velrest
So my question is quite simple and i have found no conclusive answer on forum, google or AI. Should we use :erlang.float for Integer to ...
New
asweet-confluent
I recently noticed that Elixir’s Logger defaults its primary log level to :debug when no :logger, :level application configuration is pre...
New
apz
I’m new to elixir and just tried to install the elixirLS extension for VScode(ium) and it is throwing some errors that I would like help ...
New

Other Trending Topics Top

GenericJam
Edit: 2026 May 15 - This post is archived. Mob is alive!! Main docs: mob v0.7.11 — Documentation A bit of explanation for the slightly c...
New
JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews