cjbottaro

cjbottaro

I noticed that some function like is_binary/1 is marked as “Allowed in guard tests”. How can I make my own functions/guards like that?

If I defguard and def the same name, the compiler complains.

Thanks!

Showing Posts 1 to 9

benwilson512

benwilson512

Author of Craft GraphQL APIs in Elixir with Absinthe

You can’t, guards are fundamentally defined in the VM itself, which allows the VM to perform specific optimizations. defguard lets you essentially construct “new” guards by composing together other guards, but you can’t make new “from scratch” guards.

cjbottaro

cjbottaro OP

I think I worded my question poorly, but anyways, the docs clearly explain how to do what I want…

(defguard) creates a macro that can be used both inside or outside guards.

defmodule Foo do
  
  defguard bar(m) when is_map(m) and m.field == true
  
end

iex> require Foo
iex> Foo.bar(%{field: true})
true

I just needed to read more better… :slight_smile:

hauleth

hauleth

You can do it even without defguard - macros can be expanded in guards, and that is how custom guards could be done way before defguard became a thing.

cjbottaro

cjbottaro OP

:thinking:

I guess I have a follow up question…

defguard is_automatch(thing) when
    (is_struct(thing, Opportunity) and thing.type == "Opportunity::Automatch")
    or (is_struct(thing, Category) and thing.type == "Category::Automatch")

Is there anyway to get that guard to raise when used on something that isn’t an Opportunity or Category?

Like I want this to raise with a no-clause error instead of returning false:

iex> require Typing
iex> Typing.is_automatch(%{})
false

But only when used as a function and not as a guard. Or if that’s not possible, raise in both cases (guard or function) if you pass the wrong type of thing in.

hauleth

hauleth

defguard is_automatch(thing) when
    (is_struct(thing, Opportunity) and thing.type == "Opportunity::Automatch")
    or (is_struct(thing, Category) and thing.type == "Category::Automatch")
    or :fail

It will raise in both guard and function, but raising in guard mean probably something different than what you expect.

rvirding

rvirding

Creator of Erlang

Yes, it just means that the guard fails and that clause is not chosen.

dimitarvp

dimitarvp

I don’t see the value of guards over this:

def do_stuff(%Opportunity{type: "Opportunity::Automatch"}), do: ...
def do_stuff(%Category{type: "Category::Automatch"}), do: ...

…and nothing else. Elixir will give you a runtime error if you pass anything else because there’s no clause to handle it. :person_shrugging:

cjbottaro

cjbottaro OP

I think guards provide a lot of readability in some cases. Plus it’s nice to be able to use same guard name inside an if or cond statement.

Also I’m just experimenting with types and polymorphism. And I think I’m finding out guards aren’t meant to be used in the way I’m thinking.

Like you can’t replicate this with guards:

def is_automatch(%Opportunity{type: type}), do: type == "Opportunity::Automatch"
def is_automatch(%Categeory{type: type}), do: type == "Category::Automatch"

iex> is_automatch(%User{})
FunctionClauseError

Cuz the whole point of guards is to keep trying to one of them hits; you can’t say “if some condition in this guard happens, halt early and raise an error.” I.e. it’s impossible for a guard to crash because the wrong type was passed to it.

dimitarvp

dimitarvp

I don’t object to anything you said, I am just wondering what kind of code you’re looking to write in the end, hence me earlier reply.

— 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
kszambelanczyk
Hello! Could someone please give me a help/sample code, how to delete a file from s3 using waffle/waffle_ecto from Phoenix app. I creat...
New
RemyXRenard
I’m seeing that a list inside a Kino.DataTable will be interpreted as a charlist, even if the Kino.configure() is set to charlists: :as_l...
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
samoloth
Hi, I’ve just set up an application with ash_authentication. There is only magic link strategy for now, so there is no confirmation add o...
New
FlyingNoodle
If a change or preparation module uses Ash.Changeset.get_argument/2 or Ash.Query.get_argument/2 (or any of the other get_argument functio...
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

Other Trending Topics Top

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
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews