dimitarvp

dimitarvp

StreamData: generating valid tri-tuple date

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?

Marked As Solved

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

Last Post!

dimitarvp

dimitarvp

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!

Where Next?

Popular in Questions Top

nobody
Hi! In PHP: $_SERVER[‘SERVER_ADDR’] - in Elixir? Searched the docs for ip address and the web, no good results. Thanks!
New
Qqwy
Original source of discussion: This topic on the Pragmatic Programmers’ Functional Web Development with Elixir, OTP, and Phoenix forum. ...
New
skosch
To my knowledge, put_in, Map.update etc. all have the one limitation of not automatically creating intermediate keys when needed (for exa...
New
jay1
Why is it that the mnesia database isn’t the most preferred database for use in Elixir/Phoenix?
New
gshaw
What is the idiomatic way of matching for not nil in Elixir? E.g., First way: defp halt_if_not_signed_in(conn, signed_in_account) when...
New
aalberti333
As the title describes, I’m trying to run Enum.map() over a list of key/value pairs, where the value is a map. My data looks like this: ...
New
jason.o
In the code below, if the create action is not set to accept “extra_key” as an input, it errors out with a message shown above. Is there ...
New

Other popular topics Top

electic
Hi, I am new to Elixir. I am trying to use the DateTime component to insert a date into MySQL however the there seems to be no way to fo...
New
minhajuddin
I have seen a lot of code which picks the first element from a list using Enum.at(0) instead of List.first. Is there a reason why people ...
New
ashish173
I am using Ecto timestamps with postgres, I can see the timestamps() use the :naive_dateime but for my use case I wanted to store the ti...
New
shijith.k
I am trying to start a new phoenix project with elixir 1.9, but mix phx.new does not work. It says that ** (Mix) The task "phx.new" could...
New
alice
Hey, Just curious what are the main benefits of Elixir compared to Clojure? When is Elixir more useful than Clojure and vice versa? Th...
New
dblack
I’ve got an issue with an app and I’ve no idea of how to troubleshoot it. I’m hoping someone here might have seen something similar. I p...
New

We're in Beta

About us Mission Statement