| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Tagged.Functor
Documentation
newtype TaggedFunctor f x Source
Constructors
| TaggedFunctor | |
Fields
| |
Instances
| Eq (f (Snd k1 k x)) => Eq (TaggedFunctor k k f x) Source | |
| Ord (f (Snd k1 k x)) => Ord (TaggedFunctor k k f x) Source | |
| Show (f (Snd k1 k x)) => Show (TaggedFunctor k k f x) Source |
showSymbolTaggedFunctor :: forall f x. (KnownSymbol (Fst x), Show (f (Snd x))) => TaggedFunctor f x -> String Source
tagIdentity :: proxy k -> v -> TaggedFunctor Identity `(k, v)` Source
tagFunctor :: proxy k -> f v -> TaggedFunctor f `(k, v)` Source
untagFunctor :: TaggedFunctor f x -> f (Snd x) Source
liftTaggedFunctor :: (f v -> a) -> TaggedFunctor f `(k, v)` -> a Source
rtraverseTagged :: Applicative h => (forall x. f x -> h (g x)) -> Rec (TaggedFunctor f) rs -> h (Rec (TaggedFunctor g) rs) Source
rtraverseIdentityTagged :: Applicative f => Rec (TaggedFunctor f) rs -> f (Rec (TaggedFunctor Identity) rs) Source