blob: 51a17f3bf8bd7a5ba64e33d7accef0c1a1fd0941 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
.. _safe-imports-ext:
Safe imports
~~~~~~~~~~~~
.. extension:: Safe
:shortdesc: Enable the :ref:`Safe Haskell <safe-haskell>` Safe mode.
:noindex:
:since: 7.2.1
Declare the Safe Haskell state of the current module.
.. extension:: Trustworthy
:shortdesc: Enable the :ref:`Safe Haskell <safe-haskell>` Trustworthy mode.
:noindex:
:since: 7.2.1
Declare the Safe Haskell state of the current module.
.. extension:: Unsafe
:shortdesc: Enable Safe Haskell Unsafe mode.
:noindex:
:since: 7.4.1
Declare the Safe Haskell state of the current module.
With the :extension:`Safe`, :extension:`Trustworthy` and :extension:`Unsafe`
language flags, GHC extends the import declaration syntax to take an optional
``safe`` keyword after the ``import`` keyword. This feature is part of the Safe
Haskell GHC extension. For example: ::
import safe qualified Network.Socket as NS
would import the module ``Network.Socket`` with compilation only
succeeding if ``Network.Socket`` can be safely imported. For a description of
when a import is considered safe see :ref:`safe-haskell`.
|
