Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype TaggedFunctor f x Source
TaggedFunctor | |
|
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