trace-embrace

Safe Haskell	None
Language	GHC2024

Debug.TraceEmbrace.Config.Type.Level

Documentation

data TraceLevel Source #

Constructors

Trace
Info
Warning
Error
TracingDisabled

Instances

Instances details

Bounded TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

minBound :: TraceLevel #

maxBound :: TraceLevel #

Enum TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

succ :: TraceLevel -> TraceLevel #

pred :: TraceLevel -> TraceLevel #

toEnum :: Int -> TraceLevel #

fromEnum :: TraceLevel -> Int #

enumFrom :: TraceLevel -> [TraceLevel] #

enumFromThen :: TraceLevel -> TraceLevel -> [TraceLevel] #

enumFromTo :: TraceLevel -> TraceLevel -> [TraceLevel] #

enumFromThenTo :: TraceLevel -> TraceLevel -> TraceLevel -> [TraceLevel] #

Generic TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Associated Types

type Rep TraceLevel

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

type Rep TraceLevel = D1 ('MetaData "TraceLevel" "Debug.TraceEmbrace.Config.Type.Level" "trace-embrace-1.2.0-inplace" 'False) ((C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Info" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TracingDisabled" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: TraceLevel -> Rep TraceLevel x #

to :: Rep TraceLevel x -> TraceLevel #

Show TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

showsPrec :: Int -> TraceLevel -> ShowS #

show :: TraceLevel -> String #

showList :: [TraceLevel] -> ShowS #

Eq TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

(==) :: TraceLevel -> TraceLevel -> Bool #

(/=) :: TraceLevel -> TraceLevel -> Bool #

Ord TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

compare :: TraceLevel -> TraceLevel -> Ordering #

(<) :: TraceLevel -> TraceLevel -> Bool #

(<=) :: TraceLevel -> TraceLevel -> Bool #

(>) :: TraceLevel -> TraceLevel -> Bool #

(>=) :: TraceLevel -> TraceLevel -> Bool #

max :: TraceLevel -> TraceLevel -> TraceLevel #

min :: TraceLevel -> TraceLevel -> TraceLevel #

Lift TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

lift :: Quote m => TraceLevel -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => TraceLevel -> Code m TraceLevel #

type Rep TraceLevel Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

type Rep TraceLevel = D1 ('MetaData "TraceLevel" "Debug.TraceEmbrace.Config.Type.Level" "trace-embrace-1.2.0-inplace" 'False) ((C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Info" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TracingDisabled" 'PrefixI 'False) (U1 :: Type -> Type))))

traceLevelToChar :: TraceLevel -> Text Source #

charToLevel :: String -> (TraceLevel, String) Source #

data HaskellModulePrefixP Source #

Instances

Instances details

Predicate HaskellModulePrefixP LeveledModulePrefix Source #
Instance details Defined in Debug.TraceEmbrace.Config.Type.Level Methods validate :: Proxy HaskellModulePrefixP -> LeveledModulePrefix -> Maybe RefineException #
Predicate HaskellModulePrefixP [LeveledModulePrefix] Source #
Instance details Defined in Debug.TraceEmbrace.Config.Type.Level Methods validate :: Proxy HaskellModulePrefixP -> [LeveledModulePrefix] -> Maybe RefineException #

data LeveledModulePrefix Source #

Constructors

LeveledModulePrefix
Fields level :: TraceLevel modulePrefix :: Text

Instances

Instances details

FromJSON LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

parseJSON :: Value -> Parser LeveledModulePrefix #

parseJSONList :: Value -> Parser [LeveledModulePrefix] #

omittedField :: Maybe LeveledModulePrefix #

ToJSON LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

toJSON :: LeveledModulePrefix -> Value #

toEncoding :: LeveledModulePrefix -> Encoding #

toJSONList :: [LeveledModulePrefix] -> Value #

toEncodingList :: [LeveledModulePrefix] -> Encoding #

omitField :: LeveledModulePrefix -> Bool #

Generic LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Associated Types

type Rep LeveledModulePrefix

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

type Rep LeveledModulePrefix = D1 ('MetaData "LeveledModulePrefix" "Debug.TraceEmbrace.Config.Type.Level" "trace-embrace-1.2.0-inplace" 'False) (C1 ('MetaCons "LeveledModulePrefix" 'PrefixI 'True) (S1 ('MetaSel ('Just "level") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TraceLevel) :*: S1 ('MetaSel ('Just "modulePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: LeveledModulePrefix -> Rep LeveledModulePrefix x #

to :: Rep LeveledModulePrefix x -> LeveledModulePrefix #

Show LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

showsPrec :: Int -> LeveledModulePrefix -> ShowS #

show :: LeveledModulePrefix -> String #

showList :: [LeveledModulePrefix] -> ShowS #

Eq LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

(==) :: LeveledModulePrefix -> LeveledModulePrefix -> Bool #

(/=) :: LeveledModulePrefix -> LeveledModulePrefix -> Bool #

Predicate HaskellModulePrefixP LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

validate :: Proxy HaskellModulePrefixP -> LeveledModulePrefix -> Maybe RefineException #

Predicate HaskellModulePrefixP [LeveledModulePrefix] Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

Methods

validate :: Proxy HaskellModulePrefixP -> [LeveledModulePrefix] -> Maybe RefineException #

type Rep LeveledModulePrefix Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Level

type Rep LeveledModulePrefix = D1 ('MetaData "LeveledModulePrefix" "Debug.TraceEmbrace.Config.Type.Level" "trace-embrace-1.2.0-inplace" 'False) (C1 ('MetaCons "LeveledModulePrefix" 'PrefixI 'True) (S1 ('MetaSel ('Just "level") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TraceLevel) :*: S1 ('MetaSel ('Just "modulePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))