diff options
| author | Icelandjack <baldurpet@gmail.com> | 2020-10-01 02:41:21 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-02 08:01:01 -0400 |
| commit | b81350bb925f8cb309355ee46238dbc11b796faf (patch) | |
| tree | d3115c9dc748796ffe78b53d5641c3e1751c05bb | |
| parent | a9ae83af9e0cf48e860f2b7e1d50a057cb8a7890 (diff) | |
| download | haskell-b81350bb925f8cb309355ee46238dbc11b796faf.tar.gz | |
Replaced MkT1 with T1 in type signatures.
| -rw-r--r-- | docs/users_guide/exts/linear_types.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/linear_types.rst b/docs/users_guide/exts/linear_types.rst index b15f75ef0c..b34dd2631e 100644 --- a/docs/users_guide/exts/linear_types.rst +++ b/docs/users_guide/exts/linear_types.rst @@ -72,10 +72,10 @@ the value ``MkT1 x`` can be constructed and deconstructed in a linear context: :: - construct :: a %1 -> MkT1 a + construct :: a %1 -> T1 a construct x = MkT1 x - deconstruct :: MkT1 a %1 -> a + deconstruct :: T1 a %1 -> a deconstruct (MkT1 x) = x -- must consume `x` exactly once When used as a value, ``MkT1`` is given a multiplicity-polymorphic |