Structure

This section describes the structure of an Agda SDK project and the most important files in it.

• Project root
• Backend
  • Project files
    • Cabal
    • CMake
    • Agda
  • The All.agda file
  • Writing business logic in Agda
    • Using Haskell functions
  • Mutable app states
    • AppState
    • StablePtrs
  • Backend API
    • Exporting from Agda
    • C headers
  • Main functions
  • Tools
  • Testing
  • Agda tests
  • QuickCheck tests
• Frontend
  • The CMake project files
    • The frontend/CMakeLists.txt file
    • Subdirectory files
  • Backend interface
    • HsAppStateWrapper
    • Future
  • View model, view
    • View model
    • View
  • Main function
  • Testing
• Futures
  • Why do I need this?