Data.Settings.Types

Documentation

data Option m

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)