aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src/LinearTypes/LinearTypes.hs
blob: c4f9c84fd6347e48de3eff12588ce2886166d5cb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE LinearTypes #-}
module LinearTypes where

-- | Does something unrestricted.
unrestricted :: a -> b
unrestricted = undefined

-- | Does something linear.
linear :: a %1 -> b
linear = linear

-- | Does something polymorphic.
poly :: a %m -> b
poly = poly