multirec-0.2: Generic programming with systems 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 :: (pfs ~ PF s, Ix s ix, HFunctor (PF s)) => ix -> HFix (pfs s) ix hto :: (pfs ~ PF s, Ix s ix, HFunctor (PF s)) => HFix (pfs s) ix -> ix

Fixed point of indexed types

data HFix h ix Source

Constructors HIn hout :: h (HFix h) ix

hfrom :: (pfs ~ PF s, Ix s ix, HFunctor (PF s)) => ix -> HFix (pfs s) ix Source

hto :: (pfs ~ PF s, Ix s ix, HFunctor (PF s)) => HFix (pfs s) ix -> ix Source

Produced by Haddock version 2.4.2