Service Layer Reference¶

service MyService {
  action createUser(email: Email, name: String) -> User
    enforces UserPolicy.can_create
    effects { Write(User) }
    implementation {
      // action logic
    }
}

action name(param1: Type1, param2: Type2) -> ReturnType

enforces PolicyName.rule_name(entity)

effects { Read(Entity), Write(Entity), Delete(Entity) }

implementation {
  let entity = Entity { ... }
  store(entity)
  return entity
}

// Storage
load(Entity, id)
store(entity)
delete(entity)
loadAll(Entity)

// Utilities
generateId()
now()
emit(Event)

action risky() -> Result[Data, Error]
  implementation {
    match externalCall() {
      Ok(data) => Ok(data)
      Err(e) => Err(MyError.External(e))
    }
  }

implementation {
  validate {
    len(name) >= 3
    age >= 18
  }
  // ...
}