Mendler-style recursion.

github · Mar 19, 2024 · c746f93 · c746f93
1 parent 050188f
commit c746f93
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/semantic-analysis/src/Analysis/Syntax.hs b/semantic-analysis/src/Analysis/Syntax.hs
@@ -1,10 +1,12 @@
 {-# LANGUAGE QuantifiedConstraints #-}
+{-# LANGUAGE RankNTypes #-}
 module Analysis.Syntax
 ( -- * Syntax
   Term(..)
 , subterms
 , foldTerm
 , paraTerm
+, mendlerTerm
 ) where
 
 import qualified Data.Set as Set
@@ -42,3 +44,9 @@ paraTerm var sig = go
   where
   go (Var v)  = var v
   go (Term s) = sig ((,) <*> go <$> s)
+
+mendlerTerm :: (v -> r) -> (forall r' . (r' -> r) -> sig r'-> r) -> (Term sig v -> r)
+mendlerTerm var sig = go
+  where
+  go (Var v)  = var v
+  go (Term s) = sig go s