Vgrep.Environment

Documentation

data Environment

VgrepT actions can read from the environment.

Constructors

Env

Fields

• _config :: Config

  External configuration (colors, editor executable, …)

• _region :: DisplayRegion

  The bounds (width and height) of the display region 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

Auto-generated Lenses

config :: Lens' Environment Config

region :: Lens' Environment DisplayRegion

Re-exports

module Vgrep.Environment.Config

module Graphics.Vty.Prelude