[erlang-questions] dialyzer and behaviours

[Sean Cribbs]

Your example will work if you are implementing some other module which uses
my_db as its behavior:

-module(db_impl).
-behaviour(my_db).
-export([table/0]).

table -> ["hello, world"].


On Wed, Jul 16, 2014 at 7:56 AM, Daniil Churikov <ddosia@REDACTED> wrote:

> %% I apologize if you get this message second time, but initially I posted
> it through google-groups
> %% interface and discovered that it is not replicated to this mailing list.
>
> Is there any way to write a spec for dialyzer that will tell that I expect
> module of certain behaviour?
>
> Simplified example:
>
> -module(my_db)
>
> -callback table() -> iolist().
>
> %% Instead of `Mod :: atom()' I want something that will reflect that only
> %% modules which implements `my_db' behaviour are allowed.
> -spec create(Mod :: atom(), Vals :: [iolist(), ...]) -> iolist().
> create(Mod, Vals) ->
>     Table = Mod:table(),
>     ["INSERT INTO ", Table, " VALUES (", string:join(Vals, ", "), ");"].
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
>


-- 
Sean Cribbs <sean@REDACTED>
Software Engineer
Basho Technologies, Inc.
http://basho.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20140716/7d5917b5/attachment.htm>