Data.Yoko.HCompos

The generic homomorphism or "heterogenous compos".

See the paper "A Pattern for Almost Homomorphic Functions" at http://www.ittc.ku.edu/~nfrisby/papers/yoko.pdf, submitted to ICFP 2012.

Documentation

type family Idiom cnv :: * -> *

The applicative functor required by the conversion.

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

The conversion cnv can convert from a to t.

Methods

hcompos :: cnv -> a -> Idiom cnv t

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

type family FindDCs s sum

FindDCs s sum returns a type-level Maybe. Just dc is a fields type dc where Tag dc ~ s.