blob: dfeb7429b6ff00b92dd5e37bfaab92bc11119e19 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# 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
|
