Skip to content

Instantly share code, notes, and snippets.

@eric-corumdigital
Last active April 29, 2019 15:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save eric-corumdigital/6a0384ec87bb3696c65978b40ae50ae2 to your computer and use it in GitHub Desktop.
Save eric-corumdigital/6a0384ec87bb3696c65978b40ae50ae2 to your computer and use it in GitHub Desktop.
PureScript deriving newtype Number not of form
class (LeftModule v a, RightModule v a) ⇐ Bimodule v a
newtype Pixels = Pixels (Additive Number)
derive newtype instance bimodulePixels ∷ Bimodule Pixels Number
---
Cannot derive the type class instance
Bimodule Pixels
Number
because the type
Number
is not of the required form T a_1 ... a_n, where T is a type constructor defined in the same module
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment