Vgrep.Environment

Documentation

data Environment

VgrepT actions can read from the environment.

Constructors

Env

Fields

• _config :: Config

  External configuration (colors, editor executable, …)

• _viewport :: Viewport

  The bounds (width and height) of the display viewport where the App or the current Widget is displayed

Instances

Eq Environment

Methods

(==) :: Environment -> Environment -> Bool

(/=) :: Environment -> Environment -> Bool

Show Environment

Methods

showsPrec :: Int -> Environment -> ShowS

show :: Environment -> String

showList :: [Environment] -> ShowS

Monad m => MonadReader Environment (VgrepT s m)

VgrepT can read from the Environment. Modifications to the enviromnent are only possible globally (see modifyEnvironment), the local environment is pure.

Methods

ask :: VgrepT s m Environment

local :: (Environment -> Environment) -> VgrepT s m a -> VgrepT s m a

reader :: (Environment -> a) -> VgrepT s m a

data Viewport

The bounds (width and height) of a display viewport.

Constructors

Viewport

Fields

• _vpWidth :: Int
• _vpHeight :: Int

Instances

Eq Viewport

Methods

(==) :: Viewport -> Viewport -> Bool

(/=) :: Viewport -> Viewport -> Bool

Show Viewport

Methods

showsPrec :: Int -> Viewport -> ShowS

show :: Viewport -> String

showList :: [Viewport] -> ShowS

Auto-generated Lenses

config :: Lens' Environment Config

viewport :: Lens' Environment Viewport

vpHeight :: Lens' Viewport Int

vpWidth :: Lens' Viewport Int

Convenience Lenses

viewportWidth :: Lens' Environment Int

viewportHeight :: Lens' Environment Int

Re-exports

module Vgrep.Environment.Config