ToJSON2 (Tagged *) | |
|
FromJSON2 (Tagged *) | |
|
Bitraversable (Tagged *) | |
|
Bifoldable (Tagged *) | |
|
Bifunctor (Tagged *) | |
|
Eq2 (Tagged *) | |
|
Ord2 (Tagged *) | |
|
Read2 (Tagged *) | |
|
Show2 (Tagged *) | |
|
Biapplicative (Tagged *) | |
|
Corepresentable (Tagged *) | |
|
Profunctor (Tagged *) | |
|
Generic1 * (Tagged k s) | |
|
Monad (Tagged k s) | |
|
Functor (Tagged k s) | |
|
Applicative (Tagged k s) | |
|
Foldable (Tagged k s) | |
|
Traversable (Tagged k s) | |
|
Representable (Tagged * t) | |
|
ToJSON1 (Tagged k a) | |
|
FromJSON1 (Tagged k a) | |
|
Eq1 (Tagged k s) | |
|
Ord1 (Tagged k s) | |
|
Read1 (Tagged k s) | |
|
Show1 (Tagged k s) | |
|
Bounded b => Bounded (Tagged k s b) | |
|
Enum a => Enum (Tagged k s a) | |
|
Eq b => Eq (Tagged k s b) | |
|
Floating a => Floating (Tagged k s a) | |
|
Fractional a => Fractional (Tagged k s a) | |
|
Integral a => Integral (Tagged k s a) | |
|
(Data s, Data b) => Data (Tagged * s b) | |
|
Num a => Num (Tagged k s a) | |
|
Ord b => Ord (Tagged k s b) | |
|
Read b => Read (Tagged k s b) | |
|
Real a => Real (Tagged k s a) | |
|
RealFloat a => RealFloat (Tagged k s a) | |
|
RealFrac a => RealFrac (Tagged k s a) | |
|
Show b => Show (Tagged k s b) | |
|
Ix b => Ix (Tagged k s b) | |
|
IsString a => IsString (Tagged k s a) | |
|
Generic (Tagged k s b) | |
|
Semigroup a => Semigroup (Tagged k s a) | |
|
(Semigroup a, Monoid a) => Monoid (Tagged k s a) | |
|
ToJSON b => ToJSON (Tagged k a b) | |
|
ToJSONKey b => ToJSONKey (Tagged k a b) | |
|
FromJSON b => FromJSON (Tagged k a b) | |
|
FromJSONKey b => FromJSONKey (Tagged k a b) | |
|
Storable a => Storable (Tagged k s a) | |
|
Bits a => Bits (Tagged k s a) | |
|
FiniteBits a => FiniteBits (Tagged k s a) | |
|
NFData b => NFData (Tagged k s b) | |
|
UnTag ts => UnTag ((:) * (Tagged k n a) ts) Source # | |
|
InsertCmp (CmpNat n m) (Tagged Nat n x) (Tagged Nat m y) ys => Insert (Tagged Nat n x) ((:) * (Tagged Nat m y) ys) Source # | |
|
type Corep (Tagged *) | |
|
type Rep1 * (Tagged k s) | |
|
type Rep (Tagged * t) | |
|
type Rep (Tagged k s b) | |
|
type Code (Tagged k t a) # | |
|
type UnTag' ((:) * (Tagged k n a) ts) Source # | |
|
type Insert' (Tagged Nat n x) ((:) * (Tagged Nat m y) ys) Source # | |
|