Anthony Leiro lenileiro
lenileiro
/ datalog.ex
Last active
January 14, 2024 11:05
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| defmodule App.Datalog do | |
| use DatalogBuilder | |
| import_rules(App.Account.Rules) | |
| import_rules(App.Document.Rules) | |
| end |
lenileiro
/ datalog.ex
Last active
April 17, 2024 21:02
Elixir Datalog modelled as ReBAC (Relationship-Based Access Control) - Inspired by Google Zanzibar authorization system
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| defmodule Datalog do | |
| defstruct rules: [], facts: %{} | |
| alias Datalog.{Fact, Rule} | |
| alias __MODULE__ | |
| def new, do: %__MODULE__{} | |
| def add_rule(%Datalog{rules: rules} = datalog, %Rule{} = rule) do | |
| {:ok, %Datalog{datalog | rules: [rule | rules]}} |
lenileiro
/ task_async_stream_supervisor.ex
Created
November 2, 2023 12:34
— forked from eskil/task_async_stream_supervisor.ex
Example of how to do retryable Task.Supervisor.async_stream since it doesn't do retries for you
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| require Integer | |
| require Logger | |
| defmodule Processor do | |
| def process(state) do | |
| :timer.sleep(1000) | |
| result = :os.system_time(:millisecond) | |
| Logger.info("process(#{state}) -> #{result}") | |
| case Integer.is_even(result) do | |
| true -> |