tuple-classes-1.0.0: test/DocTest02.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}

module DocTest02 (main) where

import Data.Tuple.Classes (TupleAt(..))

consTuple :: (TupleAt 1 a t u) => a -> t -> u
consTuple = tupleInsert @1

main :: IO ()
main = print $ consTuple 'x' $ consTuple False ("sequitur", "quodlibet")