The equality from monadplus

equality's Introduction

Open source & personal projects:

Haskell
- Author: CPP-lang, rbst, floorplanning, parsing-by-example, and twitch game
- Contributor: libsodium-bindings, prometheus-port
- Talks: Parallelism and Concurrency in Haskell
Rust
- Author: elgato-keylight, better-default-derive
- Contributor:
- Talks:
Scala
- Author: equality, and DCORE
- Contributor: fs2, and scala-pet-store
- Talks: Generic Programming in Scala with Shapeless, and Lenses in Scala with Monacle
Python: Stroke Prediction
C++: Box Wrapping Problem
Agda: Programming Language Foundation in Agda (Solutions)
Dotfiles:
- Arch Linux¹ / NixOS¹
- Neovim
- Keyboardio
Miscellaneous: polybar-tidal

Education:

BSc in Computer Science at Facultat d'Informàtica de Barcelona (FIB).
MSc in Computer Science at Universitat Politècnica de Catalunya (UPC)

Professional projects:

Payment gateway
Real-time Open Street Maps TSP engine
Knowledge management system for museums & private collections
Smartphone as remote controller for industrial cold rooms

Private for security reasons ↩ ↩²

equality's People

Contributors

equality's Issues

Add scalatest.Position to the output

Using org.scalactic.source.Position that didn't pass the assertion can be outputed for an easier search in a large file.

Map equality is broken

Will yield true:

Map.empty[Int, Int] ==== Map(1 -> 1)

EqOps is wrapping the object with a new class.

Use trait instead of class

Support for scala 2.11

Set equality is broken

Notice tasks: Set [missing elements] but showing a ✔

[info]   ✕ List
[info]       ├── ✔ 0: SolutionWaypoint
[info]       │                ├── ✔ location: Location
[info]       │                │                   ├── ✔ latitude: Latitude [Latitude(0.0)]
[info]       │                │                   └── ✔ longitude: Longitude [Longitude(0.0)]
[info]       │                ├── ✔ expectedStart: DateTime [2019-03-22T15:51:45.021+01:00 not equal to 2019-03-22T15:51:45.021+01:00]
[info]       │                └── ✔ tasks: Set [missing elements]
[info]       │                                        ├── ✔ : TaskId [TaskId(3)]
[info]       │                                        └── ✔ : TaskId [TaskId(1)]
[info]       └── ✕ 1: SolutionWaypoint
[info]                        ├── ✔ location: Location
[info]                        │                   ├── ✔ latitude: Latitude [Latitude(1.0)]
[info]                        │                   └── ✔ longitude: Longitude [Longitude(1.0)]
[info]                        ├── ✕ expectedStart: DateTime [2019-03-22T16:16:05.021+01:00 not equal to 2019-03-22T16:11:45.021+01:00]
[info]                        └── ✔ tasks: Set [missing elements]
[info]                                                └── ✔ : TaskId [TaskId(4)] (eq.scala:18)