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