Home / Pragma / amaru
Jul 05, 2-3 AM (0)
Jul 05, 3-4 AM (0)
Jul 05, 4-5 AM (0)
Jul 05, 5-6 AM (0)
Jul 05, 6-7 AM (0)
Jul 05, 7-8 AM (0)
Jul 05, 8-9 AM (0)
Jul 05, 9-10 AM (0)
Jul 05, 10-11 AM (0)
Jul 05, 11-12 PM (0)
Jul 05, 12-1 PM (0)
Jul 05, 1-2 PM (0)
Jul 05, 2-3 PM (0)
Jul 05, 3-4 PM (0)
Jul 05, 4-5 PM (0)
Jul 05, 5-6 PM (0)
Jul 05, 6-7 PM (0)
Jul 05, 7-8 PM (0)
Jul 05, 8-9 PM (1)
Jul 05, 9-10 PM (0)
Jul 05, 10-11 PM (0)
Jul 05, 11-12 AM (0)
Jul 06, 12-1 AM (0)
Jul 06, 1-2 AM (0)
Jul 06, 2-3 AM (0)
Jul 06, 3-4 AM (0)
Jul 06, 4-5 AM (0)
Jul 06, 5-6 AM (0)
Jul 06, 6-7 AM (0)
Jul 06, 7-8 AM (0)
Jul 06, 8-9 AM (0)
Jul 06, 9-10 AM (0)
Jul 06, 10-11 AM (0)
Jul 06, 11-12 PM (0)
Jul 06, 12-1 PM (0)
Jul 06, 1-2 PM (0)
Jul 06, 2-3 PM (0)
Jul 06, 3-4 PM (0)
Jul 06, 4-5 PM (0)
Jul 06, 5-6 PM (0)
Jul 06, 6-7 PM (0)
Jul 06, 7-8 PM (0)
Jul 06, 8-9 PM (0)
Jul 06, 9-10 PM (0)
Jul 06, 10-11 PM (0)
Jul 06, 11-12 AM (0)
Jul 07, 12-1 AM (0)
Jul 07, 1-2 AM (0)
Jul 07, 2-3 AM (0)
Jul 07, 3-4 AM (0)
Jul 07, 4-5 AM (0)
Jul 07, 5-6 AM (0)
Jul 07, 6-7 AM (0)
Jul 07, 7-8 AM (1)
Jul 07, 8-9 AM (0)
Jul 07, 9-10 AM (0)
Jul 07, 10-11 AM (0)
Jul 07, 11-12 PM (0)
Jul 07, 12-1 PM (0)
Jul 07, 1-2 PM (0)
Jul 07, 2-3 PM (0)
Jul 07, 3-4 PM (3)
Jul 07, 4-5 PM (1)
Jul 07, 5-6 PM (0)
Jul 07, 6-7 PM (2)
Jul 07, 7-8 PM (0)
Jul 07, 8-9 PM (2)
Jul 07, 9-10 PM (1)
Jul 07, 10-11 PM (0)
Jul 07, 11-12 AM (0)
Jul 08, 12-1 AM (0)
Jul 08, 1-2 AM (0)
Jul 08, 2-3 AM (0)
Jul 08, 3-4 AM (0)
Jul 08, 4-5 AM (0)
Jul 08, 5-6 AM (0)
Jul 08, 6-7 AM (0)
Jul 08, 7-8 AM (0)
Jul 08, 8-9 AM (1)
Jul 08, 9-10 AM (0)
Jul 08, 10-11 AM (1)
Jul 08, 11-12 PM (1)
Jul 08, 12-1 PM (0)
Jul 08, 1-2 PM (0)
Jul 08, 2-3 PM (1)
Jul 08, 3-4 PM (0)
Jul 08, 4-5 PM (5)
Jul 08, 5-6 PM (0)
Jul 08, 6-7 PM (3)
Jul 08, 7-8 PM (2)
Jul 08, 8-9 PM (5)
Jul 08, 9-10 PM (4)
Jul 08, 10-11 PM (0)
Jul 08, 11-12 AM (0)
Jul 09, 12-1 AM (0)
Jul 09, 1-2 AM (0)
Jul 09, 2-3 AM (0)
Jul 09, 3-4 AM (0)
Jul 09, 4-5 AM (1)
Jul 09, 5-6 AM (0)
Jul 09, 6-7 AM (0)
Jul 09, 7-8 AM (0)
Jul 09, 8-9 AM (0)
Jul 09, 9-10 AM (0)
Jul 09, 10-11 AM (0)
Jul 09, 11-12 PM (0)
Jul 09, 12-1 PM (0)
Jul 09, 1-2 PM (0)
Jul 09, 2-3 PM (0)
Jul 09, 3-4 PM (0)
Jul 09, 4-5 PM (0)
Jul 09, 5-6 PM (0)
Jul 09, 6-7 PM (0)
Jul 09, 7-8 PM (0)
Jul 09, 8-9 PM (0)
Jul 09, 9-10 PM (0)
Jul 09, 10-11 PM (5)
Jul 09, 11-12 AM (3)
Jul 10, 12-1 AM (2)
Jul 10, 1-2 AM (0)
Jul 10, 2-3 AM (0)
Jul 10, 3-4 AM (1)
Jul 10, 4-5 AM (0)
Jul 10, 5-6 AM (0)
Jul 10, 6-7 AM (0)
Jul 10, 7-8 AM (0)
Jul 10, 8-9 AM (0)
Jul 10, 9-10 AM (0)
Jul 10, 10-11 AM (0)
Jul 10, 11-12 PM (2)
Jul 10, 12-1 PM (0)
Jul 10, 1-2 PM (1)
Jul 10, 2-3 PM (0)
Jul 10, 3-4 PM (0)
Jul 10, 4-5 PM (0)
Jul 10, 5-6 PM (8)
Jul 10, 6-7 PM (1)
Jul 10, 7-8 PM (1)
Jul 10, 8-9 PM (1)
Jul 10, 9-10 PM (1)
Jul 10, 10-11 PM (0)
Jul 10, 11-12 AM (0)
Jul 11, 12-1 AM (0)
Jul 11, 1-2 AM (0)
Jul 11, 2-3 AM (0)
Jul 11, 3-4 AM (0)
Jul 11, 4-5 AM (0)
Jul 11, 5-6 AM (0)
Jul 11, 6-7 AM (0)
Jul 11, 7-8 AM (0)
Jul 11, 8-9 AM (0)
Jul 11, 9-10 AM (6)
Jul 11, 10-11 AM (0)
Jul 11, 11-12 PM (0)
Jul 11, 12-1 PM (0)
Jul 11, 1-2 PM (0)
Jul 11, 2-3 PM (12)
Jul 11, 3-4 PM (7)
Jul 11, 4-5 PM (1)
Jul 11, 5-6 PM (0)
Jul 11, 6-7 PM (0)
Jul 11, 7-8 PM (0)
Jul 11, 8-9 PM (0)
Jul 11, 9-10 PM (0)
Jul 11, 10-11 PM (0)
Jul 11, 11-12 AM (3)
Jul 12, 12-1 AM (1)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
91 commits this week Jul 05, 2025 - Jul 12, 2025
chore: move import_ledger_state into ledger + avoid direct dependency on indicatif
  It makes more sense for this logic to live in the ledger since it's about ... decoding the ledger state (albeit, the Haskell's one).  I've extracted some of the base types to the Kernel, though.

  Also, moving this piece of code to either the ledger or the store would introduce undesirable dependencies there (i.e. 'indicatif'). So we now have to add an indirection through a trait, to ensure that we only introduce shiny progress bars when executing this in the terminal. For testing, we can simply display no progress whatsoever (other than what the test runner provides).

Signed-off-by: KtorZ <[email protected]>
Signed-off-by: ruko <[email protected]>