Commit 37f9e668 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add type signature in local where

parent 43583aaa
......@@ -451,13 +451,16 @@ fromConstrB f = unID . gunfold k z
-- | Monadic variation on 'fromConstrB'
fromConstrM :: (Monad m, Data a)
fromConstrM :: forall m a. (Monad m, Data a)
=> (forall d. Data d => m d)
-> Constr
-> m a
fromConstrM f = gunfold k z
where
k :: (forall b r. Data b => m (b -> r) -> m r)
k c = do { c' <- c; b <- f; return (c' b) }
z :: forall r. r -> m r
z = return
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment