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 LogSource Source #
Instance details Defined in Plutus.PAB.Instances Methods toStructuredLog :: LogSource -> 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 TxBalanceMsg Source #
Instance details Defined in Cardano.BM.Data.Tracer.Extras Methods toStructuredLog :: TxBalanceMsg -> 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 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 Source #

A Tagged s b value is a value b with an attached phantom type s . This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b) , a Tagged s b can't try to use the argument s as a real value.

Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"

Tagged has kind k -> * -> * if the compiler supports PolyKinds , therefore there is an extra k showing in the instance haddocks that may cause confusion.

Constructors

Tagged b

Instances

Instances details

BeamSqlBackendIsString be t => BeamSqlBackendIsString (be :: k1) ( Tagged tag t :: Type )
Instance details Defined in Database.Beam.Backend.SQL
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 Source # sqlNeqE :: Proxy ( Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres Source # sqlEqTriE :: Proxy ( Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres Source # sqlNeqTriE :: Proxy ( Tagged t a) -> Proxy Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres Source #
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 Source # sqlQNeqE :: Proxy ( Tagged t a) -> Proxy Postgres -> Maybe ( BeamSqlBackendExpressionQuantifierSyntax Postgres ) -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres -> BeamSqlBackendExpressionSyntax Postgres Source #
HasSqlValueSyntax vs t => HasSqlValueSyntax vs ( Tagged tag t)
Instance details Defined in Database.Beam.Backend.SQL.SQL92 Methods sqlValueSyntax :: Tagged tag t -> vs Source #
( 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) Source # valuesNeeded :: Proxy be -> Proxy ( Tagged tag t) -> Int Source #
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 Source # liftToJSONList2 :: (a -> Value ) -> ([a] -> Value ) -> (b -> Value ) -> ([b] -> Value ) -> [ Tagged a b] -> Value Source # liftToEncoding2 :: (a -> Encoding ) -> ([a] -> Encoding ) -> (b -> Encoding ) -> ([b] -> Encoding ) -> Tagged a b -> Encoding Source # liftToEncodingList2 :: (a -> Encoding ) -> ([a] -> Encoding ) -> (b -> Encoding ) -> ([b] -> Encoding ) -> [ Tagged a b] -> Encoding Source #
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) Source # liftParseJSONList2 :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> ( Value -> Parser b) -> ( Value -> Parser [b]) -> Value -> Parser [ Tagged a b] 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 #
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 #
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 #
Biapplicative ( Tagged :: Type -> Type -> Type )
Instance details Defined in Data.Biapplicative Methods bipure :: a -> b -> Tagged a b Source # (<<>>) :: Tagged (a -> b) (c -> d) -> Tagged a c -> Tagged b d Source # biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Tagged a d -> Tagged b e -> Tagged c f Source # (>>) :: Tagged a b -> Tagged c d -> Tagged c d Source # (<<*) :: Tagged a b -> Tagged c d -> Tagged a b Source #
Profunctor ( Tagged :: Type -> Type -> Type )
Instance details Defined in Data.Profunctor.Unsafe Methods dimap :: (a -> b) -> (c -> d) -> Tagged b c -> Tagged a d Source # lmap :: (a -> b) -> Tagged b c -> Tagged a c Source # rmap :: (b -> c) -> Tagged a b -> Tagged a c Source # (#.) :: forall a b c q. Coercible c b => q b c -> Tagged a b -> Tagged a c Source # (.#) :: forall a b c q. Coercible b a => Tagged b c -> q a b -> Tagged a c Source #
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) Source # bisequence1 :: Apply f => Tagged (f a) (f b) -> f ( Tagged a b) Source #
Costrong ( Tagged :: Type -> Type -> Type )
Instance details Defined in Data.Profunctor.Strong Methods unfirst :: Tagged (a, d) (b, d) -> Tagged a b Source # unsecond :: Tagged (d, a) (d, b) -> Tagged a b Source #
Corepresentable ( Tagged :: Type -> Type -> Type )
Instance details Defined in Data.Profunctor.Rep Associated Types type Corep Tagged :: Type -> Type Source # Methods cotabulate :: ( Corep Tagged d -> c) -> Tagged d c 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) Source # right' :: Tagged a b -> Tagged ( Either c a) ( Either c b) Source #
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 #
Representable ( Tagged t)
Instance details Defined in Data.Functor.Rep Associated Types type Rep ( Tagged t) Source # Methods tabulate :: ( Rep ( Tagged t) -> a) -> Tagged t a Source # index :: Tagged t a -> Rep ( Tagged t) -> a Source #
ToJSON1 ( Tagged a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a0 -> Value ) -> ([a0] -> Value ) -> Tagged a a0 -> Value Source # liftToJSONList :: (a0 -> Value ) -> ([a0] -> Value ) -> [ Tagged a a0] -> Value Source # liftToEncoding :: (a0 -> Encoding ) -> ([a0] -> Encoding ) -> Tagged a a0 -> Encoding Source # liftToEncodingList :: (a0 -> Encoding ) -> ([a0] -> Encoding ) -> [ Tagged a a0] -> Encoding Source #
FromJSON1 ( Tagged a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: ( Value -> Parser a0) -> ( Value -> Parser [a0]) -> Value -> Parser ( Tagged a a0) Source # liftParseJSONList :: ( Value -> Parser a0) -> ( Value -> Parser [a0]) -> Value -> Parser [ Tagged a a0] 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 #
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 #
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 #
Comonad ( Tagged s)
Instance details Defined in Control.Comonad Methods extract :: Tagged s a -> a Source # duplicate :: Tagged s a -> Tagged s ( Tagged s a) Source # extend :: ( Tagged s a -> b) -> Tagged s a -> Tagged s b 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) Source # sequence1 :: Apply f => Tagged a (f b) -> f ( Tagged a b) Source #
( 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) Source # sqlNeqE :: Proxy ( Tagged t a) -> Proxy ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) Source # sqlEqTriE :: Proxy ( Tagged t a) -> Proxy ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) Source # sqlNeqTriE :: Proxy ( Tagged t a) -> Proxy ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) Source #
( 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) Source # sqlQNeqE :: Proxy ( Tagged t a) -> Proxy ( MockSqlBackend cmd) -> Maybe ( BeamSqlBackendExpressionQuantifierSyntax ( MockSqlBackend cmd)) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) -> BeamSqlBackendExpressionSyntax ( MockSqlBackend cmd) Source #
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 #
NFData b => NFData ( Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () 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 #
ToJSON b => ToJSON ( Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Tagged a b -> Value Source # toEncoding :: Tagged a b -> Encoding Source # toJSONList :: [ Tagged a b] -> Value Source # toEncodingList :: [ Tagged a b] -> Encoding Source #
ToJSONKey b => ToJSONKey ( Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction ( Tagged a b) Source # toJSONKeyList :: ToJSONKeyFunction [ Tagged a b] Source #
FromJSON b => FromJSON ( Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser ( Tagged a b) Source # parseJSONList :: Value -> Parser [ Tagged a b] Source #
FromJSONKey b => FromJSONKey ( Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction ( Tagged a b) Source # fromJSONKeyList :: FromJSONKeyFunction [ Tagged a b] 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 #
( Typeable s, FromCBOR a) => FromCBOR ( Tagged s a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR :: Decoder s0 ( Tagged s a) Source # label :: Proxy ( Tagged s a) -> Text Source #
ToFormKey a => ToFormKey ( Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey :: Tagged b a -> Text Source #
FromFormKey a => FromFormKey ( Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text ( Tagged b a) Source #
ToHttpApiData a => ToHttpApiData ( Tagged b a)	Note: this instance is not polykinded
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece :: Tagged b a -> Text Source # toEncodedUrlPiece :: Tagged b a -> Builder Source # toHeader :: Tagged b a -> ByteString Source # toQueryParam :: Tagged b a -> Text Source #
FromHttpApiData a => FromHttpApiData ( Tagged b a)	Note: this instance is not polykinded
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece :: Text -> Either Text ( Tagged b a) Source # parseHeader :: ByteString -> Either Text ( Tagged b a) Source # parseQueryParam :: Text -> Either Text ( Tagged b a) Source #
Lattice a => Lattice ( Tagged t a)
Instance details Defined in Algebra.Lattice Methods (\/) :: Tagged t a -> Tagged t a -> Tagged t a Source # (/\) :: Tagged t a -> Tagged t a -> Tagged t a Source #
BoundedJoinSemiLattice a => BoundedJoinSemiLattice ( Tagged t a)
Instance details Defined in Algebra.Lattice Methods bottom :: Tagged t a Source #
BoundedMeetSemiLattice a => BoundedMeetSemiLattice ( Tagged t a)
Instance details Defined in Algebra.Lattice Methods top :: Tagged t a Source #
Wrapped ( Tagged s a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped ( Tagged s a) Source # Methods _Wrapped' :: Iso' ( Tagged s a) ( Unwrapped ( Tagged s a)) 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 #
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