dimitarvp

dimitarvp

Hello.
I would like to generate a valid tri-tuple date with StreamData. After some digging and experimentation I arrived at this working code:

defmodule SomeFactory do
  def valid_date?({_y, _m, _d} = date_tuple) do
    case Date.from_erl(date_tuple) do
      {:ok, _date} -> true
      _ -> false
    end
  end

  def date_maybe_invalid_tuple() do
    gen all y <- integer(0..99),
            m <- integer(1..12),
            d <- integer(1..31) do
      {y, m, d}
    end
  end

  def date_valid_tuple() do
    StreamData.filter(date_maybe_invalid_tuple(), &valid_date?/1)
  end
end

Running this gave me a reasonable certainty that the filter indeed stops invalid dates like 2018-02-30 (it returns the empty list as I expected):

Enum.take(SomeFactory.date_valid_tuple(), 1_000_000) |> Enum.reject(&SomeFactory.valid_date?/1)

So, am I doing this right? And is there a way to do the above with only one function?

Showing Posts 1 to 2

mudasobwa

mudasobwa

Creator of Cure

Looks perfectly legit.

The only thing is you are kinda abusing case; use Kernel.match?/2 instead:

def valid_date?({_y, _m, _d} = date_tuple) do
  match?({:ok, _date}, Date.from_erl(date_tuple))
end

Also, you might put this guard directly into the generator as shown here:

 gen all y <- integer(0..99),
         m <- integer(1..12),
         d <- integer(1..31),
         match?({:ok, _date}, Date.from_erl({y, m, d})) do
dimitarvp

dimitarvp OP

I was misspelling the checks to follow the left <- right idiom for some reason.

Good catch on match?, totally forgot about it in this case.

Thanks!

— 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