Safe Haskell | None |
---|---|
Language | Haskell2010 |
Indicate that something is Existing
.
Documentation
Existing a |
Instances
_theExisting :: Existing x -> x Source #
theExisting :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Existing a) (f (Existing b)) Source #