Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data AddOptions = AddOptions {
- folderPath :: Maybe String
- addname :: String
- newtype RemoveOptions = RemoveOptions {
- removename :: String
- newtype GotoOptions = GotoOptions {}
- data Command
- data WarpPoint = WarpPoint {
- _name :: String
- _absFolderPath :: String
- newtype WarpData = WarpData {
- _warpPoints :: [WarpPoint]
- warpPoints :: Lens' WarpData [WarpPoint]
- name :: Lens' WarpPoint String
- absFolderPath :: Lens' WarpPoint String
- exec :: IO ()
- decodeWarpData :: FilePath -> IO WarpData
- loadWarpData :: FilePath -> IO WarpData
- saveWarpData :: FilePath -> WarpData -> IO ()
- warpDataPath :: IO FilePath
- readFolderPath :: String -> ReadM FilePath
- warpnameParser :: Parser String
- parseAddCommand :: Parser Command
- folderParser :: Parser (Maybe String)
- parseRemoveCommand :: Parser Command
- parseGotoCommand :: Parser Command
- parseCommand :: Parser Command
- setErrorColor :: IO ()
- colorWhen :: IO () -> IO ()
- warpPointPrint :: WarpPoint -> IO ()
- folderNotFoundError :: FilePath -> IO ()
- needFolderNotFileError :: FilePath -> IO ()
- dieIfFolderNotFound :: FilePath -> IO ()
- dieWarpPointExists :: WarpPoint -> IO ()
- runAdd :: AddOptions -> IO ()
- runDisplay :: IO ()
- dieWarpPointNotFound :: String -> IO ()
- runRemove :: RemoveOptions -> IO ()
- runGoto :: GotoOptions -> IO ()
- run :: Command -> IO ()
Documentation
data AddOptions Source #
options for 'warp add'
AddOptions | |
|
data type for command
WarpPoint | |
|
Instances
Generic WarpPoint Source # | |
Binary WarpPoint Source # | |
Default WarpPoint Source # | |
type Rep WarpPoint Source # | |
Defined in Teleport type Rep WarpPoint = D1 (MetaData "WarpPoint" "Teleport" "shift-0.2.0.2-I6EuPpT9vCu3XmWbB3dVev" False) (C1 (MetaCons "WarpPoint" PrefixI True) (S1 (MetaSel (Just "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "_absFolderPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) |
WarpData | |
|
setErrorColor :: IO () Source #
warpPointPrint :: WarpPoint -> IO () Source #
folderNotFoundError :: FilePath -> IO () Source #
needFolderNotFileError :: FilePath -> IO () Source #
dieIfFolderNotFound :: FilePath -> IO () Source #
dieWarpPointExists :: WarpPoint -> IO () Source #
runAdd :: AddOptions -> IO () Source #
runDisplay :: IO () Source #
dieWarpPointNotFound :: String -> IO () Source #
runRemove :: RemoveOptions -> IO () Source #
runGoto :: GotoOptions -> IO () Source #