| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LinearTypes
Synopsis
- unrestricted :: a -> b
- linear :: a %1 -> b
- poly :: forall a b (m :: Multiplicity). a %m -> b
Documentation
unrestricted :: a -> b #
Does something unrestricted.
poly :: forall a b (m :: Multiplicity). a %m -> b #
Does something polymorphic.