trace-embrace

Safe Haskell	None
Language	GHC2024

Debug.TraceEmbrace.Config.Type.Mode

Documentation

data IoSink Source #

Constructors

StdErrSink
StdOutSink
FileSink FilePath

Instances

Instances details

FromJSON IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

parseJSON :: Value -> Parser IoSink #

parseJSONList :: Value -> Parser [IoSink] #

omittedField :: Maybe IoSink #

ToJSON IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

toJSON :: IoSink -> Value #

toEncoding :: IoSink -> Encoding #

toJSONList :: [IoSink] -> Value #

toEncodingList :: [IoSink] -> Encoding #

omitField :: IoSink -> Bool #

Generic IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Associated Types

type Rep IoSink

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

type Rep IoSink = D1 ('MetaData "IoSink" "Debug.TraceEmbrace.Config.Type.Mode" "trace-embrace-1.2.0-inplace" 'False) (C1 ('MetaCons "StdErrSink" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StdOutSink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FileSink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))

Methods

from :: IoSink -> Rep IoSink x #

to :: Rep IoSink x -> IoSink #

Show IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

showsPrec :: Int -> IoSink -> ShowS #

show :: IoSink -> String #

showList :: [IoSink] -> ShowS #

Eq IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

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

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

Lift IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

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

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

type Rep IoSink Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

type Rep IoSink = D1 ('MetaData "IoSink" "Debug.TraceEmbrace.Config.Type.Mode" "trace-embrace-1.2.0-inplace" 'False) (C1 ('MetaCons "StdErrSink" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StdOutSink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FileSink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))

data SinkMode Source #

Constructors

TraceDisabled
TraceStd
TraceUnsafeIo
Fields sink :: IoSink
TraceEvent

Instances

Instances details

FromJSON SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

parseJSON :: Value -> Parser SinkMode #

parseJSONList :: Value -> Parser [SinkMode] #

omittedField :: Maybe SinkMode #

ToJSON SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

toJSON :: SinkMode -> Value #

toEncoding :: SinkMode -> Encoding #

toJSONList :: [SinkMode] -> Value #

toEncodingList :: [SinkMode] -> Encoding #

omitField :: SinkMode -> Bool #

Generic SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Associated Types

type Rep SinkMode

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

type Rep SinkMode = D1 ('MetaData "SinkMode" "Debug.TraceEmbrace.Config.Type.Mode" "trace-embrace-1.2.0-inplace" 'False) ((C1 ('MetaCons "TraceDisabled" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TraceStd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TraceUnsafeIo" 'PrefixI 'True) (S1 ('MetaSel ('Just "sink") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IoSink)) :+: C1 ('MetaCons "TraceEvent" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: SinkMode -> Rep SinkMode x #

to :: Rep SinkMode x -> SinkMode #

Show SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

showsPrec :: Int -> SinkMode -> ShowS #

show :: SinkMode -> String #

showList :: [SinkMode] -> ShowS #

Eq SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

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

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

Lift SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

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

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

Predicate SinkModeP SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

Methods

validate :: Proxy SinkModeP -> SinkMode -> Maybe RefineException #

type Rep SinkMode Source #

Instance details

Defined in Debug.TraceEmbrace.Config.Type.Mode

type Rep SinkMode = D1 ('MetaData "SinkMode" "Debug.TraceEmbrace.Config.Type.Mode" "trace-embrace-1.2.0-inplace" 'False) ((C1 ('MetaCons "TraceDisabled" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TraceStd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TraceUnsafeIo" 'PrefixI 'True) (S1 ('MetaSel ('Just "sink") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IoSink)) :+: C1 ('MetaCons "TraceEvent" 'PrefixI 'False) (U1 :: Type -> Type)))

data SinkModeP Source #

Instances

Instances details

Predicate SinkModeP SinkMode Source #
Instance details Defined in Debug.TraceEmbrace.Config.Type.Mode Methods validate :: Proxy SinkModeP -> SinkMode -> Maybe RefineException #