hkt-0.0.1: A library for higher kinded types.

Safe HaskellSafe
LanguageHaskell2010

HKT

Documentation

type family HKT a b where ... Source #

Equations

HKT ID a = a 
HKT b a = b a 

data ID a Source #

class Merge a where Source #

Methods

merge :: a ID -> a Maybe -> a ID Source #

merge :: (Generic (a Maybe), Generic (a ID), GMerge (Rep (a ID)) (Rep (a Maybe))) => a ID -> a Maybe -> a ID Source #

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 #

merge :: Merge a => a ID -> a Maybe -> a ID Source #

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