We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Example :
{-# language UnicodeSyntax #-} module Main where import Prelude qualified as A data Detail = Detail { id :: String , name :: String } deriving (Show)
In any record :: is never converted to ∷ where UnicodeSyntax is enabled.
::
∷
UnicodeSyntax