Trusted Identity Contracts

identity1.ml

[%%version 0.3]

(* Identity Domain *)

type storage =
  { version : string;
    owner : address;
    domain : (address, bool) map;
  } 

type action = 
    SetMember of address * bool

let%entry main (parameter : action) (storage : storage) =
  match parameter with
    SetMember (id, value) ->
      if Current.source () = storage.owner then
        let m = Map.add id value storage.domain in
        ( ([] : operation list), {
              version = storage.version;
              owner = storage.owner;
              domain = m;
            } )
      else
        Current.failwith (Current.source ())