Portability | Rank2Types |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Unsafe |
- 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
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) |