multirec-0.7.9: Generic programming for families of recursive datatypes

Copyright(c) 2008--2010 Universiteit Utrecht
LicenseBSD3
Maintainergenerics@haskell.org
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Generics.MultiRec.HFix

Contents

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

Fixed point of indexed types

data HFix (h :: (* -> *) -> * -> *) ix Source #

Constructors

HIn 

Fields

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 #