| Portability | Rank2Types |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Unsafe |
Control.Lens.Unsafe
Description
- class Trustworthy f
Documentation
class Trustworthy f Source
This class is only exported by this untrustworthy module, but is a superclass of Gettable.
This is required because otherwise you could construct unsafeCoerce using BazaarT and
an illegal Gettable instance that uses coerce = undefined
Instances
| Trustworthy Identity | |
| Trustworthy (Const a) | |
| Trustworthy f => Trustworthy (Backwards f) | |
| Trustworthy f => Trustworthy (ElementOf f) | |
| Trustworthy (Accessor r) | |
| Trustworthy f => Trustworthy (Indexing f) | |
| Trustworthy g => Trustworthy (Compose f g) | |
| Trustworthy (Effect m r) | |
| Trustworthy g => Trustworthy (BazaarT a b g) | |
| Trustworthy (EffectRWS w st m s) |