Search results

The aeson bounds are too loose.

Status: Open.

#111 In nikita-volkov/refined;

· mniip opened on Feb 27, 2025

Make optional dependencies opt-in

Status: Open.

#107 In nikita-volkov/refined;

· chessai opened on May 9, 2024

Simplify refinement errors (<code>RefineException</code>)

Status: Open.

#106 In nikita-volkov/refined;

· raehik opened on May 3, 2024

Add special <code>And</code> associativity helpers e.g. <code>_ :: Refined (pl And pr) a -&gt; Refined pr (Refined pl a)</code>

Status: Open.

#104 In nikita-volkov/refined;

· raehik opened on Apr 10, 2024

<code>Refined1 p f x</code> for refinements on functor types

Status: Open.

#94 In nikita-volkov/refined;

· raehik opened on Feb 22, 2023

<code>these-skinny</code> is redundant when <code>aeson</code> is enabled

Status: Open.

#80 In nikita-volkov/refined;

· chessai opened on Jan 14, 2022