Classes for Functors

A short example why you would like explicit dictionaty passing.

-- Explicit
class NFData1 f where
    rnfWith :: (a -> ()) -> f a -> ()

-- Implicit
class NFData1' f where
    rnf1 :: NFData a => f a -> ()

The explicit one is more powerful, but it has its drawbacks too.

Gist source

• 2024-04-12 – Core Inspection
• 2024-04-01 – Implicit arguments
• 2024-03-17 – ST with an early exit
• 2024-02-27 – More QualifiedDo examples
• 2023-10-17 – More traversals and more Cabal SAT

twitter github email linkedin stackoverflow