latex-test/src/LinearTypes/LinearTypes.hs


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