Copyright	(c) 2015-2019 Peter Trško
License	BSD3
Maintainer	peter.trsko@gmail.com
Stability	experimental
Portability	GHC specific language extensions.
Safe Haskell	None
Language	Haskell2010

Data.Verbosity

Description

Simple enum that encodes application Verbosity.

Synopsis

data Verbosity
- = Silent
- | Normal
- | Verbose
- | Annoying
increment :: Verbosity -> Maybe Verbosity
increment' :: Verbosity -> Verbosity
fromInt :: Int -> Maybe Verbosity
parse :: (Eq string, IsString string) => string -> Maybe Verbosity

Documentation

data Verbosity Source #

Ordering:

Silent < Normal < Verbose < Annoying

Bounds:

minBound = Silent; maxBound = Annoying

Enum:

map fromEnum [Silent .. Annoying] = [0, 1, 2, 3]

Constructors

Silent	Don't print any messages.
Normal	Print only important messages. (default)
Verbose	Print anything that comes in to mind.
Annoying	Print debugging/tracing information.

Instances

Bounded Verbosity Source #
Instance details Defined in Data.Verbosity Methods minBound :: Verbosity # maxBound :: Verbosity #
Enum Verbosity Source #
Instance details Defined in Data.Verbosity Methods succ :: Verbosity -> Verbosity # pred :: Verbosity -> Verbosity # toEnum :: Int -> Verbosity # fromEnum :: Verbosity -> Int # enumFrom :: Verbosity -> [Verbosity] # enumFromThen :: Verbosity -> Verbosity -> [Verbosity] # enumFromTo :: Verbosity -> Verbosity -> [Verbosity] # enumFromThenTo :: Verbosity -> Verbosity -> Verbosity -> [Verbosity] #
Eq Verbosity Source #
Instance details Defined in Data.Verbosity Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Data Verbosity Source #
Instance details Defined in Data.Verbosity Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Verbosity -> c Verbosity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Verbosity # toConstr :: Verbosity -> Constr # dataTypeOf :: Verbosity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Verbosity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Verbosity) # gmapT :: (forall b. Data b => b -> b) -> Verbosity -> Verbosity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Verbosity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Verbosity -> r # gmapQ :: (forall d. Data d => d -> u) -> Verbosity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Verbosity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Verbosity -> m Verbosity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Verbosity -> m Verbosity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Verbosity -> m Verbosity #
Ord Verbosity Source #
Instance details Defined in Data.Verbosity Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #
Read Verbosity Source #
Instance details Defined in Data.Verbosity Methods readsPrec :: Int -> ReadS Verbosity # readList :: ReadS [Verbosity] # readPrec :: ReadPrec Verbosity # readListPrec :: ReadPrec [Verbosity] #
Show Verbosity Source #
Instance details Defined in Data.Verbosity Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #
Generic Verbosity Source #
Instance details Defined in Data.Verbosity Associated Types type Rep Verbosity :: Type -> Type # Methods from :: Verbosity -> Rep Verbosity x # to :: Rep Verbosity x -> Verbosity #
Binary Verbosity Source #	Encoded as one byte in range `[minBound .. maxBound :: Verbosity]`.
Instance details Defined in Data.Verbosity Methods put :: Verbosity -> Put # get :: Get Verbosity # putList :: [Verbosity] -> Put #
NFData Verbosity Source #
Instance details Defined in Data.Verbosity Methods rnf :: Verbosity -> () #
Default Verbosity Source #	`def` = `Normal`
Instance details Defined in Data.Verbosity Methods def :: Verbosity #
Interpret Verbosity Source #
Instance details Defined in Data.Verbosity Methods autoWith :: InterpretOptions -> Type Verbosity #
Inject Verbosity Source #
Instance details Defined in Data.Verbosity Methods injectWith :: InterpretOptions -> InputType Verbosity #
Serialise Verbosity Source #
Instance details Defined in Data.Verbosity Methods encode :: Verbosity -> Encoding # decode :: Decoder s Verbosity # encodeList :: [Verbosity] -> Encoding # decodeList :: Decoder s [Verbosity] #
HasVerbosity Verbosity Source #
Instance details Defined in Data.Verbosity.Class Methods verbosity :: Functor f => (Verbosity -> f Verbosity) -> Verbosity -> f Verbosity Source #
type Rep Verbosity Source #
Instance details Defined in Data.Verbosity type Rep Verbosity = D1 (MetaData "Verbosity" "Data.Verbosity" "verbosity-0.3.0.0-B0fuaQhJZOz1QpHCdys5er" False) ((C1 (MetaCons "Silent" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Normal" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Verbose" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Annoying" PrefixI False) (U1 :: Type -> Type)))

increment :: Verbosity -> Maybe Verbosity Source #

Increment verbosity level. Return Nothing if trying to icrement beyond maxBound.

increment' :: Verbosity -> Verbosity Source #

Variant of increment that doesn't fail when maxBound is reached. It is defined as:

increment' v = fromMaybe v (increment v)

fromInt :: Int -> Maybe Verbosity Source #

Safe version of toEnum specialized to Verbosity.

parse :: (Eq string, IsString string) => string -> Maybe Verbosity Source #

Generic Verbosity parsing function.

Use case-insensitive package to make this function case insensitive:

ghci> import Data.Verbosity as Verbosity
ghci> import qualified Data.CaseInsensitive as CI (mk)
ghci> Verbosity.parse (CI.mk "silent")
Just Silent