Safe Haskell	Safe-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