Python view_update Exemples

Exemple #1

 def push(message, data, *args, **kwargs):
     head, tail = message
     subhead, update = util.view_update(head, view_fun)
     subhead, tail = codec.push((subhead, tail), data, *args, **kwargs)
     return update(subhead), tail

Exemple #2

 def pop(message, *args, **kwargs):
     head, tail = message
     subhead, update = util.view_update(head, view_fun)
     (subhead, tail), data = codec.pop((subhead, tail), *args, **kwargs)
     return (update(subhead), tail), data

Exemple #3

 def pop(message, *context):
     head, tail = message
     subhead, update = util.view_update(head, view_fun)
     (subhead, tail), data, *context = codec.pop((subhead, tail), *context)
     return ((update(subhead), tail), data, *context)