Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | hpacheco@di.uminho.pt |
Pointless Haskell: point-free programming with recursion patterns as hylomorphisms
This module defines generic GHood observations for user-defined data types.
Definition of generic observations
Class for mapping observations over functor representations.
functorOf :: Ann (Fix f) -> StringSource
Derives a type representation for a functor. This is used for showing the functor for reursion trees.
watch :: Ann (Fix f) -> Ann x -> Rep f x -> StringSource
Watch values of a functor. Since the fixpoint of a functor recurses over himself, we cannot use the Show
instance for functor values applied to their fixpoint.
fmapO :: Ann (Fix f) -> (x -> ObserverM y) -> Rep f x -> ObserverM (Rep f y)Source
Maps an observation over a functor representation.