infer under given context

2024-03-15 13:43:23 -06:00
parent 932fed8e5c
commit fcd784441a
3 changed files with 60 additions and 11 deletions
--- a/src/Rlp/AltSyntax.hs
+++ b/src/Rlp/AltSyntax.hs
@@ -15,6 +15,7 @@ module Rlp.AltSyntax
    -- * Optics
    , programDecls
    , _VarP, _FunB, _VarB
+    , _TySigD, _FunD

    -- * Functor-related tools
    , Fix(..), Cofree(..), Sum(..), pattern Finl, pattern Finr
@@ -186,6 +187,7 @@ instance (Out b) => Out1 (Program b) where

 makePrisms ''Pat
 makePrisms ''Binding
+makePrisms ''Decl

 deriving instance (Lift b, Lift a) => Lift (Program b a)
 deriving instance (Lift b, Lift a) => Lift (Decl b a)