Sune Debel

How to define a strategy function for a custom wide check

7

I'm attempting to implement a dataframe level custom check for one-hot encoding for a subset of the columns in a dataframe. I'm interested in using the resulting schema to create...

Currently each effect is interpreted using its own process and thread pools. It would be preferable to enable the caller to control the lifecycle of these pools. Concretely, we could...

Currently, curry instances returned from decorating methods with `curry` doesn't eliminate the `self` argument, which issues a type error when trying to call a curried method: ```python from pfun import...

The `lens` mypy plugin hook currently doesn't work with generic types, eg in: ```python from typing import List [0] | lens(List)[0]

The documentation still has a few phrases that are left from a previous version of the `Effect` api. While not strictly incorrect, they can be made more clear. Moreover, the...

A `mappable` type is something that implemets `__map__(self, f)`. A `chainable` type is something that implements `__chain__(self, f)`. A type `T` that implements both can be used in `do` expressions...

E.g ```python from typing import TypeVar from pfun import compose A = TypeVar('A') def f(a: A) -> A: pass def g(a: int) -> str: pass compose(f, g) # error: Cannot...

type checking the follow program with `mypy`: ```python from oslash import List IntList = List[int] def f() -> IntList: return List.unit(0) ``` Yields `error: Invalid type "StrList"`.

With the current implementation, the empty context is the default. This can lead to problems when using `mock` without a Context because any mocked types cannot be unmocked in the...

With the current implemenation, a dependency can only be found in the current context. This means that if you want to temporarily override a dependency, you must supply all the...