Singleraeh.Tuple

Documentation

data STuple2 sa sb ab where

Constructors

STuple2 :: sa a -> sb b -> STuple2 sa sb '(a, b)

demoteSTuple2 :: forall da db sa sb ab. (forall a. sa a -> da) -> (forall b. sb b -> db) -> STuple2 sa sb ab -> (da, db)