Safe Haskell	None
Language	GHC2021

Shrun.Configuration.Data.WithDisabled

Contents

Construction
Elimination
Misc
Optics

Synopsis

data WithDisabled a
- = With a
- | Without
- | Disabled
fromMaybe :: Maybe a -> WithDisabled a
fromBool :: Bool -> WithDisabled ()
toMaybe :: WithDisabled a -> Maybe a
toBool :: WithDisabled a -> Bool
fromWithDisabled :: a -> WithDisabled a -> a
fromDefault :: Default a => WithDisabled a -> a
(<>?) :: WithDisabled a -> Maybe a -> WithDisabled a
(<>?.) :: Default a => WithDisabled a -> Maybe a -> a
(<>??) :: WithDisabled a -> Maybe a -> Maybe a
_With :: Prism' (WithDisabled a) a
_Without :: Prism' (WithDisabled a) ()
_Disabled :: Prism' (WithDisabled a) ()

Documentation

data WithDisabled a Source #

Like Maybe but adds an extra constructor representing a "disabled" state. The idea is that both CLI Args and Toml and have optional fields, but the CLI can also be "disabled", which overrides everything.

The semigroup is similar to Maybe's:

Identity: Without
With is left-biased.
(Without, Disabled) forms a normal submonoid, in particular:

  Disabled <> _ === Disabled === _ <> Disabled

Constructors

With a	The field.
Without	Missing.
Disabled	Disabled.

Instances

Instances details

Foldable WithDisabled Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods fold :: Monoid m => WithDisabled m -> m # foldMap :: Monoid m => (a -> m) -> WithDisabled a -> m # foldMap' :: Monoid m => (a -> m) -> WithDisabled a -> m # foldr :: (a -> b -> b) -> b -> WithDisabled a -> b # foldr' :: (a -> b -> b) -> b -> WithDisabled a -> b # foldl :: (b -> a -> b) -> b -> WithDisabled a -> b # foldl' :: (b -> a -> b) -> b -> WithDisabled a -> b # foldr1 :: (a -> a -> a) -> WithDisabled a -> a # foldl1 :: (a -> a -> a) -> WithDisabled a -> a # toList :: WithDisabled a -> [a] # null :: WithDisabled a -> Bool # length :: WithDisabled a -> Int # elem :: Eq a => a -> WithDisabled a -> Bool # maximum :: Ord a => WithDisabled a -> a # minimum :: Ord a => WithDisabled a -> a # sum :: Num a => WithDisabled a -> a # product :: Num a => WithDisabled a -> a #
Applicative WithDisabled Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods pure :: a -> WithDisabled a # (<>) :: WithDisabled (a -> b) -> WithDisabled a -> WithDisabled b # liftA2 :: (a -> b -> c) -> WithDisabled a -> WithDisabled b -> WithDisabled c # (>) :: WithDisabled a -> WithDisabled b -> WithDisabled b # (<*) :: WithDisabled a -> WithDisabled b -> WithDisabled a #
Functor WithDisabled Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods fmap :: (a -> b) -> WithDisabled a -> WithDisabled b # (<$) :: a -> WithDisabled b -> WithDisabled a #
Monad WithDisabled Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods (>>=) :: WithDisabled a -> (a -> WithDisabled b) -> WithDisabled b # (>>) :: WithDisabled a -> WithDisabled b -> WithDisabled b # return :: a -> WithDisabled a #
Monoid (WithDisabled a) Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods mempty :: WithDisabled a # mappend :: WithDisabled a -> WithDisabled a -> WithDisabled a # mconcat :: [WithDisabled a] -> WithDisabled a #
Semigroup (WithDisabled a) Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods (<>) :: WithDisabled a -> WithDisabled a -> WithDisabled a # sconcat :: NonEmpty (WithDisabled a) -> WithDisabled a # stimes :: Integral b => b -> WithDisabled a -> WithDisabled a #
Show a => Show (WithDisabled a) Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods showsPrec :: Int -> WithDisabled a -> ShowS # show :: WithDisabled a -> String # showList :: [WithDisabled a] -> ShowS #
Eq a => Eq (WithDisabled a) Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods (==) :: WithDisabled a -> WithDisabled a -> Bool # (/=) :: WithDisabled a -> WithDisabled a -> Bool #
Default (WithDisabled a) Source #
Instance details Defined in Shrun.Configuration.Data.WithDisabled Methods def :: WithDisabled a Source #