yoko-0.3.1.2: Generic Programming with Disbanded Data Types
Data.Yoko.HCompos
type family Idiom cnv :: * -> *Source
class Applicative (Idiom cnv) => HCompos cnv a t whereSource
Methods
hcompos :: cnv -> a -> Idiom cnv tSource
Instances