Bitraversable (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Bifoldable (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Bifunctor (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Eq2 (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Ord2 (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Read2 (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Show2 (Tagged :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Generic1 (Tagged s :: Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

Monad (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Functor (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Applicative (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Foldable (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Traversable (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Eq1 (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Ord1 (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Read1 (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Show1 (Tagged s) Source # | |

## Instance detailsDefined in Data.Tagged |

Bounded b => Bounded (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Enum a => Enum (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Eq b => Eq (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Floating a => Floating (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Fractional a => Fractional (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Integral a => Integral (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

(Data s, Data b) => Data (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Num a => Num (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Ord b => Ord (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Read b => Read (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Real a => Real (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

RealFloat a => RealFloat (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

RealFrac a => RealFrac (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Show b => Show (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Ix b => Ix (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

IsString a => IsString (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Generic (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

Semigroup a => Semigroup (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

(Semigroup a, Monoid a) => Monoid (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Storable a => Storable (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

Bits a => Bits (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

FiniteBits a => FiniteBits (Tagged s a) Source # | |

## Instance detailsDefined in Data.Tagged |

NFData b => NFData (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |

type Rep1 (Tagged s :: Type -> Type) Source # | |

## Instance detailsDefined in Data.Tagged |

type Rep (Tagged s b) Source # | |

## Instance detailsDefined in Data.Tagged |