Teleport

Documentation

data AddOptions

options for 'warp add'

Constructors

AddOptions

Fields

• folderPath :: Maybe String
• addname :: String

newtype RemoveOptions

options for 'warp remove'

Constructors

RemoveOptions

Fields

• removename :: String

newtype GotoOptions

options for 'warp goto'

Constructors

GotoOptions

Fields

• gotoname :: String

data Command

data type for command

Constructors

Display

Add AddOptions

Remove RemoveOptions

Goto GotoOptions

data WarpPoint

Constructors

WarpPoint

Fields

• _name :: String
• _absFolderPath :: String

Instances

Generic WarpPoint

Associated Types

type Rep WarpPoint :: * -> *

Methods

from :: WarpPoint -> Rep WarpPoint x

to :: Rep WarpPoint x -> WarpPoint

ToJSON WarpPoint

Methods

toJSON :: WarpPoint -> Value

toEncoding :: WarpPoint -> Encoding

toJSONList :: [WarpPoint] -> Value

toEncodingList :: [WarpPoint] -> Encoding

FromJSON WarpPoint

Methods

parseJSON :: Value -> Parser WarpPoint

parseJSONList :: Value -> Parser [WarpPoint]

Default WarpPoint

Methods

def :: WarpPoint

type Rep WarpPoint

type Rep WarpPoint = D1 (MetaData "WarpPoint" "Teleport" "shift-0.1.0.0-FbPILB5mxb4LE07c5MbmXa" False) (C1 (MetaCons "WarpPoint" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_absFolderPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

newtype WarpData

Constructors

WarpData

Fields

• _warpPoints :: [WarpPoint]

Instances

Generic WarpData

Associated Types

type Rep WarpData :: * -> *

Methods

from :: WarpData -> Rep WarpData x

to :: Rep WarpData x -> WarpData

ToJSON WarpData

Methods

toJSON :: WarpData -> Value

toEncoding :: WarpData -> Encoding

toJSONList :: [WarpData] -> Value

toEncodingList :: [WarpData] -> Encoding

FromJSON WarpData

Methods

parseJSON :: Value -> Parser WarpData

parseJSONList :: Value -> Parser [WarpData]

Default WarpData

Methods

def :: WarpData

type Rep WarpData

type Rep WarpData = D1 (MetaData "WarpData" "Teleport" "shift-0.1.0.0-FbPILB5mxb4LE07c5MbmXa" True) (C1 (MetaCons "WarpData" PrefixI True) (S1 (MetaSel (Just Symbol "_warpPoints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [WarpPoint])))

warpPoints :: Iso' WarpData [WarpPoint]

name :: Lens' WarpPoint String

absFolderPath :: Lens' WarpPoint String

exec :: IO ()

dieJSONParseError :: FilePath -> String -> IO WarpData

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 ()