Safe Haskell | None |
---|---|
Language | Haskell2010 |
NewtypeZoo.Established
Description
Indicate that something is Established
.
Documentation
newtype Established a Source #
Constructors
Established a |
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 #