Copyright | (c) Galois Inc 2014-2019 |
---|---|

Maintainer | Langston Barrett <langston@galois.com> |

Safe Haskell | Safe |

Language | Haskell98 |

Utilities for working with Data.Functor.Compose.

NB: This module contains an orphan instance. It will be included in GHC 8.10,
see https://gitlab.haskell.org/ghc/ghc/merge_requests/273 and also
https:/*github.com*haskell-compat*base-orphans*issues/49.

# Documentation

testEqualityComposeBare :: forall (f :: k -> *) (g :: l -> k) x y. (forall w z. f w -> f z -> Maybe (w :~: z)) -> Compose f g x -> Compose f g y -> Maybe (x :~: y) Source #

The deduction (via generativity) that if `g x :~: g y`

then `x :~: y`

.

# Orphan instances

TestEquality f => TestEquality (Compose f g :: k1 -> Type) Source # | |