Safe Haskell	None
Language	Haskell2010

Cardano.BM.Data.Tracer.Extras

Synopsis

mkObjectStr :: StructuredLog k => Text -> k -> KeyMap Value
newtype PrettyToObject a = PrettyToObject {
- unPrettyToObject :: a
}
class StructuredLog a where
- toStructuredLog :: a -> KeyMap Value
newtype Tagged (s :: k) b = Tagged b

Documentation

mkObjectStr :: StructuredLog k => Text -> k -> KeyMap Value Source #

A structured log object with a textual description and additional fields.

newtype PrettyToObject a Source #

Deriving ToObject from Pretty

Constructors

PrettyToObject
Fields unPrettyToObject :: a

Instances

Instances details

Pretty a => ToObject (PrettyToObject a) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toObject :: TracingVerbosity -> PrettyToObject a -> Object textTransformer :: PrettyToObject a -> Object -> Text

class StructuredLog a where Source #

Types that can be turned into structured log messages

Methods

toStructuredLog :: a -> KeyMap Value Source #

Instances

Instances details

StructuredLog () Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: () -> KeyMap Value Source #
StructuredLog Loc Source #
Instance details Defined in Plutus.PAB.Instances Methods toStructuredLog :: Loc -> KeyMap Value Source #
StructuredLog TxBalanceMsg Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: TxBalanceMsg -> KeyMap Value Source #
StructuredLog CardanoTx Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: CardanoTx -> KeyMap Value Source #
StructuredLog Value Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Value -> KeyMap Value0 Source #
StructuredLog UUID Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: UUID -> KeyMap Value Source #
StructuredLog RequestHandlerLogMsg Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: RequestHandlerLogMsg -> KeyMap Value Source #
StructuredLog EndpointDescription Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: EndpointDescription -> KeyMap Value Source #
StructuredLog ContractInstanceId Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: ContractInstanceId -> KeyMap Value Source #
StructuredLog CheckpointLogMsg Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: CheckpointLogMsg -> KeyMap Value Source #
StructuredLog IterationID Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: IterationID -> KeyMap Value Source #
StructuredLog LogSource Source #
Instance details Defined in Plutus.PAB.Instances Methods toStructuredLog :: LogSource -> KeyMap Value Source #
StructuredLog a => StructuredLog (Maybe a) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Maybe a -> KeyMap Value Source #
ToJSON v => StructuredLog (Response v) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Response v -> KeyMap Value Source #
ToJSON v => StructuredLog (PartiallyDecodedResponse v) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: PartiallyDecodedResponse v -> KeyMap Value Source #
(StructuredLog a, StructuredLog b) => StructuredLog (Either a b) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Either a b -> KeyMap Value Source #
(StructuredLog a, StructuredLog b) => StructuredLog (a, b) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: (a, b) -> KeyMap Value Source #
(ToJSON w, ToJSON v) => StructuredLog (ContractRequest w v) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: ContractRequest w v -> KeyMap Value Source #
(StructuredLog a, StructuredLog b, StructuredLog c) => StructuredLog (a, b, c) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: (a, b, c) -> KeyMap Value Source #
(KnownSymbol s, ToJSON a) => StructuredLog (Tagged s a) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Tagged s a -> KeyMap Value Source #
(StructuredLog a, StructuredLog b, StructuredLog c, StructuredLog d) => StructuredLog (a, b, c, d) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: (a, b, c, d) -> KeyMap Value Source #

newtype Tagged (s :: k) b #

Constructors

Tagged b

Instances

Instances details

