Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Contexts that can be serialized + deserialized while retaining and explicitly representing sharing #2202

Merged
merged 30 commits into from
Nov 22, 2024
Merged

Contexts that can be serialized + deserialized while retaining and explicitly representing sharing #2202

merged 30 commits into from
Nov 22, 2024

Commits on Oct 26, 2024

  1. [wip] Towards #2107; add structure + homomorphic hashes to Ctx

    @byorgey
    byorgey committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    d8d4f08 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. [wip] start adding required Hashable instances

    @byorgey
    byorgey committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    7736a47 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. finish adding Hashable instances

    @byorgey
    byorgey committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    d9c44e6 View commit details
    Browse the repository at this point in the history

  2. context folding

    @byorgey
    byorgey committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    2ba1a38 View commit details
    Browse the repository at this point in the history

  3. better type for foldCtx

    @byorgey
    byorgey committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    ae87867 View commit details
    Browse the repository at this point in the history

  4. even better type for foldCtx; work on getting rid of Empty base case … 

    …for fromMap
    @byorgey
    byorgey committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    bd230ca View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. context dessicate/rehydrate works!!

    @byorgey
    byorgey committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    48cdd58 View commit details
    Browse the repository at this point in the history

  2. some additional comments

    @byorgey
    byorgey committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    2383071 View commit details
    Browse the repository at this point in the history

  3. small improvements

    @byorgey
    byorgey committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    64ea43f View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. ToJSON and FromJSONE instances for Ctx

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9be83f0 View commit details
    Browse the repository at this point in the history

  2. add some unit tests

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    a110a32 View commit details
    Browse the repository at this point in the history

  3. new rollCtx function collects up all hash computations in one place

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    e04fb1d View commit details
    Browse the repository at this point in the history

  4. QuickCheck tests for context hash collisions

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    0409bfc View commit details
    Browse the repository at this point in the history

  5. disable warning for orphan Hashable Free instance

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    d5e6ae5 View commit details
    Browse the repository at this point in the history

  6. Restyled by fourmolu (#2203) 

    Co-authored-by: Restyled.io <commits@restyled.io>
    @github-actions @restyled-commits
    github-actions[bot] and restyled-commits authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    a641252 View commit details
    Browse the repository at this point in the history

  7. normalize cabal formatting

    @byorgey
    byorgey committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    85dab03 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. To/FromJSON instances for CtxHash and CtxF

    @byorgey
    byorgey committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    2a3b795 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2024

  1. [wip] work on FromJSON instances

    @byorgey
    byorgey committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    422f389 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. remove bad FromJSON instances for now

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    92465ec View commit details
    Browse the repository at this point in the history

  2. reinstate ToJSON instance for REPLStatus

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    b03c3da View commit details
    Browse the repository at this point in the history

  3. more comments, and a bit of reorganization

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    18d0ca5 View commit details
    Browse the repository at this point in the history

  4. remove redundant stuff

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    976e393 View commit details
    Browse the repository at this point in the history

  5. add de/serialization test for contexts

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    dab548f View commit details
    Browse the repository at this point in the history

  6. remove unused CtxNode

    @byorgey
    byorgey committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    bd6ae6d View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. add clarifying comment re: "roll up"

    @byorgey
    byorgey committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    1b4be59 View commit details
    Browse the repository at this point in the history

  2. refactor to use fmap instead of explicit case on Maybe

    @byorgey
    byorgey committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    36755db View commit details
    Browse the repository at this point in the history

  3. refactor to replace case with unless

    @byorgey
    byorgey committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    c586727 View commit details
    Browse the repository at this point in the history

  4. more module comments

    @byorgey
    byorgey committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    b109760 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. add TODO linked to #2213

    @byorgey
    byorgey committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    b4b8984 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ctx-sharing

    @mergify
    mergify[bot] authored Nov 22, 2024
    Configuration menu
    Copy the full SHA
    6114dca View commit details
    Browse the repository at this point in the history