Skip to content

Instantly share code, notes, and snippets.

@fizruk

fizruk/decidable-gfoldMap.hs

Created January 30, 2016 19:03
Show Gist options
  • Save fizruk/b3b2999a913a5783554c to your computer and use it in GitHub Desktop.
Save fizruk/b3b2999a913a5783554c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
decidable-gfoldMap.hs
class Unit1 a
instance Unit1 a
gfoldMap :: (Deciding1 Unit1 f, Monoid m) => (a -> m) -> f a -> m
gfoldMap = flip . getOp $ deciding1 (Proxy :: Proxy Unit1) (Op mempty) (Op (flip id))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment