diff --git a/ChangeLog.md b/ChangeLog.md
deleted file mode 100644
--- a/ChangeLog.md
+++ /dev/null
@@ -1,5 +0,0 @@
-# Revision history for titan
-
-## 0.1.0.0 -- YYYY-mm-dd
-
-* First version. Released on an unsuspecting world.
diff --git a/README.md b/README.md
deleted file mode 100644
--- a/README.md
+++ /dev/null
diff --git a/data/Interface.glade b/data/Interface.glade
new file mode 100644
--- /dev/null
+++ b/data/Interface.glade
@@ -0,0 +1,711 @@
+
+
+
+
+
+
diff --git a/src/Main.hs b/src/Main.hs
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -1,4 +1,10 @@
+-- | This is the main program with which the graphical app is launched.
module Main where
+-- Internal imports
+import Controller
+
+-- |The app starts here. Here we simply call the controller, which
+-- takes control from now on.
main :: IO ()
-main = putStrLn "Hello, Haskell!"
+main = startController
diff --git a/tests/HaddockCoverage.hs b/tests/HaddockCoverage.hs
new file mode 100644
--- /dev/null
+++ b/tests/HaddockCoverage.hs
@@ -0,0 +1,91 @@
+-----------------------------------------------------------------------------
+-- |
+-- Module : Main (HaddockCoverage)
+-- Copyright : (C) 2015 Ivan Perez
+-- License : BSD-style (see the file LICENSE)
+-- Maintainer : Ivan Perez
+-- Stability : provisional
+-- Portability : portable
+--
+-- Copyright notice: This file borrows code
+-- https://hackage.haskell.org/package/lens-4.7/src/tests/doctests.hsc
+-- which is itself licensed BSD-style as well.
+--
+-- Run haddock on a source tree and report if anything in any
+-- module is not documented.
+-----------------------------------------------------------------------------
+module Main where
+
+import Control.Applicative
+import Control.Monad
+import Data.List
+import System.Directory
+import System.Exit
+import System.FilePath
+import System.IO
+import System.Process
+import Text.Regex.Posix
+
+main :: IO ()
+main = do
+ -- Find haskell modules
+ -- TODO: Ideally cabal should do this (provide us with the
+ -- list of modules). An alternative would be to use cabal haddock
+ -- but that would need a --no-html argument or something like that.
+ -- Alternatively, we could use cabal haddock with additional arguments.
+ --
+ -- See:
+ -- https://github.com/keera-studios/haddock/commit/d5d752943c4e5c6c9ffcdde4dc136fcee967c495
+ -- https://github.com/haskell/haddock/issues/309#issuecomment-150811929
+ files <- getSources
+
+ let haddockArgs = [ "--no-warnings", "--ignore-all-exports" ] ++ files
+ let cabalArgs = [ "exec", "--", "haddock" ] ++ haddockArgs
+ (code, out, _err) <- readProcessWithExitCode "cabal" cabalArgs ""
+
+ -- Filter out coverage lines, and find those that denote undocumented
+ -- modules.
+ --
+ -- TODO: is there a way to annotate a function as self-documenting,
+ -- in the same way we do with ANN for hlint?
+ let isIncompleteModule :: String -> Bool
+ isIncompleteModule line = isCoverageLine line && not (line =~ "^ *100%")
+ where isCoverageLine :: String -> Bool
+ isCoverageLine line = line =~ "^ *[0-9]+%"
+
+ let incompleteModules :: [String]
+ incompleteModules = filter isIncompleteModule $ lines out
+
+ -- Based on the result of haddock, report errors and exit.
+ -- Note that, unline haddock, this script does not
+ -- output anything to stdout. It uses stderr instead
+ -- (as it should).
+ case (code, incompleteModules) of
+ (ExitSuccess , []) -> return ()
+ -- (ExitFailure _, _) -> exitFailure
+ (_ , _) -> do
+ hPutStrLn stderr "The following modules are not fully documented:"
+ mapM_ (hPutStrLn stderr) incompleteModules
+ exitFailure
+
+getSources :: IO [FilePath]
+getSources = filter isHaskellFile <$> go "src"
+ where
+ go dir = do
+ (dirs, files) <- getFilesAndDirectories dir
+ (files ++) . concat <$> mapM go dirs
+
+ isHaskellFile fp = (isSuffixOf ".hs" fp || isSuffixOf ".lhs" fp)
+ && not (any (`isSuffixOf` fp) excludedFiles)
+
+ excludedFiles = [ ]
+
+getFilesAndDirectories :: FilePath -> IO ([FilePath], [FilePath])
+getFilesAndDirectories dir = do
+ c <- map (dir ) . filter (`notElem` ["..", "."]) <$> getDirectoryContents dir
+ (,) <$> filterM doesDirectoryExist c <*> filterM doesFileExist c
+
+-- find-based implementation (not portable)
+--
+-- getSources :: IO [FilePath]
+-- getSources = fmap lines $ readProcess "find" ["src/", "-iname", "*hs"] ""
diff --git a/tests/hlint.hs b/tests/hlint.hs
new file mode 100644
--- /dev/null
+++ b/tests/hlint.hs
@@ -0,0 +1,23 @@
+-----------------------------------------------------------------------------
+-- |
+-- Module : Main (hlint)
+-- Copyright : (C) 2013 Edward Kmett
+-- License : BSD-style (see the file LICENSE)
+-- Maintainer : Edward Kmett
+-- Stability : provisional
+-- Portability : portable
+--
+-- This module runs HLint on the lens source tree.
+-----------------------------------------------------------------------------
+module Main where
+
+import Control.Monad
+import Language.Haskell.HLint
+import System.Environment
+import System.Exit
+
+main :: IO ()
+main = do
+ args <- getArgs
+ hints <- hlint $ ["src", "--cross", "--hint=tests/HLint.hs" ] ++ args
+ unless (null hints) exitFailure
diff --git a/titan.cabal b/titan.cabal
--- a/titan.cabal
+++ b/titan.cabal
@@ -1,25 +1,132 @@
--- Initial titan.cabal generated by cabal init. For further documentation,
--- see http://haskell.org/cabal/users-guide/
+cabal-version: >= 1.10
+build-type: Simple
-name: titan
-version: 0.1.0.0
-synopsis: Testing Infrastructure for Temporal AbstractioNs
-description: Testing Infrastructure for Temporal AbstractioNs
-homepage: http://keera.co.uk
-license: GPL-3
-license-file: LICENSE
-author: Ivan Perez
-maintainer: ivan.perez@keera.co.uk
--- copyright:
-category: Testing
-build-type: Simple
-extra-source-files: ChangeLog.md, README.md
-cabal-version: >=1.10
+name: titan
+version: 1.0.0
+author: Ivan Perez
+maintainer: ivan.perez@keera.co.uk
+homepage: http://github.com/keera-studios/haskell-titan
+copyright:
+ All Rights Reserved (c) 2018 - 2020 Keera Studios Ltd
+ All Rights Reserved (c) 2015 - 2017 Ivan Perez Dominguez
+license: GPL-3
+license-file: LICENSE
+category: Testing
+synopsis: Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs
+description:
+ Debugging GUI that allows you to control the execution of a running FRP
+ program.
+ .
+ TITAN (Testing Infrastructure for Temporal AbstractioNs) is a framework to
+ test and debug FRP programs. It allows you to write temporal unit tests, check
+ them, QuickCheck them, run FRP programs with a fine-tuned debugger, obtain
+ information to replicate tests, and follow and control the execution of a
+ FRP program from an interactive GUI.
+ .
+ This program provides a GUI to connect to a running application and control its
+ execution.
+data-files:
+ data/*.glade
+
+source-repository head
+ type: git
+ location: git://github.com/keera-studios/haskell-titan.git
+
+-- You can disable the hlint test suite with -f-test-hlint
+flag test-hlint
+ default: False
+ manual: True
+
+-- You can disable the haddock coverage test suite with -f-test-doc-coverage
+flag test-doc-coverage
+ default: False
+ manual: True
+
+
executable titan
- main-is: Main.hs
- -- other-modules:
- -- other-extensions:
- build-depends: base >=4.8 && <4.9
- hs-source-dirs: src
- default-language: Haskell2010
+
+ main-is:
+ Main.hs
+
+ build-depends:
+ base >=4.7 && < 4.13
+ , cairo
+ , glib
+ , gtk
+ , IfElse
+ , mtl
+ , network
+ , network-bsd
+ , template-haskell
+
+ , keera-hails-mvc-controller
+ , keera-hails-mvc-environment-gtk
+ , keera-hails-mvc-model-protectedmodel
+ , keera-hails-mvc-solutions-gtk
+ , keera-hails-mvc-view
+ , keera-hails-mvc-view-gtk
+ , keera-hails-reactive-gtk
+ , keera-hails-reactive-polling
+ , keera-hails-reactivevalues
+
+ hs-source-dirs:
+ src/
+
+ default-language:
+ Haskell2010
+
+ ghc-options:
+ -threaded -Wall -O2
+
+-- Verify that the code is hlint-error free
+test-suite hlint
+
+ type:
+ exitcode-stdio-1.0
+
+ main-is:
+ hlint.hs
+
+ hs-source-dirs:
+ tests
+
+ default-language:
+ Haskell2010
+
+ if !flag(test-hlint)
+ buildable:
+ False
+ else
+ build-depends:
+ base
+ , hlint >= 1.7
+
+-- Verify that the code is thoroughly documented
+test-suite haddock-coverage
+
+ type:
+ exitcode-stdio-1.0
+
+ main-is:
+ HaddockCoverage.hs
+
+ build-depends:
+ base >= 4 && < 5
+ , directory
+ , filepath
+ , process
+ , regex-posix
+
+ hs-source-dirs:
+ tests
+
+ default-language:
+ Haskell2010
+
+ ghc-options:
+ -Wall
+
+ if !flag(test-doc-coverage)
+ buildable:
+ False