Safe Haskell	None
Language	Haskell2010

LinearTypes

Synopsis

unrestricted :: a -> b
linear :: a %1 -> b
poly :: forall a (m :: Multiplicity) b. a %m -> b
data C (m :: Multiplicity) = C {
- linC :: Int
- urC %'Many :: Char
- varC %m :: String
- noC :: Bool
}
data G (mult :: Multiplicity) where
- G :: forall (mult :: Multiplicity). {..} -> G mult

Documentation

Does something unrestricted.

linear :: a %1 -> b #

Does something linear.

poly :: forall a (m :: Multiplicity) b. a %m -> b #

Does something polymorphic.

A record with non-linear fields.

Constructors

C
Fields linC :: Int urC %'Many :: Char varC %m :: String noC :: Bool

data G (mult :: Multiplicity) where #

A GADT record with non-linear fields.

Constructors

G
Fields :: forall (mult :: Multiplicity). { linG :: Int , urG %'Many :: Char , varG %mult :: String , noG :: Bool } -> G mult