Data.Settings.Types

Documentation

data Option m

A settings option. The option value itself is held as usual in regular application state, not here. What is held here is functions applied to that state to get or set the value.

Constructors

Option

Fields

optGet :: m String

optSet :: String -> m (Maybe SettingsError)

optReset :: m ()

data Section m

Constructors

Section

Fields

secOpts :: HashMap String (Option m)

secSubs :: HashMap String (Section m)

type OptName = String

type SecName = String

type OptPath = String

type OptRoute = [String]

data SettingsError

Constructors

InvalidPath OptPath

NoSuchOption OptRoute

NoSuchSection OptRoute

NoSuchNode OptRoute

InvalidValueForType String

InvalidValue String

class OptionValue v where

Methods

readOption :: String -> Maybe v

showOption :: v -> String

typeName :: v -> String

class Monad m => MonadSettings m s | m -> s where

Methods

getSettings :: m s

putSettings :: s -> m ()

modifySettings :: (s -> s) -> m ()

getSTree :: m (Section m)