From 76c69dce45c9ee713a3afb8f80bdd74f01ec9276 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Tue, 6 Mar 2018 16:43:23 -0500
Subject: [PATCH] :memo: analyzeTerm.

---
 src/Control/Abstract/Analysis.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Control/Abstract/Analysis.hs b/src/Control/Abstract/Analysis.hs
index 6e5780440..540b0fdfd 100644
--- a/src/Control/Abstract/Analysis.hs
+++ b/src/Control/Abstract/Analysis.hs
@@ -7,6 +7,7 @@ import Prologue
 --
 --   This typeclass is left intentionally unconstrained to avoid circular dependencies between it and other typeclasses.
 class Monad m => MonadAnalysis term value m | m -> term, m -> value where
+  -- | Analyze a term using the semantics of the current analysis. This should generally only be called by definitions of 'evaluateTerm' and 'analyzeTerm' in this or other instances.
   analyzeTerm :: SubtermAlgebra (Base term) term (m value)
 
   -- | Evaluate a term to a value using the semantics of the current analysis.