Rasa.Internal.Extensions

Documentation

data Ext

A wrapper around an extension of any type so it can be stored in an ExtMap

Constructors

Show a => Ext a

Instances

Show Ext

Methods

showsPrec :: Int -> Ext -> ShowS

show :: Ext -> String

showList :: [Ext] -> ShowS

type ExtMap = Map TypeRep Ext

A map of extension types to their current value.

class HasBufExts s where

Members of this class have access to buffer extensions. (Each Buffer is a member of this class)

Minimal complete definition

bufExts

Methods

bufExts :: Lens' s (Map TypeRep Ext)

This lens focuses the Extensions States map of the in-scope buffer.

Instances

HasBufExts Buffer

Methods

bufExts :: Lens' Buffer (Map TypeRep Ext)

class HasExts s where

Members of this class have access to editor extensions.

Minimal complete definition

exts

Methods

exts :: Lens' s (Map TypeRep Ext)

This lens focuses the Extensions States

Instances

HasExts Editor

Methods

exts :: Lens' Editor (Map TypeRep Ext)

HasExts ActionState

Methods

exts :: Lens' ActionState (Map TypeRep Ext)

bufExt :: forall a s. (Show a, Typeable a, Default a, HasBufExts s) => Lens' s a

bufExt is a lens which will focus a given extension's state within a buffer (within a BufAction). The lens will automagically focus the required extension by using type inference. It's a little bit of magic, if you treat the focus as a member of your extension state it should just work out.

This lens falls back on the extension's Default instance (when getting) if nothing has yet been stored.

ext :: forall a e. (Show a, Typeable a, Default a, HasExts e) => Lens' e a

This is a lens which will focus the extension state that matches the type inferred as the focal point. It's a little bit of magic, if you treat the focus as a member of your extension state it should just work out.

This lens falls back on the extension's Default instance (when getting) if nothing has yet been stored.