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

Support for signal functions in transformed monads #241

Open
wants to merge 8 commits into
base: develop
Choose a base branch
from
Open

Support for signal functions in transformed monads #241

wants to merge 8 commits into from

Commits on Dec 16, 2020

  1. Added runStateSF that commutes StateT s across ReaderT DTime

    @Linearity
    Linearity committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    d710c80 View commit details
    Browse the repository at this point in the history

  2. Added runReaderSF-*, runStateSF-*, runWriterSF-* functions

    @Linearity
    Linearity committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    b97e332 View commit details
    Browse the repository at this point in the history

  3. Added liftTransSF, made reactimate take MSF monad, added convenience … 

    …functions
    @Linearity
    Linearity committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    644b6e3 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2020

  1. Removed unrelated code, added documentation

    @Linearity
    Linearity committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    aaa8733 View commit details
    Browse the repository at this point in the history

  2. Formatting

    @Linearity
    Linearity committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    ca2d7f5 View commit details
    Browse the repository at this point in the history

  3. Added types to transformer-commuting functions

    @Linearity
    Linearity committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    d8beaa0 View commit details
    Browse the repository at this point in the history

  4. Moved monad transformer code to new module

    @Linearity
    Linearity committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    080e002 View commit details
    Browse the repository at this point in the history

  5. Removed per-monad SF lifting

    @Linearity
    Linearity committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    5347f1f View commit details
    Browse the repository at this point in the history