HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulesop-extras-0.4.1.1Haskell2010

Data.SOP.InPairs

Intended for qualified import

import           Data.SOP.InPairs (InPairs(..))
import qualified Data.SOP.InPairs as InPairs
  • 4 types
  • 13 values

InPairs

1 declaration
datadata InPairs (f :: k -> k -> Type) (xs :: [k]) where
#

We have an f x y for each pair (x, y) of successive list elements

Constructors

Convenience constructors

3 declarations
valuemk3 :: f x y -> f y z -> InPairs f '[x, y, z]
#

SOP-like operators

5 declarations
valuehcmap
  1. :: All c xs
  2. => proxy c
  3. -> forall (x :: k) (y :: k). (c x, c y) => f x y -> g x y
  4. -> InPairs f xs
  5. -> InPairs g xs
#

Requiring

6 declarations

Composing

2 declarations
newtypenewtype Fn2 (f :: k -> Type) (x :: k) (y :: k)
#

Constructors