yoko-0.3: Generic Programming with Disbanded Data Types

Safe HaskellSafe-Infered

Data.Yoko.HCompos

Documentation

type family Idiom cnv :: * -> *Source

class Applicative (Idiom cnv) => HCompos cnv a t whereSource

Methods

hcompos :: cnv -> a -> Idiom cnv tSource

Instances

(Generic dc, ~ * (Just (N dc')) (FindDCs (Tag dc) (DCs t)), HComposRs cnv (Rep dc) (Rep dc'), DC dc', ~ * (Range dc') t, DT t) => HCompos cnv (N dc) t 
(HCompos cnv a t, HCompos cnv b t) => HCompos cnv (:+: a b) t 
HCompos cnv sum t => HCompos cnv (DCsOf a sum) t