BeamSqlBackendIsString be t => BeamSqlBackendIsString (be :: k1) (Tagged tag t :: Type)
Instance details Defined in Database.Beam.Backend.SQL
(BeamBackend be, FromBackendRow be t) => FromBackendRow be (Tagged tag t)
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (Tagged tag t) valuesNeeded :: Proxy be -> Proxy (Tagged tag t) -> Int
HasSqlValueSyntax vs t => HasSqlValueSyntax vs (Tagged tag t)
Instance details Defined in Database.Beam.Backend.SQL.SQL92 Methods sqlValueSyntax :: Tagged tag t -> vs
HasSqlEqualityCheck Postgres a => HasSqlEqualityCheck Postgres (Tagged t a)
Instance details Defined in Database.Beam.Postgres.Types Methods sqlEqE :: Proxy (Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres sqlNeqE :: Proxy (Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres sqlEqTriE :: Proxy (Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres sqlNeqTriE :: Proxy (Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres
HasSqlQuantifiedEqualityCheck Postgres a => HasSqlQuantifiedEqualityCheck Postgres (Tagged t a)
Instance details Defined in Database.Beam.Postgres.Types Methods sqlQEqE :: Proxy (Tagged t a) -> Proxy Postgres -> Maybe (BeamSqlBackendExpressionQuantifierSyntax Postgres) -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres sqlQNeqE :: Proxy (Tagged t a) -> Proxy Postgres -> Maybe (BeamSqlBackendExpressionQuantifierSyntax Postgres) -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres
Bitraversable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Tagged a b -> f (Tagged c d) Source #
Bifoldable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bifold :: Monoid m => Tagged m m -> m Source # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Tagged a b -> m Source # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Tagged a b -> c Source # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Tagged a b -> c Source #
Bifunctor (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bimap :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d Source # first :: (a -> b) -> Tagged a c -> Tagged b c Source # second :: (b -> c) -> Tagged a b -> Tagged a c Source #
Eq2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Tagged a c -> Tagged b d -> Bool Source #
Ord2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Tagged a c -> Tagged b d -> Ordering Source #
Read2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Tagged a b) Source # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Tagged a b] Source # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Tagged a b) Source # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Tagged a b] Source #
Show2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Tagged a b -> ShowS Source # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Tagged a b] -> ShowS Source #
Choice (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Choice Methods left' :: Tagged a b -> Tagged (Either a c) (Either b c) right' :: Tagged a b -> Tagged (Either c a) (Either c b)
Profunctor (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Unsafe Methods dimap :: (a -> b) -> (c -> d) -> Tagged b c -> Tagged a d lmap :: (a -> b) -> Tagged b c -> Tagged a c rmap :: (b -> c) -> Tagged a b -> Tagged a c (#.) :: forall a b c q. Coercible c b => q b c -> Tagged a b -> Tagged a c (.#) :: forall a b c q. Coercible b a => Tagged b c -> q a b -> Tagged a c
FromJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (Tagged a b) liftParseJSONList2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [Tagged a b]
ToJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> Tagged a b -> Value liftToJSONList2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> [Tagged a b] -> Value liftToEncoding2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> Tagged a b -> Encoding liftToEncodingList2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> [Tagged a b] -> Encoding
Biapplicative (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Biapplicative Methods bipure :: a -> b -> Tagged a b (<<>>) :: Tagged (a -> b) (c -> d) -> Tagged a c -> Tagged b d biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Tagged a d -> Tagged b e -> Tagged c f (>>) :: Tagged a b -> Tagged c d -> Tagged c d (<<*) :: Tagged a b -> Tagged c d -> Tagged a b
Corepresentable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Rep Associated Types type Corep Tagged :: Type -> Type Methods cotabulate :: (Corep Tagged d -> c) -> Tagged d c
Costrong (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Strong Methods unfirst :: Tagged (a, d) (b, d) -> Tagged a b unsecond :: Tagged (d, a) (d, b) -> Tagged a b
Bitraversable1 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Semigroup.Traversable.Class Methods bitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Tagged a c -> f (Tagged b d) bisequence1 :: Apply f => Tagged (f a) (f b) -> f (Tagged a b)
Generic1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged Associated Types type Rep1 (Tagged s) :: k -> Type Source # Methods from1 :: forall (a :: k). Tagged s a -> Rep1 (Tagged s) a Source # to1 :: forall (a :: k). Rep1 (Tagged s) a -> Tagged s a Source #
Monad (Tagged s)
Instance details Defined in Data.Tagged Methods (>>=) :: Tagged s a -> (a -> Tagged s b) -> Tagged s b Source # (>>) :: Tagged s a -> Tagged s b -> Tagged s b Source # return :: a -> Tagged s a Source #
Functor (Tagged s)
Instance details Defined in Data.Tagged Methods fmap :: (a -> b) -> Tagged s a -> Tagged s b Source # (<$) :: a -> Tagged s b -> Tagged s a Source #
Applicative (Tagged s)
Instance details Defined in Data.Tagged Methods pure :: a -> Tagged s a Source # (<>) :: Tagged s (a -> b) -> Tagged s a -> Tagged s b Source # liftA2 :: (a -> b -> c) -> Tagged s a -> Tagged s b -> Tagged s c Source # (>) :: Tagged s a -> Tagged s b -> Tagged s b Source # (<*) :: Tagged s a -> Tagged s b -> Tagged s a Source #
Foldable (Tagged s)
Instance details Defined in Data.Tagged Methods fold :: Monoid m => Tagged s m -> m Source # foldMap :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldMap' :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldr :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldr' :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldl :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldl' :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldr1 :: (a -> a -> a) -> Tagged s a -> a Source # foldl1 :: (a -> a -> a) -> Tagged s a -> a Source # toList :: Tagged s a -> [a] Source # null :: Tagged s a -> Bool Source # length :: Tagged s a -> Int Source # elem :: Eq a => a -> Tagged s a -> Bool Source # maximum :: Ord a => Tagged s a -> a Source # minimum :: Ord a => Tagged s a -> a Source # sum :: Num a => Tagged s a -> a Source # product :: Num a => Tagged s a -> a Source #
Traversable (Tagged s)
Instance details Defined in Data.Tagged Methods traverse :: Applicative f => (a -> f b) -> Tagged s a -> f (Tagged s b) Source # sequenceA :: Applicative f => Tagged s (f a) -> f (Tagged s a) Source # mapM :: Monad m => (a -> m b) -> Tagged s a -> m (Tagged s b) Source # sequence :: Monad m => Tagged s (m a) -> m (Tagged s a) Source #
Eq1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftEq :: (a -> b -> Bool) -> Tagged s a -> Tagged s b -> Bool Source #
Ord1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftCompare :: (a -> b -> Ordering) -> Tagged s a -> Tagged s b -> Ordering Source #
Read1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Tagged s a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Tagged s a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Tagged s a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Tagged s a] Source #
Show1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Tagged s a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Tagged s a] -> ShowS Source #
Traversable1 (Tagged a)
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverse1 :: Apply f => (a0 -> f b) -> Tagged a a0 -> f (Tagged a b) sequence1 :: Apply f => Tagged a (f b) -> f (Tagged a b)
FromJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser (Tagged a a0) liftParseJSONList :: (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser [Tagged a a0]
ToJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a0 -> Value) -> ([a0] -> Value) -> Tagged a a0 -> Value liftToJSONList :: (a0 -> Value) -> ([a0] -> Value) -> [Tagged a a0] -> Value liftToEncoding :: (a0 -> Encoding) -> ([a0] -> Encoding) -> Tagged a a0 -> Encoding liftToEncodingList :: (a0 -> Encoding) -> ([a0] -> Encoding) -> [Tagged a a0] -> Encoding
Comonad (Tagged s)
Instance details Defined in Control.Comonad Methods extract :: Tagged s a -> a duplicate :: Tagged s a -> Tagged s (Tagged s a) extend :: (Tagged s a -> b) -> Tagged s a -> Tagged s b
Representable (Tagged t)
Instance details Defined in Data.Functor.Rep Associated Types type Rep (Tagged t) Methods tabulate :: (Rep (Tagged t) -> a) -> Tagged t a index :: Tagged t a -> Rep (Tagged t) -> a
(BeamSqlBackend (MockSqlBackend cmd), HasSqlEqualityCheck (MockSqlBackend cmd) a) => HasSqlEqualityCheck (MockSqlBackend cmd) (Tagged t a)
Instance details Defined in Database.Beam.Query.Ord Methods sqlEqE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) sqlNeqE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) sqlEqTriE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) sqlNeqTriE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd)
(BeamSqlBackend (MockSqlBackend cmd), HasSqlQuantifiedEqualityCheck (MockSqlBackend cmd) a) => HasSqlQuantifiedEqualityCheck (MockSqlBackend cmd) (Tagged t a)
Instance details Defined in Database.Beam.Query.Ord Methods sqlQEqE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> Maybe (BeamSqlBackendExpressionQuantifierSyntax (MockSqlBackend cmd)) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) sqlQNeqE :: Proxy (Tagged t a) -> Proxy (MockSqlBackend cmd) -> Maybe (BeamSqlBackendExpressionQuantifierSyntax (MockSqlBackend cmd)) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax (MockSqlBackend cmd)
Bounded b => Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound :: Tagged s b Source # maxBound :: Tagged s b Source #
Enum a => Enum (Tagged s a)
Instance details Defined in Data.Tagged Methods succ :: Tagged s a -> Tagged s a Source # pred :: Tagged s a -> Tagged s a Source # toEnum :: Int -> Tagged s a Source # fromEnum :: Tagged s a -> Int Source # enumFrom :: Tagged s a -> [Tagged s a] Source # enumFromThen :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromTo :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromThenTo :: Tagged s a -> Tagged s a -> Tagged s a -> [Tagged s a] Source #
Eq b => Eq (Tagged s b)
Instance details Defined in Data.Tagged Methods (==) :: Tagged s b -> Tagged s b -> Bool Source # (/=) :: Tagged s b -> Tagged s b -> Bool Source #
Floating a => Floating (Tagged s a)
Instance details Defined in Data.Tagged Methods pi :: Tagged s a Source # exp :: Tagged s a -> Tagged s a Source # log :: Tagged s a -> Tagged s a Source # sqrt :: Tagged s a -> Tagged s a Source # (**) :: Tagged s a -> Tagged s a -> Tagged s a Source # logBase :: Tagged s a -> Tagged s a -> Tagged s a Source # sin :: Tagged s a -> Tagged s a Source # cos :: Tagged s a -> Tagged s a Source # tan :: Tagged s a -> Tagged s a Source # asin :: Tagged s a -> Tagged s a Source # acos :: Tagged s a -> Tagged s a Source # atan :: Tagged s a -> Tagged s a Source # sinh :: Tagged s a -> Tagged s a Source # cosh :: Tagged s a -> Tagged s a Source # tanh :: Tagged s a -> Tagged s a Source # asinh :: Tagged s a -> Tagged s a Source # acosh :: Tagged s a -> Tagged s a Source # atanh :: Tagged s a -> Tagged s a Source # log1p :: Tagged s a -> Tagged s a Source # expm1 :: Tagged s a -> Tagged s a Source # log1pexp :: Tagged s a -> Tagged s a Source # log1mexp :: Tagged s a -> Tagged s a Source #
Fractional a => Fractional (Tagged s a)
Instance details Defined in Data.Tagged Methods (/) :: Tagged s a -> Tagged s a -> Tagged s a Source # recip :: Tagged s a -> Tagged s a Source # fromRational :: Rational -> Tagged s a Source #
Integral a => Integral (Tagged s a)
Instance details Defined in Data.Tagged Methods quot :: Tagged s a -> Tagged s a -> Tagged s a Source # rem :: Tagged s a -> Tagged s a -> Tagged s a Source # div :: Tagged s a -> Tagged s a -> Tagged s a Source # mod :: Tagged s a -> Tagged s a -> Tagged s a Source # quotRem :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # divMod :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # toInteger :: Tagged s a -> Integer Source #
(Data s, Data b) => Data (Tagged s b)
Instance details Defined in Data.Tagged Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Tagged s b -> c (Tagged s b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tagged s b) Source # toConstr :: Tagged s b -> Constr Source # dataTypeOf :: Tagged s b -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source #
Num a => Num (Tagged s a)
Instance details Defined in Data.Tagged Methods (+) :: Tagged s a -> Tagged s a -> Tagged s a Source # (-) :: Tagged s a -> Tagged s a -> Tagged s a Source # (*) :: Tagged s a -> Tagged s a -> Tagged s a Source # negate :: Tagged s a -> Tagged s a Source # abs :: Tagged s a -> Tagged s a Source # signum :: Tagged s a -> Tagged s a Source # fromInteger :: Integer -> Tagged s a Source #
Ord b => Ord (Tagged s b)
Instance details Defined in Data.Tagged Methods compare :: Tagged s b -> Tagged s b -> Ordering Source # (<) :: Tagged s b -> Tagged s b -> Bool Source # (<=) :: Tagged s b -> Tagged s b -> Bool Source # (>) :: Tagged s b -> Tagged s b -> Bool Source # (>=) :: Tagged s b -> Tagged s b -> Bool Source # max :: Tagged s b -> Tagged s b -> Tagged s b Source # min :: Tagged s b -> Tagged s b -> Tagged s b Source #
Read b => Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec :: Int -> ReadS (Tagged s b) Source # readList :: ReadS [Tagged s b] Source # readPrec :: ReadPrec (Tagged s b) Source # readListPrec :: ReadPrec [Tagged s b] Source #
Real a => Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational Source #
RealFloat a => RealFloat (Tagged s a)
Instance details Defined in Data.Tagged Methods floatRadix :: Tagged s a -> Integer Source # floatDigits :: Tagged s a -> Int Source # floatRange :: Tagged s a -> (Int, Int) Source # decodeFloat :: Tagged s a -> (Integer, Int) Source # encodeFloat :: Integer -> Int -> Tagged s a Source # exponent :: Tagged s a -> Int Source # significand :: Tagged s a -> Tagged s a Source # scaleFloat :: Int -> Tagged s a -> Tagged s a Source # isNaN :: Tagged s a -> Bool Source # isInfinite :: Tagged s a -> Bool Source # isDenormalized :: Tagged s a -> Bool Source # isNegativeZero :: Tagged s a -> Bool Source # isIEEE :: Tagged s a -> Bool Source # atan2 :: Tagged s a -> Tagged s a -> Tagged s a Source #
RealFrac a => RealFrac (Tagged s a)
Instance details Defined in Data.Tagged Methods properFraction :: Integral b => Tagged s a -> (b, Tagged s a) Source # truncate :: Integral b => Tagged s a -> b Source # round :: Integral b => Tagged s a -> b Source # ceiling :: Integral b => Tagged s a -> b Source # floor :: Integral b => Tagged s a -> b Source #
Show b => Show (Tagged s b)
Instance details Defined in Data.Tagged Methods showsPrec :: Int -> Tagged s b -> ShowS Source # show :: Tagged s b -> String Source # showList :: [Tagged s b] -> ShowS Source #
Ix b => Ix (Tagged s b)
Instance details Defined in Data.Tagged Methods range :: (Tagged s b, Tagged s b) -> [Tagged s b] Source # index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool Source # rangeSize :: (Tagged s b, Tagged s b) -> Int Source # unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int Source #
IsString a => IsString (Tagged s a)
Instance details Defined in Data.Tagged Methods fromString :: String -> Tagged s a Source #
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep (Tagged s b) x Source # to :: Rep (Tagged s b) x -> Tagged s b Source #
Semigroup a => Semigroup (Tagged s a)
Instance details Defined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a Source # sconcat :: NonEmpty (Tagged s a) -> Tagged s a Source # stimes :: Integral b => b -> Tagged s a -> Tagged s a Source #
(Semigroup a, Monoid a) => Monoid (Tagged s a)
Instance details Defined in Data.Tagged Methods mempty :: Tagged s a Source # mappend :: Tagged s a -> Tagged s a -> Tagged s a Source # mconcat :: [Tagged s a] -> Tagged s a Source #
Storable a => Storable (Tagged s a)
Instance details Defined in Data.Tagged Methods sizeOf :: Tagged s a -> Int Source # alignment :: Tagged s a -> Int Source # peekElemOff :: Ptr (Tagged s a) -> Int -> IO (Tagged s a) Source # pokeElemOff :: Ptr (Tagged s a) -> Int -> Tagged s a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO (Tagged s a) Source # pokeByteOff :: Ptr b -> Int -> Tagged s a -> IO () Source # peek :: Ptr (Tagged s a) -> IO (Tagged s a) Source # poke :: Ptr (Tagged s a) -> Tagged s a -> IO () Source #
Bits a => Bits (Tagged s a)
Instance details Defined in Data.Tagged Methods (.&.) :: Tagged s a -> Tagged s a -> Tagged s a Source # (.\|.) :: Tagged s a -> Tagged s a -> Tagged s a Source # xor :: Tagged s a -> Tagged s a -> Tagged s a Source # complement :: Tagged s a -> Tagged s a Source # shift :: Tagged s a -> Int -> Tagged s a Source # rotate :: Tagged s a -> Int -> Tagged s a Source # zeroBits :: Tagged s a Source # bit :: Int -> Tagged s a Source # setBit :: Tagged s a -> Int -> Tagged s a Source # clearBit :: Tagged s a -> Int -> Tagged s a Source # complementBit :: Tagged s a -> Int -> Tagged s a Source # testBit :: Tagged s a -> Int -> Bool Source # bitSizeMaybe :: Tagged s a -> Maybe Int Source # bitSize :: Tagged s a -> Int Source # isSigned :: Tagged s a -> Bool Source # shiftL :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftL :: Tagged s a -> Int -> Tagged s a Source # shiftR :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftR :: Tagged s a -> Int -> Tagged s a Source # rotateL :: Tagged s a -> Int -> Tagged s a Source # rotateR :: Tagged s a -> Int -> Tagged s a Source # popCount :: Tagged s a -> Int Source #
FiniteBits a => FiniteBits (Tagged s a)
Instance details Defined in Data.Tagged Methods finiteBitSize :: Tagged s a -> Int Source # countLeadingZeros :: Tagged s a -> Int Source # countTrailingZeros :: Tagged s a -> Int Source #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () Source #
FromJSON b => FromJSON (Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Tagged a b) parseJSONList :: Value -> Parser [Tagged a b]
(Typeable s, FromCBOR a) => FromCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR :: Decoder s0 (Tagged s a) label :: Proxy (Tagged s a) -> Text
ToJSON b => ToJSON (Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Tagged a b -> Value toEncoding :: Tagged a b -> Encoding toJSONList :: [Tagged a b] -> Value toEncodingList :: [Tagged a b] -> Encoding
Wrapped (Tagged s a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Tagged s a) Methods _Wrapped' :: Iso' (Tagged s a) (Unwrapped (Tagged s a))
FromJSONKey b => FromJSONKey (Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction (Tagged a b) fromJSONKeyList :: FromJSONKeyFunction [Tagged a b]
ToJSONKey b => ToJSONKey (Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction (Tagged a b) toJSONKeyList :: ToJSONKeyFunction [Tagged a b]
FromHttpApiData a => FromHttpApiData (Tagged b a)
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece :: Text -> Either Text (Tagged b a) parseHeader :: ByteString -> Either Text (Tagged b a) parseQueryParam :: Text -> Either Text (Tagged b a)
ToHttpApiData a => ToHttpApiData (Tagged b a)
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece :: Tagged b a -> Text toEncodedUrlPiece :: Tagged b a -> Builder toHeader :: Tagged b a -> ByteString toQueryParam :: Tagged b a -> Text
FromFormKey a => FromFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text (Tagged b a)
ToFormKey a => ToFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey :: Tagged b a -> Text
(KnownSymbol s, ToJSON a) => StructuredLog (Tagged s a) Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: Tagged s a -> KeyMap Value Source #
BoundedJoinSemiLattice a => BoundedJoinSemiLattice (Tagged t a)
Instance details Defined in Algebra.Lattice Methods bottom :: Tagged t a
BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Tagged t a)
Instance details Defined in Algebra.Lattice Methods top :: Tagged t a
Lattice a => Lattice (Tagged t a)
Instance details Defined in Algebra.Lattice Methods (\/) :: Tagged t a -> Tagged t a -> Tagged t a (/\) :: Tagged t a -> Tagged t a -> Tagged t a
t ~ Tagged s' a' => Rewrapped (Tagged s a) t
Instance details Defined in Control.Lens.Wrapped
type Corep (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Rep type Corep (Tagged :: Type -> Type -> Type) = Proxy :: Type -> Type
type Rep1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.7-Hh8SrsJ8Ofo2TZerdJ0cCc" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Tagged t)
Instance details Defined in Data.Functor.Rep type Rep (Tagged t) = ()
type Rep (Tagged s b)
Instance details Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.7-Hh8SrsJ8Ofo2TZerdJ0cCc" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))
type Unwrapped (Tagged s a)
Instance details Defined in Control.Lens.Wrapped type Unwrapped (Tagged s a) = a