Copyright	(c) 2008--2010 Universiteit Utrecht
License	BSD3
Maintainer	generics@haskell.org
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Generics.MultiRec.HFix

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
Fields 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 #