{-# LANGUAGE PartialTypeSignatures #-}
{-# OPTIONS_GHC -fno-warn-partial-type-signatures #-}

module Test.Tutorial.Exercise2 where

import Data.Registry
import Test.Tutorial.Application

registry :: Registry _ _
registry =
  fun App
    <: fun newUserInput
    <: fun newSecretReader
    <: fun newRng
    <: fun newConsole
    <: fun newLogger
    <: val (SecretReaderConfig "txe/tests/Test/Tutorial/secret.txt")

newApp :: App
newApp = make @App registry