Ribosome.Data.ScratchOptions

Documentation

data ScratchOptions

Constructors

ScratchOptions

Fields

• _tab :: Bool
• _vertical :: Bool
• _wrap :: Bool
• _focus :: Bool
• _resize :: Bool
• _bottom :: Bool
• _modify :: Bool
• _float :: Maybe FloatOptions
• _size :: Maybe Int
• _maxSize :: Maybe Int
• _syntax :: [Syntax]
• _mappings :: [Mapping]
• _name :: Text

Instances

Eq ScratchOptions

Defined in Ribosome.Data.ScratchOptions

Methods

(==) :: ScratchOptions -> ScratchOptions -> Bool

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

Show ScratchOptions

Defined in Ribosome.Data.ScratchOptions

Methods

showsPrec :: Int -> ScratchOptions -> ShowS

show :: ScratchOptions -> String

showList :: [ScratchOptions] -> ShowS

Default ScratchOptions

Defined in Ribosome.Data.ScratchOptions

Methods

def :: ScratchOptions

HasScratchOptions ScratchOptions

Defined in Ribosome.Data.ScratchOptions

Methods

scratchOptions :: Lens' ScratchOptions ScratchOptions

bottom :: Lens' ScratchOptions Bool

float :: Lens' ScratchOptions (Maybe FloatOptions)

focus :: Lens' ScratchOptions Bool

mappings :: Lens' ScratchOptions [Mapping]

maxSize :: Lens' ScratchOptions (Maybe Int)

modify :: Lens' ScratchOptions Bool

name :: Lens' ScratchOptions Text

resize :: Lens' ScratchOptions Bool

size :: Lens' ScratchOptions (Maybe Int)

syntax :: Lens' ScratchOptions [Syntax]

tab :: Lens' ScratchOptions Bool

vertical :: Lens' ScratchOptions Bool

wrap :: Lens' ScratchOptions Bool

class HasScratchOptions c where

Minimal complete definition

scratchOptions

Methods

scratchOptions :: Lens' c ScratchOptions

bottom :: Lens' c Bool

float :: Lens' c (Maybe FloatOptions)

focus :: Lens' c Bool

mappings :: Lens' c [Mapping]

maxSize :: Lens' c (Maybe Int)

modify :: Lens' c Bool

name :: Lens' c Text

resize :: Lens' c Bool

size :: Lens' c (Maybe Int)

syntax :: Lens' c [Syntax]

tab :: Lens' c Bool

vertical :: Lens' c Bool

wrap :: Lens' c Bool

Instances

HasScratchOptions ScratchOptions

Defined in Ribosome.Data.ScratchOptions

Methods

scratchOptions :: Lens' ScratchOptions ScratchOptions

bottom :: Lens' ScratchOptions Bool

float :: Lens' ScratchOptions (Maybe FloatOptions)

focus :: Lens' ScratchOptions Bool

mappings :: Lens' ScratchOptions [Mapping]

maxSize :: Lens' ScratchOptions (Maybe Int)

modify :: Lens' ScratchOptions Bool

name :: Lens' ScratchOptions Text

resize :: Lens' ScratchOptions Bool

size :: Lens' ScratchOptions (Maybe Int)

syntax :: Lens' ScratchOptions [Syntax]

tab :: Lens' ScratchOptions Bool

vertical :: Lens' ScratchOptions Bool

wrap :: Lens' ScratchOptions Bool

defaultScratchOptions :: Text -> ScratchOptions

scratchFocus :: ScratchOptions -> ScratchOptions

scratchSyntax :: [Syntax] -> ScratchOptions -> ScratchOptions

scratchMappings :: [Mapping] -> ScratchOptions -> ScratchOptions

scratchFloat :: FloatOptions -> ScratchOptions -> ScratchOptions

scratchSize :: Int -> ScratchOptions -> ScratchOptions

scratchModify :: ScratchOptions -> ScratchOptions