hkt-0.0.1: A library for higher kinded types.

Safe HaskellSafe
LanguageHaskell2010

HKT.Squash

Documentation

class Squash a where Source #

Methods

squash :: a Maybe -> Maybe (a ID) Source #

squash :: (Generic (a Maybe), Generic (a ID), GSquash (Rep (a Maybe)) (Rep (a ID))) => a Maybe -> Maybe (a ID) Source #

squash :: Squash a => a Maybe -> Maybe (a ID) Source #