multirec-0.3: Generic programming for families of recursive datatypes Source code Contents Index

Generics.MultiRec.HFix Portability non-portable Stability experimental Maintainer generics@haskell.org

Contents Fixed point of indexed types

Description

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.

Synopsis

data HFix h ix = HIn { 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

Fixed point of indexed types

data HFix h ix Source

Constructors HIn hout :: h (HFix h) ix

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

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

Produced by Haddock version 2.4.2