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) |