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

datadata Tails (f :: k -> k -> Type) (xs :: [k]) where

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

Convenience constructors

3 declarations

valuemk1 :: Tails f '[x]

valuemk2 :: f x y -> Tails f '[x, y]

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

6 declarations

valueextendWithTails

valuehcmap

valuehcpure

valuehmap

valuehpure :: SListI xs => (forall (x :: k) (y :: k). f x y) -> Tails f xs

valueinPairsToTails :: All Top xs => InPairs (Fn2 f) xs -> Tails (Fn2 f) xs