2module Types.Unify (unify) where
4import Control.Monad (liftM)
5import qualified Data.Map as Map
11unify hints modul = run $ do
12 constraints <- constrain hints modul
13 either (return . Left) (\cs -> solver cs Map.empty) constraints
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list