HKT.Squash

Documentation

class Squash a where

Methods

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

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

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