Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
update
input handler.
Synopsis
- handleUpdate2 :: Cli ()
- typecheckedUnisonFileToBranchUpdates :: (forall void. Output -> Transaction void) -> (Name -> Either Output (Maybe [Name])) -> TypecheckedUnisonFile Symbol Ann -> Transaction [(Path, Branch0 m -> Branch0 m)]
Documentation
handleUpdate2 :: Cli () Source #
Misc helpers to be organized later
typecheckedUnisonFileToBranchUpdates Source #
:: (forall void. Output -> Transaction void) | |
-> (Name -> Either Output (Maybe [Name])) | Returns |
-> TypecheckedUnisonFile Symbol Ann | |
-> Transaction [(Path, Branch0 m -> Branch0 m)] |