Pfalzgraf Martin

Results 12 issues of Pfalzgraf Martin

Like others I'm using hedgehog's incredibly useful state machine functionality to model/test my API during development. However, I realized the model I have built would be the perfect way to...

I'm running into an issue where quickstrom has no actions to take because the previous set of actions are no longer valid and the rest of the actions cannot be...

This is to make `CircuitInstance` generic enough to handle any type of structure containing `WireId`s. I wanted to get some early feedback on this while I write more tests to...

The `not` pseudo selector can only be applied to one argument at a time in most browsers, Safari seems to be the exception. The instance for `Not Refinement` allows you...

The not selector can be applied to a selector `:not(p)` or to a refinement `input:not(:checked)`, however the type signature for not is `not :: Selector -> Refinement`. What I need...

I'm not sure if this is a nixpkgs problem or a hoogle issue. Regardless, if you use the `hoogleLocal` function in nixpkgs on nixos-unstable (which has Hoogle 5.0.17.11) the resulting...

I'm a bit new to NixOS so I might be missing something very simple, but when I run: `nix-env -f "" -iA haskellPackages.styx` I get: `error: attribute ‘styx’ in selection...

I wanted to use compact HTML for a form, but could not find a way to set the `checked` attribute dynamically. `Attribute` that take an argument already work nicely with...

**Feature description** I'm not sure if this is the right place to try and fix this issue with Nix, but I am curious to see other's thoughts on the mater....

**Describe the bug** I run `lorri daemon` in its own shell. It had been working correctly for quite some time before it crashed with this error log: ``` name =...