{-# LANGUAGE NoMonomorphismRestriction #-}
{-# OPTIONS_GHC -Wno-missing-signatures #-}

module Examples.Ex05 where

import Literate.Web

import Examples.Ex03 qualified as Ex03
import Examples.Ex04 qualified as Ex04

router =
  "ex03"
    </> Ex03.router
    <+> "ex04"
    </> Ex04.router

content =
  Ex03.content
    :!: Ex04.content

data Model = Model
  { model03 :: Ex03.Model
  , model04 :: Ex04.Model
  }

model1 =
  Model
    { model03 = Ex03.model1
    , model04 = Ex04.model1
    }