Safe Haskell | None |
---|---|
Language | Haskell2010 |
Indicate that something is Allocated
.
Synopsis
- newtype Allocated a = Allocated a
- _theAllocated :: Allocated x -> x
- theAllocated :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Allocated a) (f (Allocated b))
Documentation
A wrapper for something that is Allocated
.
Instances
_theAllocated :: Allocated x -> x Source #
An accessor function for something Allocated
.
theAllocated :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Allocated a) (f (Allocated b)) Source #
A lens for something Allocated
.