jonericcook

jonericcook

Hello,

Is there a way to combine types? It would be awesome to be able to do |> for Map.merge

defmodule JEC.Types do
  @type network_identifier :: %{
          network_identifier: %{
            network: String.t()
          }
        }

  @type public_key :: %{
          public_key: %{
            hex: String.t()
          }
        }

  @type derive_account_identifier :: network_identifier() |> Map.merge(public_key())
end

When i try the above i get this error

(CompileError) type |>/2 undefined (no such type in Radixir.Types)
Stacktrace:
  │ (elixir 1.13.2) lib/kernel/typespec.ex:923: Kernel.Typespec.compile_error/2
  │ (elixir 1.13.2) lib/kernel/typespec.ex:307: Kernel.Typespec.translate_type/2
  │ (stdlib 3.17) lists.erl:1358: :lists.mapfoldl/3
  │ (stdlib 3.17) lists.erl:1359: :lists.mapfoldl/3
  │ (elixir 1.13.2) lib/kernel/typespec.ex:235: Kernel.Typespec.translate_typespecs_for_module/2

But doing this work

defmodule JEC.Types do
  @type network_identifier :: %{
          network_identifier: %{
            network: String.t()
          }
        }

  @type public_key :: %{
          public_key: %{
            hex: String.t()
          }
        }

  @type derive_account_identifier :: Map.merge(network_identifier(), public_key())
end

Im going to need to merge a lot @type so doing the Map.merge would get pretty messy.

Any ideas / help would be much appreciated.

Showing Posts 1 to 7

dimitarvp

dimitarvp

Not going to give you a copy-paste-able suggestion but probably macros can help.

jonericcook

jonericcook OP

Cool - ill dig into macros :call_me_hand:

eksperimental

eksperimental

Look into the Code.Typespec

elixir/lib/elixir/lib/code/typespec.ex at d17d2f209113143c32c72b8815e7d9fb2dc93527 · elixir-lang/elixir · GitHub

Note it is not an API,
so copy and paste the code and base your code in it, as it may change over time.

eksperimental

eksperimental

Note that you can also do a join,

@type derive_account_identifier :: network_identifier() | public_key()
dimitarvp

dimitarvp

Always thought that’s an OR operator. But it actually merges? Nice.

jonericcook

jonericcook OP

I don’t believe it merges :confused:

I think it is intact an OR

eksperimental

eksperimental

exactly.

— All posts loaded —

Where Next? Top

Trending in Questions Top

katta
I having some trouble figuring out if I have set myself too strict of standards for my production server. Currently I can handle 75% of r...
New
brecabral
Documentation While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
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
achenet
Hello, I’m trying to build a basic Phoenix web-app, and I’d like to use Tailwind. However, when I launch mix phx.server, I get an error...
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
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

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
garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
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
budgie
A little off-topic, but I feel like people here have a good head on their shoulders. I used to be quite good at making software. Was luc...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews