Brick.Widgets.FileTree.Internal.Types

Documentation

data FileKind

Constructors

Dir

File

Error

data FileContext

Constructors

FC

Fields

• selected :: Bool
• path :: FilePath
• name :: String
• kind :: FileKind

data Config

Constructors

Config

Fields

• showSelection :: Bool
• previewDir :: Bool

data FileTree

Constructors

FZ

Fields

• parents :: Seq SubTree
• selection :: Set FilePath
• context :: SubTree
• config :: Config

type SubTree = Cofree (GenericList String Vector) FileContext

buildParent :: FilePath -> SubTree -> IO FileTree

newFileTree :: FilePath -> IO FileTree

defaultConfig :: Config