| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.CommandLine
Synopsis
- data ParseFailure
- data ExpansionFailure
- data FZFResolveFailure
- allow :: FilePath -> Bool
- parseInput :: Codebase IO Symbol Ann -> ProjectPath -> IO (Branch IO) -> NumberedArgs -> Map String InputPattern -> [String] -> IO (Either ParseFailure (Maybe (Arguments, Input)))
- prompt :: String
- reportParseFailure :: ParseFailure -> Pretty ColorText
- watchFileSystem :: TQueue Event -> FilePath -> IO (IO ())
Documentation
data ParseFailure Source #
data ExpansionFailure Source #
data FZFResolveFailure Source #
Constructors
| NoFZFResolverForArgumentType ParameterDescription | |
| NoFZFOptions | |
Fields
| |
Arguments
| :: Codebase IO Symbol Ann | |
| -> ProjectPath | Current location |
| -> IO (Branch IO) | |
| -> NumberedArgs | Numbered arguments |
| -> Map String InputPattern | Input Pattern Map |
| -> [String] | command:arguments |
| -> IO (Either ParseFailure (Maybe (Arguments, Input))) |
reportParseFailure :: ParseFailure -> Pretty ColorText Source #
TODO: Move this closer to main, but right now it’s shared by ucm and transcripts, so this is the closest
we can get without duplicating it.