n g, i t w i l l p i c k u p n e w s e r v i c e s t h at w e ad d t o D oc k e r . services: reverse-proxy: image: traefik:v2.4 command: --api.insecure=true --providers.docker ports: - "80:80" - "8080:8080" g ap p s , t h e d oc k e r c on fi g n ow l ook s l i k e t h i s : version: "3.8" services: reverse-proxy: image: traefik:v2.4 command: --api.insecure=true --providers.docker ports: - "80:80" - "8080:8080"

value_type reverse_iterator std::reverse_iterator const_reverse_iterator std::reverse_iterator 56Member type De�nition value_type bool allocator_type Allocator reverse_iterator reverse_iterator std::reverse_iterator const_reverse_iterator std::reverse_iterator size_type implementation-de�ned difference_type implementation-de�ned reference proxy class representing type De�nition value_type bool allocator_type Allocator reverse_iterator std::reverse_iterator const_reverse_iterator std::reverse_iterator size_type size_type implementation-de�ned

represent a function that adds two vectors of natural numbers of the same length, and a constant vec_reverse that can represent a function that reverses its argument. Use implicit arguments for pa- rameters example : (∀ x, p x) ∨ (∀ x, q x) → ∀ x, p x ∨ q x := sorry You should also try to understand why the reverse implication is not derivable in the last example. 2. It is often possible to bring a component of right-hand side. The notation ←t can be used to instruct the tactic to use the equality t in the reverse direction. variables (f : N → N) (a b : N) (continues on next page) 70 Chapter 5. Tactics Theorem

filter ++ pos ©2024 by josuttis.com 38 C++ for (const auto& elem : rg) { process(elem); } • Reverse range iteration: 5 6 8 7 0 1 3 4 2 14 9 10 11 12 13 20 21 22 23 15 16 17 18 19 29 24 25 27 28 C++11/C++20 Reverse Iterating Over a Filter View v = coll | std::views::filter(every7th) | std::views::reverse One call of begin() One call of end() end() begin() ++ pos begin() end() reverse on filter filter -- pos Nico Josuttis C++ Filter View @cppcon 2024-09-17 19©2024 by josuttis.com 39 C++ • Reverse manual iteration: 5 6 8 7 0 1 3 4 2 14 9 10 11 12 13 20 21 22 23 15 16 17 18 19 29 24 25 27 28

other binary operators, binds less tightly than function application. Thus, f x :: reverse ys is parsed as (f x ) :: (reverse ys). It is good practice to avoid needless parentheses. They can quickly impair infix operators, to suggest the right precedence; it is all too easy to misread f x ::reverse ys as f (x ::reverse) ys. Functional programmers often use names such as x s, ys, zs for lists, although l . We can use it to define a function that reverses a list: def reverse {α : Type} : list α → list α | [] := [] | (x :: x s) := reverse x s + + [x ] 1.4 Lemma Statements What makes Lean a proof assistant

application we were working with in the previous tutorial): from django.core.urlresolvers import reverse from django.utils.translation import ugettext_lazy as _ from cms.toolbar_pool import toolbar_pool populate(self): if self.is_current_app: menu = self.toolbar.get_or_create_menu('poll-app', _('Polls')) url = reverse('admin:polls_poll_changelist') menu.add_sideframe_item(_('Poll overview'), url=url) What we’re doing this we need a file called menu.py in the Polls application: from django.core.urlresolvers import reverse from django.utils.translation import ugettext_lazy as _ from cms.menu_bases import CMSAttachMenu

General string handling Models Templates Files Form submission django.urls utility functions reverse() reverse_lazy() resolve() get_script_prefix() django.urls functions for use in URLconfs path() re_path() HttpResponseRedirect from django.shortcuts import get_object_or_404, render from django.urls import reverse from .models import Choice, Question # ... def vote(request, question_id): question = get_o being posted twice if a # user hits the Back button. return HttpResponseRedirect(reverse('polls:results', args=(question.id,))) This code includes a few things we haven’t covered yet in

import toolbar_pool from cms.toolbar_base import CMSToolbar from cms.utils.urlutils import admin_reverse from polls.models import Poll @toolbar_pool.register class PollToolbar(CMSToolbar): supported_apps add_sideframe_item( name=_('Poll list'), url=admin_reverse('polls_poll_changelist'), ) menu.add_modal_item( name=_('Add new poll'), url=admin_reverse('polls_poll_add'), ) What we’re doing above is this: called menu.py in our application. Add polls_plugin/menu.py: from django.core.urlresolvers import reverse from django.utils.translation import ugettext_lazy as _ 5.1. Tutorials 19 django cms Documentation

General string handling Models Templates Files Form submission django.urls utility functions reverse() reverse_lazy() resolve() get_script_prefix() django.urls functions for use in URLconfs path() re_path() HttpResponseRedirect from django.shortcuts import get_object_or_404, render from django.urls import reverse from .models import Choice, Question # ... def vote(request, question_id): question = get_o being posted twice if a # user hits the Back button. return HttpResponseRedirect(reverse('polls:results', args=(question.id,))) This code includes a few things we haven’t covered yet in

HttpResponseRedirect from django.shortcuts import get_object_or_404, render from django.urls import reverse from .models import Choice, Question # ... def vote(request, question_id): question = get_object_or_404(Question prevents data from being posted twice if a # user hits the Back button. return HttpResponseRedirect(reverse('polls:results', args=(question.id,))) This code includes a few things we haven’t covered yet in This tip isn’t specific to Django; it’s just good Web development practice. • We are using the reverse() function in the HttpResponseRedirect constructor in this example. This function helps avoid having