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

Enable static simple predicates #417

Merged
merged 13 commits into from
Aug 18, 2023
Merged

Enable static simple predicates #417

merged 13 commits into from
Aug 18, 2023

Commits on Aug 18, 2023

  1. more efficient encoding of predicate types

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    574371a View commit details
    Browse the repository at this point in the history

  2. replace unit constructor with constant

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    b011bfa View commit details
    Browse the repository at this point in the history

  3. rename Sum -> SumType

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    9289b32 View commit details
    Browse the repository at this point in the history

  4. change simple storage int to u8

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    d563e0e View commit details
    Browse the repository at this point in the history

  5. check for simple predicate in sum construction

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    09bc12a View commit details
    Browse the repository at this point in the history

  6. use get_variant method for correct type check

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    a269a08 View commit details
    Browse the repository at this point in the history

  7. use TypeRow to simplify serialization

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    36f8a61 View commit details
    Browse the repository at this point in the history

  8. serialize sum type directly

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    a4407d3 View commit details
    Browse the repository at this point in the history

  9. add test for sum construction

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    dfcbb99 View commit details
    Browse the repository at this point in the history

  10. use type_row instead of vec

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    629fb92 View commit details
    Browse the repository at this point in the history

  11. remove sersimplepredicate simple

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    c31c91d View commit details
    Browse the repository at this point in the history

  12. move bool type to prelude and use statics

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    c06106c View commit details
    Browse the repository at this point in the history

  13. small fix to example

    @ss2165
    ss2165 committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    ceb6557 View commit details
    Browse the repository at this point in the history