diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model index 6c989ee..f54dd60 100644 --- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model +++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model @@ -1,3 +1,7 @@ +channel CIO_AddCustomer { + out customers(db:Map, addCustomer(uid:Str, off:Str)) == insert(db, uid, addMember(nil, "off", off)) +} + channel CIO_SetCustomerOff(uid:Str) { out customers.{uid}.off(cid:Str, setOff(cid2)) == cid2 }