aboutsummaryrefslogblamecommitdiff
path: root/latex-test/src/UnboxedStuff/UnboxedStuff.hs
blob: dfeb7429b6ff00b92dd5e37bfaab92bc11119e19 (plain) (tree)
1
                            
















                                            
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE UnboxedSums, UnboxedTuples #-}
module UnboxedStuff where

data X
data Y
data Z

-- * Unboxed type constructors

unboxedUnit :: (# #) -> (# #)
unboxedUnit  = undefined

unboxedTuple :: (# X, Y #) -> (# X, Y, Z #)
unboxedTuple = undefined 

unboxedSum :: (# X | Y #) -> (# X | Y | Z #)
unboxedSum = undefined