function vFooter() {
  return div('#footer', [
    a(
      '.footlink',
      {props: {href: 'https://github.com/wizardwerdna/FRPBowlingKata'}},
      'FRP Bowling'
    ),
    span(' built by '),
    a(
      '.footlinke',
      {props: {href: 'mailto:[email protected]'}},
      'Andrew C. Greenberg'
    )
  ]);
}

  function view([name, editing]: [string, boolean]): VNode {
    if (editing) {
      return div(".project-name-container", [
        div([
          input(".project-name-input", { props: { value: name } }),
          a(".save-project-name", " ✓ "),
          a(".cancel-editing-project-name", " ✖ ")
        ])
      ]);
    }

    return div(".project-name-container", [
      div([span(".project-name", `${name}`), a(".edit-project-name", " ✎ ")])
    ]);
  }

 const vdom$ = user$.map(user =>
   div('.users', [
     button('.get-random', 'Get random user'),
     user === null ? null : div('.user-details', [
       h1('.user-name', user.name),
       h4('.user-email', user.email),
       a('.user-website', {attrs: {href: user.website}}, user.website),
     ]),
   ]),

 .map(link => a({
   attrs: {
     class: "link",
     title: link.title,
     href: link.link
   },
   style: {
     display: "block",
     transform: `translate(${link.position.x}px, ${link.position.y}px)`
   }
 }, [img({ attrs: { src: link.image }})]))

function vTitle() {
  return div('#title', [
    h1([
      img({props: {src: 'Rx_Logo_S.png'}}),
      a(
        {props: {href: 'https://github.com/wizardwerdna/FRPBowlingKata'}},
        'FRP Bowling'
      ),
      img({props: {src: 'CycleJS_Logo.png'}}),
    ]),
    h3('The Classic Kata in RxJS and CycleJS')
  ]);
}

 ).map(([
   scoreDom,
   newGameDom,
   gridDom
 ]) => {
   return div('#root', [
     div('.container', [
       header([
         div('.title.bar', [
           h1(['Recall']),
           scoreDom
         ]),
         div('.info', [
           p([
             'Click on the ',
             strong(['nine tiles you see']),
             ' to win!'
           ]),
           newGameDom
         ])
       ]),
       main([
         div('.panel', [gridDom])
       ]),
       footer([
         'Made with ',
         span('.heart', '❤'),
         ' using ',
         span('.cycle', 'Cycle.js'),
         ' by ',
         a('.author', { props: { href: 'https://github.com/artfuldev' } }, '@artfuldev'),
         div([
           a('.source', { props: { href: 'https://github.com/artfuldev/recall-cycle/tree/gh-pages/' } }, 'View Source')
         ])
       ])
     ])
   ]);
 });

function renderInvalidState() {
  return div(`.${invalidStateStyle}`, [
    h1('Not a Cycle.js app with xstream'),
    p('This page doesn\'t seem to be running a Cycle.js app using xstream ' +
      'as the stream library. This DevTool only supports xstream. Or maybe ' +
      'you are using xstream but an older version.'),
    p('This DevTool requires that your app is built using the following ' +
      'packages:'),
    ul([
      li([ pre('xstream'), ' v6.1.x or higher' ]),
      li([ pre('@cycle/run'), ' v3.1.x or higher' ]),
      li([ pre('@cycle/dom'), ' v12.2.x or higher, if you are using it' ]),
      li([ pre('@cycle/http'), ' v10.2.x or higher, if you are using it' ]),
    ]),
    p([
      'Need help? The ',
      a({ attrs: {
        href: 'https://gitter.im/cyclejs/cyclejs',
        target: '_blank',
      }}, 'chat'),
      ' is usually friendly and helpful.',
    ]),
  ]);
}

function homeView(projects: Project[]): VNode {
  return div(".welcome", [
    h1("Helix Pi"),

    div(".options", [
      a(".new-project", "Create new project"),

      div(".recent-projects", [
        h2("Recent projects"),

        div(
          ".projects.flex-column",
          projects.map(project =>
            a(
              ".goto-project",
              { attrs: { href: `/project/${project.id}` } },
              project.name
            )
          )
        )
      ])
    ])
  ]);
}

 .map(([selector, content]) => a(selector, content));

 operators.map(operator =>
   li('.sidebar-link', [
     a('.link', { props: { title: operator, href: `#/${operator}` } }, operator)
   ])