Browse files

comment.

  • Loading branch information...
1 parent 319ee6f commit 8d1d582aa8d36279707084a5dd375e0b0b0a24e2 @mboes committed Feb 6, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Dedukti/Core.hs
View
2 Dedukti/Core.hs
@@ -209,7 +209,7 @@ unapply t k = go [] [] t where
class Ord (Id t) => Transform t where
-- | Effectful bottom-up transformation on terms. A default for
-- 'transformM' in terms of 'descendM' for all instances other than
- -- @Expr id a@.
+ -- @Expr id a@ is provided.
transformM :: Monad m => (Expr (Id t) (A t) -> m (Expr (Id t) (A t))) -> t -> m t
transformM f = descendM (transformM f)

0 comments on commit 8d1d582

Please sign in to comment.