lysxia / boltzmann-samplers Goto Github PK

src/Boltzmann/Data/Oracle.hs:100:10: error:
    • No instance for (Semigroup Nat)
        arising from the superclasses of an instance declaration
    • In the instance declaration for ‘Monoid Nat’
    |
100 | instance Monoid Nat where
    |          ^^^^^^^^^^

src/Boltzmann/Data/Oracle.hs:268:41: error:
    • No instance for (Semigroup Nat) arising from a use of ‘<>’
    • In the expression: order <> order'
      In the expression: (order <> order', lCoef * lCoef')
      In an equation for ‘lMul’:
          lMul (order, lCoef) (order', lCoef')
            = (order <> order', lCoef * lCoef')
    |
268 | lMul (order, lCoef) (order', lCoef') = (order <> order', lCoef * lCoef')
    |                                         ^^^^^^^^^^^^^^^