Commit 0f4ba2c5 authored by judah's avatar judah
Browse files

Merge pull request #4 from monoidal/patch-1

Add a "forall" quantifier before rank-n-types
parents f543665b 2d3e35d3
......@@ -40,7 +40,7 @@ data RunTerm = RunTerm {
-- | Operations needed for terminal-style interaction.
data TermOps = TermOps {
getLayout :: IO Layout
, withGetEvent :: CommandMonad m => (m Event -> m a) -> m a
, withGetEvent :: forall m a . CommandMonad m => (m Event -> m a) -> m a
, evalTerm :: forall m . CommandMonad m => EvalTerm m
, saveUnusedKeys :: [Key] -> IO ()
}
......
Supports Markdown
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