HORIZON HASKELLDocslts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Modulesop-extras-0.4.1.1Haskell2010

Data.SOP.Tails

Intended for qualified import

import           Data.SOP.Tails (Tails(..))
import qualified Data.SOP.Tails as Tails
Contents
  1. Convenience constructors
  2. SOP-like operators
Synopsis
datadata Tails (f :: k -> k -> Type) (xs :: [k]) where
Source#

For every tail (x ': xs) of the list, an f x y for every y in xs

Constructors

Convenience constructors

valuemk3 :: f x y -> f x z -> f y z -> Tails f '[x, y, z]
#

SOP-like operators

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. -> Tails f xs
  5. -> Tails g xs
#
valuehcpure
  1. :: All c xs
  2. => proxy c
  3. -> forall (x :: k) (y :: k). (c x, c y) => f x y
  4. -> Tails f xs
#