[project @ 2004-03-30 15:31:35 by ralf]
[ghc-base.git] / Data / Generics / Aliases.hs
index ac5c039..9cb504a 100644 (file)
@@ -42,10 +42,6 @@ module Data.Generics.Aliases (
        choiceMp,
        choiceQ,
 
-        -- * Operators for (over-appreciated) unfolding
-        gunfoldB,
-        gunfoldR,
-
        -- * Type extension for unary type constructors
        ext1T, 
        ext1M,
@@ -305,30 +301,6 @@ recoverQ r f = f `choiceQ` const (return r)
 
 ------------------------------------------------------------------------------
 --
---     Generic unfolding
---
-------------------------------------------------------------------------------
-
--- | Construct an initial term with undefined immediate subterms
---   and then map over the skeleton to fill in proper terms.
-gunfoldB :: Data a
-         => Constr
-         -> (forall a. Data a => a)
-         -> a
-gunfoldB c f = gmapT (const f) (fromConstr c)
-
-
--- | Monadic variation on \"gunfoldB\"
-gunfoldR :: (Monad m, Data a)
-         => Constr
-         -> (forall a. Data a => m a)
-         -> m a
-gunfoldR c f = gmapM (const f) $ fromConstr c
-
-
-
-------------------------------------------------------------------------------
---
 --     Type extension for unary type constructors
 --
 ------------------------------------------------------------------------------