Adb

Egyenlore semmi.

Example session

Az R24Core modulban.

Szinkronos hivasnal:

task = Task.async(fn -> send :tdb, ["sync", self(), uuid, "new_id"]; receive do msg -> msg end end)
res = Task.await(task)
# ...
res = Task.async(fn -> send :tdb, ["sync", self(), uuid, "new_id"]; receive do msg -> msg end end) |> Task.await()
# ...
res = Task.async(fn -> sl = self(); send :tdb, ["sync", sl, inspect(sl), {"counters", counters}]; receive do msg -> msg end end) |> Task.await()

With

Egyszeru error monad, az elixir with utasitasa helyett, ami szar.

import Util

A helyi "do-notation":

wmonad do
  wo(x) = monadikus muvelet x-szel
  wo(x) = monadikus muvelet x-szel
  wo(x) = monadikus muvelet x-szel
  monadikus muvelet x-szel
end

Ha valami hiba van

wmonad do
  wo(x) = if x.ertek == joertek, do: wo(x transzformalva), else: we "elbaszott_attributum: #{inspect x.ertek}, elvart: #{inspect joertek}"
end

Ritkabban

wmonad do
  wo(x) = if x.ertek == joertek, do: wo(x transzformalva), else: wf {:elbaszott_attributum, x.ertek}
end

Ha a hibauzenet szoveges, eggyel magasabb szinten ki lehet egesziteni:

wo(valami) = wext monadikus_fuggveny(valami), " izemize"

Ilyenkor, ha hiba van, a hibauzenethez hozzacsapodik az "izemize".

Egyeb:

Util.wmatch([title, folder_id], params, BAD_SAND_VOTE_COLLECTION_PARAMS)

Megnezi, hogy params illeszkedik-e [title, folder_id]-re. Ha igen, megy tovabb, es az illeszkedes miatt a valtozok fel is veszik az ertekeket. Ha nem, visszaadja az Util.wf(BAD_SAND_VOTE_COLLECTION_PARAMS) hibat.

Util.wcond(pr == nil, BAD_SAND_VOTE_COLLECTION_FOLDER)

Ha pr == nil, akkor Util.wf(BAD_SAND_VOTE_COLLECTION_FOLDER).

Util.wcall(valami(param))
# ekvivalens:
:ok = valami(param)

ahol valami(param) vagy :ok-t ad vissza, vagy {:error, term}-et.

Olvashatosag

require Util

Ekvivalens:

var = if condi, do: clause, else: var
Util.wif var, condi, do: clause

Ekvivalens:

if condi, do: clause, else: var
Util.wife var, condi, do: clause

Hatravetett ertekadas

defmodule Valami do
  require Uitl
  Util.arrow_assignment()
  def shitty_function(x, y, z) do
    # Ezek ekvivalensek.
    var = expr
    expr >>> var
  end
end

Pdecoder

Struktura-ellenorzo parsolt dolgokhoz.

• Lehetove teszi, hogy megnezzuk, egy (opcionalisan mar parsolt) JSON-nak a megfelelo mezoi vannak-e. Ha igen, ezeket atomma alakitja.
• Infrastrukturat ad arra, hogy a szemantikai ellenorzest elvegezhessuk.

use Util.Pdecoder, fields: fl, type: tp, only_fields: only_f

Ha a defaultot akarjuk hasznalni csak, akkor:

def check_callback(x,not_found,surplus), do: check_callback_default(x,not_found,surplus)

Parameterek:

• fields: a tipus mezoinek listaja.
  • Lehetnek csak atomok,
  • vagy kulcslista.
• type: a tipus specifikacioja.
• only_fields: csak a megadott mezok lehetnek benne.

Feltetelezes:

• %__MODULE__{} a struktura, amire ez vonatkozik!

Egyeb:

• A check_callback lehetoseget ad szemantikai ellenorzesre.

check_callback

Szemantikai es egyeb ellenorzesi es konvertalasi lehetoseg a felhasznalonak, ha mar a struktura alapvetoen jonak bizonyul, ti. a kulcsok valoban megfeleloek.

• Van egy default-implementacio, check_callback_default, ami "helybenhagyja" a strukturat.

Parameterek:

• str: az eddig elkeszult resze a strukturanak.
• not_found: az eredeti strukturanak az a resze (azok a kulcsok), melyekhez nem volt a parsolt strukturaban megfelelo string-kulcs.
• surplus: azon resze az eredeti map-nek, melynek nincs megfeleloje a specifikacioban, azaz plusz-mezok.

Return:

• A feljavitott str.
• With-monadban, ha hiba van.

Comment

Blokk-kommentek, mivel megszuntettek a @docp lehetoseget.

import Util

comment "Ez egy komment."

comment """
Ez egy tobbsoros
k-nagy komment.
"""

LogRotator

A napi logokat intezi a :loggger_file_backend-hez.

app.ex:

defmodule App do
  use Application

  def start(_type, _args) do
    import Supervisor.Spec, warn: false

    children = [
      Util.LogRotator.child_spec(:error_log)
    ]

    Supervisor.start_link(children, strategy: :one_for_one, name: :supervisor)
  end
end

config.exs:

use Mix.Config

config :logger,
  backends: [{LoggerFileBackend, :error_log}, :console]

# configuration for the {LoggerFileBackend, :error_log} backend
config :logger, :error_log,
  path: "log/inst.log",
  format: "$date $time $metadata[$level] $levelpad$message\n",
  metadata: [:line],
  level: :info

# level: :error

config :logger, :console,
  format: "$date $time $metadata[$level] $levelpad$message\n",
  metadata: [:line]

GlobalGenerator

# Parancs:
GlobalGenerator.fordit_overwrite(ValamilyenModul, %{param1: 1, param2: 43434, param3: [:a,:b,:c]})
# Utana ez mind igaz.
1 == ValamilyenModul.param1
43434 == ValamilyenModul.param2
[:a,:b,:c] == ValamilyenModul.param3
# Ujabb parancs:
GlobalGenerator.fordit_merge(ValamilyenModul, %{param4: :nemtudom, param2: "makimajom"})
# Utana ez mind igaz.
1 == ValamilyenModul.param1
"makimajom" == ValamilyenModul.param2
[:a,:b,:c] == ValamilyenModul.param3
:nemtudom == ValamilyenModul.param4

Installation

def deps do
  [
    {:adb, git: "[email protected]:javobalazs/adb.git", tag: "0.3.3"},
  ]
end

def deps do
  [
    {:adb, git: "ssh://[email protected]:6407/balazs/adb.git", tag: "0.3.3"},
  ]
end

Tervek

{
  ts ,|
  get(eq, heartbeat, ts,),
  {
    iam, payload ,|

  ,},
,},

\all, ts \assert
\and
  , \pre, get, eq, heartbeat, ts
  , \all, iam, payload \assert
    \and
      , \pre, get, ciregister, iam, payload
      , \pre,


all , ts assert and , get,eq, heartbeat, ts



* ts
+ , get
  , \step
  , eq
  , heartbeat
  , ts
+ * iam
  * payload
  + , get
    , \step
    , ciregister
    , iam
    , payload
  + - + , =        , payload        , false
      + , get        , \step        , ciregister'        , iam        , :undefined
      + , get, \step, ciregister', iam, :undefined
      + , get
        , \step
        , ciregister'
        , iam
        , :undefined
    - + , =
        , payload
        , { seq
          { cseq
      + xxx