Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

Intended for qualified import

import Data.SOP.Tails (Tails(..)) import qualified Data.SOP.Tails as Tails

## Synopsis

- data Tails f xs where
- mk1 ∷ Tails f '[x]
- mk2 ∷ f x y → Tails f '[x, y]
- mk3 ∷ f x y → f x z → f y z → Tails f '[x, y, z]
- hcmap ∷ ∀ proxy c f g xs. All c xs ⇒ proxy c → (∀ x y. (c x, c y) ⇒ f x y → g x y) → Tails f xs → Tails g xs
- hcpure ∷ ∀ proxy f c xs. All c xs ⇒ proxy c → (∀ x y. (c x, c y) ⇒ f x y) → Tails f xs
- hmap ∷ SListI xs ⇒ (∀ x y. f x y → g x y) → Tails f xs → Tails g xs
- hpure ∷ SListI xs ⇒ (∀ x y. f x y) → Tails f xs