Top.Util.Option

Documentation

option :: a -> String -> Option a

data Option a

Constructors

Option

Fields

defaultValue :: a

currentValue :: a

optionDescription :: String

Instances

Functor Option

(Show a, Eq a) => Show (Option a)

data OptionAccess m a

Constructors

Access

Fields

getOption :: m a

setOption :: a -> m ()

ignoreOption :: Monad m => Option a -> OptionAccess m a

optionAccessTrans :: (forall a. m1 a -> m2 a) -> OptionAccess m1 b -> OptionAccess m2 b

useOption :: MonadState s m => (s -> Option a) -> (Option a -> s -> s) -> OptionAccess m a