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