Second version of the Leios simulator

[dnadales]

This PR is a work in progress and is intended to gather feedback.

[ghost]

This goes in the right direction, although I would personally have taken some shortcuts for the sake of simplifying the whole model, as it's going to be thrown away. Also, I would have tried to minimise the monadic code, as we don't really care about efficiency and concurrency: Just modeling a single pipeline for a single node is enough right now.

I would like to see the "code in action", eg. running in a terminal or connected to the front-end, to make sure it's demonstrating what we care about.

[ghost]

Also, I would suggest to clean up existing code that's no more relevant

[ghost]

I have tried to write a small test for slice function in order to clarify its behaviour:

module Leios.ModelSpec where

import Leios.Model (slice)
import Test.Hspec (Spec, describe, it, shouldBe)

spec :: Spec
spec =
  describe "slice" $ do
    it "returns 1 given len = 5 start = 18 #slice = 2" $
      slice 5 18 2 `shouldBe` 1

This is a direct translation of the comment for slice but it does not compile as Slice is not a Num :(

[dnadales]

I would like to see the "code in action", eg. running in a terminal or connected to the front-end, to make sure it's demonstrating what we care about.

Feel free to check c592284 I still need to update the queue, but now the logic got more complex since that information is not in the EBs anymore.

[dnadales]

I have tried to write a small test for slice function in order to clarify its behaviour:

module Leios.ModelSpec where

import Leios.Model (slice)
import Test.Hspec (Spec, describe, it, shouldBe)

spec :: Spec
spec =
  describe "slice" $ do
    it "returns 1 given len = 5 start = 18 #slice = 2" $
      slice 5 18 2 `shouldBe` 1

This is a direct translation of the comment for slice but it does not compile as Slice is not a Num :(

Thanks! I'll incorporate this!