ChernikovP

Results 6 issues of ChernikovP

Attempt to add `DList`, `Dequeue` and `Heap` data structures to `scalaz` module.

### What problem are you facing? Let's assume this dummy scenario: ```hcl variable "foo" { description = "desc" type = string default = "bar" sensitive = true } ``` Now...

feature request

Attempt to address https://github.com/fthomas/refined/issues/613. Basically, numeric inference kicks in before minimal tautology. ```scala scala> implicitly[Inference[Positive And Less[10], Positive]] val res0: /* ... */ = Inference(false,conjunctionEliminationL(greaterInferenceNat(0, 0))) ``` or even simpler:...

core

```scala scala> val d: Double Refined Interval.Closed[W.`5.0`.T, W.`15.0`.T] = Double.NaN d: eu.timepit.refined.api.Refined[Double,eu.timepit.refined.numeric.Interval.Closed[Double(5.0),Double(15.0)]] = NaN scala> val f: Float Refined Interval.Closed[W.`5.0f`.T, W.`15.0f`.T] = Float.NaN f: eu.timepit.refined.api.Refined[Float,eu.timepit.refined.numeric.Interval.Closed[Float(5.0),Float(15.0)]] = NaN ``` The only...

While getting familiar with `refined` (version `0.9.4`) I was excited by ability to easily convert between refined types: ```scala scala> val a: Int Refined Greater[W.`5`.T] = 10 a: Int Refined...

### Jenkins and plugins versions report Environment ```text Jenkins: 2.401.1 OS: Linux - 3.10.0-693.11.6.el7.x86_64 Java: 11.0.3 - Amazon.com Inc. (OpenJDK 64-Bit Server VM) --- ansible:240.vc26740a_625c0 ``` ### What Operating System...

bug
help wanted