├── .github └── workflows │ └── main.yml ├── HasCal.cabal ├── LICENSE ├── README.md ├── cabal.project ├── default.nix ├── doctest └── Main.hs ├── shell.nix ├── src ├── HasCal.hs └── HasCal │ ├── Coroutine.hs │ ├── Expression.hs │ └── Property.hs └── tasty ├── HasCal └── Test │ ├── API.hs │ ├── AsyncInterface.hs │ ├── DieHard.hs │ ├── DiningPhilosophers.hs │ ├── EuclidAlg.hs │ ├── FIFO.hs │ ├── FastMutex.hs │ ├── Flags.hs │ ├── Hanoi.hs │ ├── HourClock.hs │ ├── InternalMemory.hs │ ├── Market.hs │ ├── Trade.hs │ └── Transfer.hs └── Main.hs /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /HasCal.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/HasCal.cabal -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: . 2 | write-ghc-environment-files: always 3 | -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/default.nix -------------------------------------------------------------------------------- /doctest/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/doctest/Main.hs -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | (import ./default.nix).env 2 | -------------------------------------------------------------------------------- /src/HasCal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/src/HasCal.hs -------------------------------------------------------------------------------- /src/HasCal/Coroutine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/src/HasCal/Coroutine.hs -------------------------------------------------------------------------------- /src/HasCal/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/src/HasCal/Expression.hs -------------------------------------------------------------------------------- /src/HasCal/Property.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/src/HasCal/Property.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/API.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/API.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/AsyncInterface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/AsyncInterface.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/DieHard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/DieHard.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/DiningPhilosophers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/DiningPhilosophers.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/EuclidAlg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/EuclidAlg.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/FIFO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/FIFO.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/FastMutex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/FastMutex.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/Flags.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/Flags.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/Hanoi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/Hanoi.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/HourClock.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/HourClock.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/InternalMemory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/InternalMemory.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/Market.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/Market.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/Trade.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/Trade.hs -------------------------------------------------------------------------------- /tasty/HasCal/Test/Transfer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gabriella439/HasCal/HEAD/tasty/HasCal/Test/Transfer.hs -------------------------------------------------------------------------------- /tasty/Main.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF tasty-discover -optF --hide-successes #-} 2 | --------------------------------------------------------------------------------