Generics.MultiRec.HFix

Higher-order fixed point operator as well as conversion functions. It is rarely necessary to use HFix. Generic functions usually convert between the original datatype and the functor directly.

Fixed point of indexed types

data HFix h ix

Constructors

HIn

Fields

hout :: h (HFix h) ix

hfrom :: (Fam phi, HFunctor phi (PF phi)) => phi ix -> ix -> HFix (PF phi) ix

hto :: (Fam phi, HFunctor phi (PF phi)) => phi ix -> HFix (PF phi) ix -> ix