SDK Python e contrato das telas

from okmigo_cartao import Acao, CampoTexto, Formulario, Tela

PERFIL = Tela(
    "Perfil",
    (
        Formulario(
            "Dados básicos",
            campos=(
                CampoTexto(
                    "nome_perfil", "nome", "Nome", obrigatorio=True
                ),
            ),
            acoes=(Acao.escrever("Salvar", "salvar_perfil"),),
        ),
    ),
)

PERFIL.conferir(escrituras={"salvar_perfil"})

from okmigo_cartao import (
    Acao, CartaoClicavel, Confirmacao, MenuDeAcoes, Texto
)

ativo = CartaoClicavel(
    (Texto("SANB11", negrito=True), Texto("R$ 28,10")),
    Acao.consultar("Abrir SANB11", "detalhar_ativo"),
    menu=MenuDeAcoes((
        Acao.escrever(
            "Remover dos favoritos",
            "remover_favorito",
            icone="lixeira",
            confirmacao=Confirmacao(
                "Remover favorito?",
                "Você poderá adicioná-lo novamente depois.",
                "Remover",
            ),
        ),
    )),
)

from okmigo_cartao import (
    Acao, BuscaDoAplicativo, CabecalhoDaTela, ConsultaDaFonte, Fonte,
    ParametroDaRota, Rota, TipoDeResultadoDaBusca,
)

cabecalho = CabecalhoDaTela(
    "Cliente",
    "Detalhe seguro, sem URL livre",
    acao_principal=Acao.navegar(
        "Abrir cliente", "cliente", parametros={"id": "cli-42"}
    ),
)

# Dentro de Aplicativo(...)
rotas = (Rota("cliente", "detalhe", (ParametroDaRota("id"),)),)
# Na superfície "detalhe": a fonte pede o parâmetro da rota pelo marcador.
fonte = Fonte(ConsultaDaFonte("detalhar_cliente", pedido={"cliente": "{rota.id}"}))
busca = BuscaDoAplicativo(
    "buscar_tudo",
    (TipoDeResultadoDaBusca("cliente", "Cliente", "cliente", "clientes"),),
    placeholder="Buscar cliente ou pedido",
)

from okmigo_cartao import (
    Calendario, DestinoDaRota, Evento, NavegacaoDoCalendario,
    VistaDoCalendario,
)

agenda = Calendario(
    eventos=(Evento("{inicio}", "{titulo}", id="{id}"),),
    vista=VistaDoCalendario.MES,
    vistas=(
        VistaDoCalendario.DIA,
        VistaDoCalendario.SEMANA,
        VistaDoCalendario.MES,
        VistaDoCalendario.AGENDA,
    ),
    de="{periodo_de}",
    ate="{periodo_ate}",
    hora_inicial=8,
    hora_final=20,
    ao_navegar_periodo=NavegacaoDoCalendario(
        DestinoDaRota("agenda_periodo", {}),
        parametro="periodo",
    ),
)