[Haskell-cafe] naturally, length :: a -> Int

Henning Thielemann lemming at henning-thielemann.de
Sat Mar 6 13:41:22 UTC 2021

Previous message: [Haskell-cafe] naturally, length :: a -> Int
Next message: [Haskell-cafe] naturally, length :: a -> Int
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Fri, 5 Mar 2021, Zemyla wrote:

> You're looking for Ratio Natural.

It's more like Ratio PositiveNatural.

Previous message: [Haskell-cafe] naturally, length :: a -> Int
Next message: [Haskell-cafe] naturally, length :: a -> Int
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list