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
|
HasSqlQuantifiedEqualityCheck
Postgres
a =>
HasSqlQuantifiedEqualityCheck
Postgres
(
Tagged
t a)
|
|
Instance details
Defined in
Database.Beam.Postgres.Types
|
HasSqlValueSyntax
vs t =>
HasSqlValueSyntax
vs (
Tagged
tag t)
|
|
Instance details
Defined in
Database.Beam.Backend.SQL.SQL92
|
(
BeamBackend
be,
FromBackendRow
be t) =>
FromBackendRow
be (
Tagged
tag t)
|
|
Instance details
Defined in
Database.Beam.Backend.SQL.Row
|
ToJSON2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Aeson.Types.ToJSON
|
FromJSON2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Aeson.Types.FromJSON
|
Bifunctor
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Bitraversable
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Bifoldable
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Eq2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Ord2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Read2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Show2
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Biapplicative
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Biapplicative
|
Profunctor
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Profunctor.Unsafe
|
Bitraversable1
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Semigroup.Traversable.Class
|
Costrong
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Profunctor.Strong
|
Corepresentable
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Profunctor.Rep
|
Choice
(
Tagged
::
Type
->
Type
->
Type
)
|
|
Instance details
Defined in
Data.Profunctor.Choice
|
Generic1
(
Tagged
s ::
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
Monad
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Functor
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Applicative
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Foldable
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Traversable
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Representable
(
Tagged
t)
|
|
Instance details
Defined in
Data.Functor.Rep
|
ToJSON1
(
Tagged
a)
|
|
Instance details
Defined in
Data.Aeson.Types.ToJSON
|
FromJSON1
(
Tagged
a)
|
|
Instance details
Defined in
Data.Aeson.Types.FromJSON
|
Eq1
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Ord1
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Show1
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Read1
(
Tagged
s)
|
|
Instance details
Defined in
Data.Tagged
|
Comonad
(
Tagged
s)
|
|
Instance details
Defined in
Control.Comonad
|
Traversable1
(
Tagged
a)
|
|
Instance details
Defined in
Data.Semigroup.Traversable.Class
|
(
BeamSqlBackend
(
MockSqlBackend
cmd),
HasSqlEqualityCheck
(
MockSqlBackend
cmd) a) =>
HasSqlEqualityCheck
(
MockSqlBackend
cmd) (
Tagged
t a)
|
|
Instance details
Defined in
Database.Beam.Query.Ord
|
(
BeamSqlBackend
(
MockSqlBackend
cmd),
HasSqlQuantifiedEqualityCheck
(
MockSqlBackend
cmd) a) =>
HasSqlQuantifiedEqualityCheck
(
MockSqlBackend
cmd) (
Tagged
t a)
|
|
Instance details
Defined in
Database.Beam.Query.Ord
|
Bounded
b =>
Bounded
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Enum
a =>
Enum
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Eq
b =>
Eq
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Floating
a =>
Floating
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Fractional
a =>
Fractional
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Integral
a =>
Integral
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
(
Data
s,
Data
b) =>
Data
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Num
a =>
Num
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Ord
b =>
Ord
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Read
b =>
Read
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Real
a =>
Real
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
RealFloat
a =>
RealFloat
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
RealFrac
a =>
RealFrac
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Show
b =>
Show
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Ix
b =>
Ix
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
IsString
a =>
IsString
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Generic
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
Semigroup
a =>
Semigroup
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
(
Semigroup
a,
Monoid
a) =>
Monoid
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
NFData
b =>
NFData
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
FiniteBits
a =>
FiniteBits
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
ToJSON
b =>
ToJSON
(
Tagged
a b)
|
|
Instance details
Defined in
Data.Aeson.Types.ToJSON
|
ToJSONKey
b =>
ToJSONKey
(
Tagged
a b)
|
|
Instance details
Defined in
Data.Aeson.Types.ToJSON
|
FromJSON
b =>
FromJSON
(
Tagged
a b)
|
|
Instance details
Defined in
Data.Aeson.Types.FromJSON
|
FromJSONKey
b =>
FromJSONKey
(
Tagged
a b)
|
|
Instance details
Defined in
Data.Aeson.Types.FromJSON
|
Storable
a =>
Storable
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
Bits
a =>
Bits
(
Tagged
s a)
|
|
Instance details
Defined in
Data.Tagged
|
(
Typeable
s,
FromCBOR
a) =>
FromCBOR
(
Tagged
s a)
|
|
Instance details
Defined in
Cardano.Binary.FromCBOR
|
ToFormKey
a =>
ToFormKey
(
Tagged
b a)
|
|
Instance details
Defined in
Web.Internal.FormUrlEncoded
|
FromFormKey
a =>
FromFormKey
(
Tagged
b a)
|
|
Instance details
Defined in
Web.Internal.FormUrlEncoded
|
ToHttpApiData
a =>
ToHttpApiData
(
Tagged
b a)
|
Note: this instance is not polykinded
|
Instance details
Defined in
Web.Internal.HttpApiData
|
FromHttpApiData
a =>
FromHttpApiData
(
Tagged
b a)
|
Note: this instance is not polykinded
|
Instance details
Defined in
Web.Internal.HttpApiData
|
Lattice
a =>
Lattice
(
Tagged
t a)
|
|
Instance details
Defined in
Algebra.Lattice
|
BoundedJoinSemiLattice
a =>
BoundedJoinSemiLattice
(
Tagged
t a)
|
|
Instance details
Defined in
Algebra.Lattice
|
BoundedMeetSemiLattice
a =>
BoundedMeetSemiLattice
(
Tagged
t a)
|
|
Instance details
Defined in
Algebra.Lattice
|
Wrapped
(
Tagged
s a)
|
|
Instance details
Defined in
Control.Lens.Wrapped
|
(
KnownSymbol
s,
ToJSON
a) =>
StructuredLog
(
Tagged
s a)
Source
#
|
|
Instance details
Defined in
Cardano.BM.Data.Tracer.Extras
|
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
Rep1
(
Tagged
s ::
Type
->
Type
)
|
|
Instance details
Defined in
Data.Tagged
|
type
Rep
(
Tagged
t)
|
|
Instance details
Defined in
Data.Functor.Rep
|
type
Rep
(
Tagged
s b)
|
|
Instance details
Defined in
Data.Tagged
|
type
Unwrapped
(
Tagged
s a)
|
|
Instance details
Defined in
Control.Lens.Wrapped
|