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