Safe Haskell | None |
---|---|
Language | Haskell2010 |
Indicate that something is Consistent
.
Synopsis
- newtype Consistent a = Consistent a
- _theConsistent :: Consistent x -> x
- theConsistent :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Consistent a) (f (Consistent b))
- newtype ConsistentTo ctx a = ConsistentTo a
- _theConsistentTo :: ConsistentTo ctx x -> x
- theConsistentTo :: forall ctx a b p f. (Profunctor p, Functor f) => p a (f b) -> p (ConsistentTo ctx a) (f (ConsistentTo ctx b))
Documentation
newtype Consistent a Source #
A wrapper for something that is Consistent
.
Instances
_theConsistent :: Consistent x -> x Source #
An accessor function for something Consistent
.
theConsistent :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Consistent a) (f (Consistent b)) Source #
A lens for something Consistent
.
newtype ConsistentTo ctx a Source #
A wrapper for something that is ConsistentTo
some context
indicated by a (phantom-) type.
Instances
_theConsistentTo :: ConsistentTo ctx x -> x Source #
An accessor function for something ConsistentTo
.
theConsistentTo :: forall ctx a b p f. (Profunctor p, Functor f) => p a (f b) -> p (ConsistentTo ctx a) (f (ConsistentTo ctx b)) Source #
A lens for something ConsistentTo
.