parameterized-utils-2.0: Classes and data structures for working with data-kind indexed types

Copyright(c) Galois Inc 2014-2019
MaintainerLangston Barrett <langston@galois.com>
Safe HaskellSafe
LanguageHaskell98

Data.Parameterized.Compose

Contents

Description

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.

Synopsis

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.

See https://gitlab.haskell.org/ghc/ghc/merge_requests/273.

Orphan instances

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

Methods

testEquality :: Compose f g a -> Compose f g b -> Maybe (a :~: b) #