| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.CommandLine
Contents
Synopsis
- data ParseFailure
- data ExpansionFailure
- data FZFResolveFailure
- allow :: FilePath -> Bool
- parseInput :: Codebase IO Symbol Ann -> ProjectPath -> IO (Branch IO) -> NumberedArgs -> Map String InputPattern -> [CliArg] -> IO (Either ParseFailure (Maybe (Arguments, Input)))
- prompt :: String
- reportParseFailure :: ParseFailure -> Pretty ColorText
- defaultLoadSourceFile :: Text -> IO LoadSourceResult
- defaultWriteSourceFile :: Text -> Text -> Bool -> 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 |
| -> [CliArg] | 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.