Teo Camarasu pushed to branch wip/T26865 at Glasgow Haskell Compiler / GHC
Commits:
-
7a308655
by Teo Camarasu at 2026-02-17T21:16:24+00:00
29 changed files:
- libraries/base/src/Data/Bool.hs
- libraries/base/src/Data/List.hs
- libraries/base/src/Data/List/NubOrdSet.hs
- libraries/ghc-internal/ghc-internal.cabal.in
- − libraries/ghc-internal/src/GHC/Internal/Data/Bool.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Foldable.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Function.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Type/Bool.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Type/Ord.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
- libraries/ghc-internal/src/GHC/Internal/IO/FD.hs
- libraries/ghc-internal/src/GHC/Internal/JS/Prim.hs
- libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs
- libraries/ghc-internal/src/GHC/Internal/TH/Lift.hs
- libraries/ghc-internal/src/GHC/Internal/TypeError.hs
- utils/haddock/html-test/ref/A.html
- utils/haddock/html-test/ref/Bug1004.html
- utils/haddock/html-test/ref/Bug1033.html
- utils/haddock/html-test/ref/Bug1103.html
- utils/haddock/html-test/ref/Bug548.html
- utils/haddock/html-test/ref/Bug923.html
- utils/haddock/html-test/ref/ConstructorPatternExport.html
- utils/haddock/html-test/ref/FunArgs.html
- utils/haddock/html-test/ref/Instances.html
- utils/haddock/html-test/ref/LinearTypes.html
- utils/haddock/html-test/ref/RedactTypeSynonyms.html
- utils/haddock/html-test/ref/T23616.html
- utils/haddock/html-test/ref/Test.html
- utils/haddock/html-test/ref/TypeFamilies3.html
Changes:
| ... | ... | @@ -24,4 +24,39 @@ module Data.Bool |
| 24 | 24 | bool
|
| 25 | 25 | ) where
|
| 26 | 26 | |
| 27 | -import GHC.Internal.Data.Bool |
|
| \ No newline at end of file | ||
| 27 | +import Prelude (Bool(..), (&&), (||), not, otherwise)
|
|
| 28 | + |
|
| 29 | +-- $setup
|
|
| 30 | +-- >>> import Prelude
|
|
| 31 | + |
|
| 32 | +-- | Case analysis for the 'Bool' type. @'bool' f t p@ evaluates to @f@
|
|
| 33 | +-- when @p@ is 'False', and evaluates to @t@ when @p@ is 'True'.
|
|
| 34 | +--
|
|
| 35 | +-- This is equivalent to @if p then t else f@; that is, one can
|
|
| 36 | +-- think of it as an if-then-else construct with its arguments
|
|
| 37 | +-- reordered.
|
|
| 38 | +--
|
|
| 39 | +-- @since base-4.7.0.0
|
|
| 40 | +--
|
|
| 41 | +-- ==== __Examples__
|
|
| 42 | +--
|
|
| 43 | +-- Basic usage:
|
|
| 44 | +--
|
|
| 45 | +-- >>> bool "foo" "bar" True
|
|
| 46 | +-- "bar"
|
|
| 47 | +-- >>> bool "foo" "bar" False
|
|
| 48 | +-- "foo"
|
|
| 49 | +--
|
|
| 50 | +-- Confirm that @'bool' f t p@ and @if p then t else f@ are
|
|
| 51 | +-- equivalent:
|
|
| 52 | +--
|
|
| 53 | +-- >>> let p = True; f = "bar"; t = "foo"
|
|
| 54 | +-- >>> bool f t p == if p then t else f
|
|
| 55 | +-- True
|
|
| 56 | +-- >>> let p = False
|
|
| 57 | +-- >>> bool f t p == if p then t else f
|
|
| 58 | +-- True
|
|
| 59 | +--
|
|
| 60 | +bool :: a -> a -> Bool -> a
|
|
| 61 | +bool f _ False = f
|
|
| 62 | +bool _ t True = t |
| ... | ... | @@ -184,7 +184,7 @@ module Data.List |
| 184 | 184 | genericReplicate
|
| 185 | 185 | ) where
|
| 186 | 186 | |
| 187 | -import GHC.Internal.Data.Bool (otherwise)
|
|
| 187 | +import Data.Bool (otherwise)
|
|
| 188 | 188 | import GHC.Internal.Data.Function (const)
|
| 189 | 189 | import GHC.Internal.Data.List
|
| 190 | 190 | import GHC.Internal.Data.List.NonEmpty (NonEmpty(..))
|
| ... | ... | @@ -11,7 +11,7 @@ module Data.List.NubOrdSet ( |
| 11 | 11 | insert,
|
| 12 | 12 | ) where
|
| 13 | 13 | |
| 14 | -import GHC.Internal.Data.Bool (Bool(..))
|
|
| 14 | +import Data.Bool (Bool(..))
|
|
| 15 | 15 | import GHC.Internal.Data.Function ((.))
|
| 16 | 16 | import GHC.Internal.Data.Ord (Ordering(..))
|
| 17 | 17 |
| ... | ... | @@ -140,7 +140,6 @@ Library |
| 140 | 140 | GHC.Internal.Control.Monad.ST.Imp
|
| 141 | 141 | GHC.Internal.Control.Monad.ST.Lazy.Imp
|
| 142 | 142 | GHC.Internal.Data.Bits
|
| 143 | - GHC.Internal.Data.Bool
|
|
| 144 | 143 | GHC.Internal.Data.Coerce
|
| 145 | 144 | GHC.Internal.Data.Data
|
| 146 | 145 | GHC.Internal.Data.Dynamic
|
| 1 | -{-# LANGUAGE Trustworthy #-}
|
|
| 2 | -{-# LANGUAGE NoImplicitPrelude #-}
|
|
| 3 | - |
|
| 4 | ------------------------------------------------------------------------------
|
|
| 5 | --- |
|
|
| 6 | --- Module : GHC.Internal.Data.Bool
|
|
| 7 | --- Copyright : (c) The University of Glasgow 2001
|
|
| 8 | --- License : BSD-style (see the file libraries/base/LICENSE)
|
|
| 9 | ---
|
|
| 10 | --- Maintainer : libraries@haskell.org
|
|
| 11 | --- Stability : stable
|
|
| 12 | --- Portability : portable
|
|
| 13 | ---
|
|
| 14 | --- The 'Bool' type and related functions.
|
|
| 15 | ---
|
|
| 16 | ------------------------------------------------------------------------------
|
|
| 17 | - |
|
| 18 | -module GHC.Internal.Data.Bool (
|
|
| 19 | - -- * Booleans
|
|
| 20 | - Bool(..),
|
|
| 21 | - -- ** Operations
|
|
| 22 | - (&&),
|
|
| 23 | - (||),
|
|
| 24 | - not,
|
|
| 25 | - otherwise,
|
|
| 26 | - bool,
|
|
| 27 | - ) where
|
|
| 28 | - |
|
| 29 | -import GHC.Internal.Base
|
|
| 30 | - |
|
| 31 | --- $setup
|
|
| 32 | --- >>> import Prelude
|
|
| 33 | - |
|
| 34 | --- | Case analysis for the 'Bool' type. @'bool' f t p@ evaluates to @f@
|
|
| 35 | --- when @p@ is 'False', and evaluates to @t@ when @p@ is 'True'.
|
|
| 36 | ---
|
|
| 37 | --- This is equivalent to @if p then t else f@; that is, one can
|
|
| 38 | --- think of it as an if-then-else construct with its arguments
|
|
| 39 | --- reordered.
|
|
| 40 | ---
|
|
| 41 | --- @since base-4.7.0.0
|
|
| 42 | ---
|
|
| 43 | --- ==== __Examples__
|
|
| 44 | ---
|
|
| 45 | --- Basic usage:
|
|
| 46 | ---
|
|
| 47 | --- >>> bool "foo" "bar" True
|
|
| 48 | --- "bar"
|
|
| 49 | --- >>> bool "foo" "bar" False
|
|
| 50 | --- "foo"
|
|
| 51 | ---
|
|
| 52 | --- Confirm that @'bool' f t p@ and @if p then t else f@ are
|
|
| 53 | --- equivalent:
|
|
| 54 | ---
|
|
| 55 | --- >>> let p = True; f = "bar"; t = "foo"
|
|
| 56 | --- >>> bool f t p == if p then t else f
|
|
| 57 | --- True
|
|
| 58 | --- >>> let p = False
|
|
| 59 | --- >>> bool f t p == if p then t else f
|
|
| 60 | --- True
|
|
| 61 | ---
|
|
| 62 | -bool :: a -> a -> Bool -> a
|
|
| 63 | -bool f _ False = f
|
|
| 64 | -bool _ t True = t |
| ... | ... | @@ -50,7 +50,6 @@ module GHC.Internal.Data.Foldable ( |
| 50 | 50 | find
|
| 51 | 51 | ) where
|
| 52 | 52 | |
| 53 | -import GHC.Internal.Data.Bool
|
|
| 54 | 53 | import GHC.Internal.Data.Either
|
| 55 | 54 | import GHC.Internal.Data.Eq
|
| 56 | 55 | import GHC.Internal.Data.Functor.Utils (Max(..), Min(..), (#.))
|
| ... | ... | @@ -30,8 +30,7 @@ module GHC.Internal.Data.Function |
| 30 | 30 | , applyWhen
|
| 31 | 31 | ) where
|
| 32 | 32 | |
| 33 | -import GHC.Internal.Base ( TYPE, ($), (.), id, const, flip )
|
|
| 34 | -import GHC.Internal.Data.Bool ( Bool(..) )
|
|
| 33 | +import GHC.Internal.Base ( TYPE, Bool(..), ($), (.), id, const, flip )
|
|
| 35 | 34 | |
| 36 | 35 | infixl 0 `on`
|
| 37 | 36 | infixl 1 &
|
| ... | ... | @@ -171,7 +170,7 @@ x & f = f x |
| 171 | 170 | -- | 'applyWhen' applies a function to a value if a condition is true,
|
| 172 | 171 | -- otherwise, it returns the value unchanged.
|
| 173 | 172 | --
|
| 174 | --- It is equivalent to @'flip' ('GHC.Internal.Data.Bool.bool' 'id')@.
|
|
| 173 | +-- It is equivalent to @'flip' ('Data.Bool.bool' 'id')@.
|
|
| 175 | 174 | --
|
| 176 | 175 | -- ==== __Examples__
|
| 177 | 176 | --
|
| 1 | 1 | {-# LANGUAGE DataKinds #-}
|
| 2 | 2 | {-# LANGUAGE NoImplicitPrelude #-}
|
| 3 | 3 | {-# LANGUAGE PolyKinds #-}
|
| 4 | -{-# LANGUAGE Safe #-}
|
|
| 4 | +{-# LANGUAGE Trustworthy #-}
|
|
| 5 | 5 | {-# LANGUAGE TypeFamilyDependencies #-}
|
| 6 | 6 | {-# LANGUAGE TypeOperators #-}
|
| 7 | 7 | |
| ... | ... | @@ -23,7 +23,7 @@ module GHC.Internal.Data.Type.Bool ( |
| 23 | 23 | If, type (&&), type (||), Not
|
| 24 | 24 | ) where
|
| 25 | 25 | |
| 26 | -import GHC.Internal.Data.Bool
|
|
| 26 | +import GHC.Internal.Base
|
|
| 27 | 27 | |
| 28 | 28 | -- This needs to be in base because (&&) is used in Data.Type.Equality.
|
| 29 | 29 | -- The other functions do not need to be in base, but seemed to be appropriate
|
| ... | ... | @@ -34,14 +34,11 @@ module GHC.Internal.Data.Type.Ord ( |
| 34 | 34 | , OrdCond
|
| 35 | 35 | ) where
|
| 36 | 36 | |
| 37 | -import GHC.Internal.Show(Show(..))
|
|
| 37 | +import GHC.Internal.Base
|
|
| 38 | +import GHC.Internal.Show (Show(..))
|
|
| 38 | 39 | import GHC.Internal.TypeError
|
| 39 | 40 | import GHC.Internal.TypeLits.Internal
|
| 40 | 41 | import GHC.Internal.TypeNats.Internal
|
| 41 | -import GHC.Internal.Types (type (~), Char)
|
|
| 42 | -import GHC.Internal.Data.Bool
|
|
| 43 | -import GHC.Internal.Data.Eq
|
|
| 44 | -import GHC.Internal.Data.Ord
|
|
| 45 | 42 | |
| 46 | 43 | -- | 'Compare' branches on the kind of its arguments to either compare by
|
| 47 | 44 | -- 'Symbol' or 'Nat'.
|
| ... | ... | @@ -37,13 +37,12 @@ module GHC.Internal.Data.Version ( |
| 37 | 37 | ) where
|
| 38 | 38 | |
| 39 | 39 | import GHC.Internal.Data.Functor ( Functor(..) )
|
| 40 | -import GHC.Internal.Data.Bool ( (&&) )
|
|
| 41 | 40 | import GHC.Internal.Data.Eq
|
| 42 | 41 | import GHC.Internal.Int ( Int )
|
| 43 | 42 | import GHC.Internal.Data.List ( map, sort, concat, concatMap, intersperse, (++) )
|
| 44 | 43 | import GHC.Internal.Data.Ord
|
| 45 | 44 | import GHC.Internal.Data.String ( String )
|
| 46 | -import GHC.Internal.Base ( Applicative(..) )
|
|
| 45 | +import GHC.Internal.Base ( Applicative(..), (&&) )
|
|
| 47 | 46 | import GHC.Internal.Generics
|
| 48 | 47 | import GHC.Internal.Unicode ( isDigit, isAlphaNum )
|
| 49 | 48 | import GHC.Internal.Read
|
| ... | ... | @@ -49,7 +49,6 @@ import GHC.Internal.Conc.IO |
| 49 | 49 | import GHC.Internal.IO.Exception
|
| 50 | 50 | #if defined(mingw32_HOST_OS)
|
| 51 | 51 | import GHC.Internal.Windows
|
| 52 | -import GHC.Internal.Data.Bool
|
|
| 53 | 52 | import GHC.Internal.IO.SubSystem ((<!>))
|
| 54 | 53 | import GHC.Internal.Foreign.Storable
|
| 55 | 54 | #endif
|
| ... | ... | @@ -717,7 +716,7 @@ asyncReadRawBufferPtr loc !fd !buf !off !len = do |
| 717 | 716 | if l == (-1)
|
| 718 | 717 | then let sock_errno = c_maperrno_func (fromIntegral rc)
|
| 719 | 718 | non_sock_errno = Errno (fromIntegral rc)
|
| 720 | - errno = bool non_sock_errno sock_errno (fdIsSocket fd)
|
|
| 719 | + errno = if fdIsSocket fd then sock_errno else non_sock_errno
|
|
| 721 | 720 | in ioError (errnoToIOError loc errno Nothing Nothing)
|
| 722 | 721 | else return (fromIntegral l)
|
| 723 | 722 | |
| ... | ... | @@ -728,7 +727,7 @@ asyncWriteRawBufferPtr loc !fd !buf !off !len = do |
| 728 | 727 | if l == (-1)
|
| 729 | 728 | then let sock_errno = c_maperrno_func (fromIntegral rc)
|
| 730 | 729 | non_sock_errno = Errno (fromIntegral rc)
|
| 731 | - errno = bool non_sock_errno sock_errno (fdIsSocket fd)
|
|
| 730 | + errno = if fdIsSocket fd then sock_errno else non_sock_errno
|
|
| 732 | 731 | in ioError (errnoToIOError loc errno Nothing Nothing)
|
| 733 | 732 | else return (fromIntegral l)
|
| 734 | 733 | |
| ... | ... | @@ -740,7 +739,7 @@ blockingReadRawBufferPtr loc !fd !buf !off !len |
| 740 | 739 | let start_ptr = buf `plusPtr` off
|
| 741 | 740 | recv_ret = c_safe_recv (fdFD fd) start_ptr (fromIntegral len) 0
|
| 742 | 741 | read_ret = c_safe_read (fdFD fd) start_ptr (fromIntegral len)
|
| 743 | - r <- bool read_ret recv_ret (fdIsSocket fd)
|
|
| 742 | + r <- if fdIsSocket fd then recv_ret else read_ret
|
|
| 744 | 743 | when ((fdIsSocket fd) && (r == -1)) c_maperrno
|
| 745 | 744 | return r
|
| 746 | 745 | -- We trust read() to give us the correct errno but recv(), as a
|
| ... | ... | @@ -753,7 +752,7 @@ blockingWriteRawBufferPtr loc !fd !buf !off !len |
| 753 | 752 | let start_ptr = buf `plusPtr` off
|
| 754 | 753 | send_ret = c_safe_send (fdFD fd) start_ptr (fromIntegral len) 0
|
| 755 | 754 | write_ret = c_safe_write (fdFD fd) start_ptr (fromIntegral len)
|
| 756 | - r <- bool write_ret send_ret (fdIsSocket fd)
|
|
| 755 | + r <- if fdIsSocket fd then send_ret else write_ret
|
|
| 757 | 756 | when (r == -1) c_maperrno
|
| 758 | 757 | return r
|
| 759 | 758 | -- We don't trust write() to give us the correct errno, and
|
| ... | ... | @@ -46,7 +46,6 @@ import GHC.Internal.Types |
| 46 | 46 | import qualified GHC.Internal.Exception as Ex
|
| 47 | 47 | import qualified GHC.Internal.CString as GHC
|
| 48 | 48 | import GHC.Internal.IO
|
| 49 | -import GHC.Internal.Data.Bool
|
|
| 50 | 49 | import GHC.Internal.Base
|
| 51 | 50 | import GHC.Internal.Show
|
| 52 | 51 |
| 1 | -{-# LANGUAGE Safe #-}
|
|
| 1 | +{-# LANGUAGE Trustworthy #-}
|
|
| 2 | 2 | {-# LANGUAGE CPP #-}
|
| 3 | 3 | {-# LANGUAGE RankNTypes #-}
|
| 4 | 4 | |
| ... | ... | @@ -23,14 +23,12 @@ module GHC.Internal.System.IO.OS |
| 23 | 23 | )
|
| 24 | 24 | where
|
| 25 | 25 | |
| 26 | +import GHC.Internal.Base
|
|
| 26 | 27 | import GHC.Internal.Control.Monad (return)
|
| 27 | 28 | import GHC.Internal.Control.Concurrent.MVar (MVar)
|
| 28 | 29 | import GHC.Internal.Control.Exception (mask)
|
| 29 | 30 | import GHC.Internal.Data.Function (const, (.), ($))
|
| 30 | 31 | import GHC.Internal.Data.Functor (fmap)
|
| 31 | -#if defined(mingw32_HOST_OS)
|
|
| 32 | -import GHC.Internal.Data.Bool (otherwise)
|
|
| 33 | -#endif
|
|
| 34 | 32 | import GHC.Internal.Data.Maybe (Maybe (Nothing), maybe)
|
| 35 | 33 | #if defined(mingw32_HOST_OS)
|
| 36 | 34 | import GHC.Internal.Data.Maybe (Maybe (Just))
|
| ... | ... | @@ -34,7 +34,6 @@ import GHC.Internal.TH.Monad |
| 34 | 34 | import qualified GHC.Internal.TH.Lib as Lib (litE) -- See wrinkle (W4) of Note [Tracking dependencies on primitives]
|
| 35 | 35 | |
| 36 | 36 | import GHC.Internal.Data.Either
|
| 37 | -import GHC.Internal.Data.Bool
|
|
| 38 | 37 | import GHC.Internal.Base hiding (NonEmpty(..), Type, Module, inline)
|
| 39 | 38 | import GHC.Internal.Data.NonEmpty (NonEmpty(..))
|
| 40 | 39 | import GHC.Internal.Integer
|
| ... | ... | @@ -31,8 +31,7 @@ module GHC.Internal.TypeError |
| 31 | 31 | , Unsatisfiable, unsatisfiable
|
| 32 | 32 | ) where
|
| 33 | 33 | |
| 34 | -import GHC.Internal.Data.Bool
|
|
| 35 | -import GHC.Internal.Types (TYPE, Constraint, Symbol)
|
|
| 34 | +import GHC.Internal.Types (TYPE, Bool(True), Constraint, Symbol)
|
|
| 36 | 35 | |
| 37 | 36 | {- Note [Custom type errors]
|
| 38 | 37 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
| ... | ... | @@ -70,7 +70,7 @@ |
| 70 | 70 | ><li class="src short"
|
| 71 | 71 | ><a href="#"
|
| 72 | 72 | >test2</a
|
| 73 | - > :: <a href="#" title="Data.Bool"
|
|
| 73 | + > :: <a href="#" title="GHC.Exts"
|
|
| 74 | 74 | >Bool</a
|
| 75 | 75 | ></li
|
| 76 | 76 | ><li class="src short"
|
| ... | ... | @@ -131,7 +131,7 @@ |
| 131 | 131 | ><p class="src"
|
| 132 | 132 | ><a id="v:test2" class="def"
|
| 133 | 133 | >test2</a
|
| 134 | - > :: <a href="#" title="Data.Bool"
|
|
| 134 | + > :: <a href="#" title="GHC.Exts"
|
|
| 135 | 135 | >Bool</a
|
| 136 | 136 | > <a href="#" class="selflink"
|
| 137 | 137 | >#</a
|
| ... | ... | @@ -210,7 +210,7 @@ |
| 210 | 210 | >D1</a
|
| 211 | 211 | > ('<a href="#" title="GHC.Generics"
|
| 212 | 212 | >MetaData</a
|
| 213 | - > "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"
|
|
| 213 | + > "Product" "Data.Functor.Product" "base" '<a href="#" title="GHC.Exts"
|
|
| 214 | 214 | >False</a
|
| 215 | 215 | >) (<a href="#" title="GHC.Generics"
|
| 216 | 216 | >C1</a
|
| ... | ... | @@ -218,7 +218,7 @@ |
| 218 | 218 | >MetaCons</a
|
| 219 | 219 | > "Pair" '<a href="#" title="GHC.Generics"
|
| 220 | 220 | >PrefixI</a
|
| 221 | - > '<a href="#" title="Data.Bool"
|
|
| 221 | + > '<a href="#" title="GHC.Exts"
|
|
| 222 | 222 | >False</a
|
| 223 | 223 | >) (<a href="#" title="GHC.Generics"
|
| 224 | 224 | >S1</a
|
| ... | ... | @@ -505,13 +505,13 @@ |
| 505 | 505 | ><p class="src"
|
| 506 | 506 | ><a href="#"
|
| 507 | 507 | >liftEq</a
|
| 508 | - > :: (a -> b -> <a href="#" title="Data.Bool"
|
|
| 508 | + > :: (a -> b -> <a href="#" title="GHC.Exts"
|
|
| 509 | 509 | >Bool</a
|
| 510 | 510 | >) -> <a href="#" title="Bug1004"
|
| 511 | 511 | >Product</a
|
| 512 | 512 | > f g a -> <a href="#" title="Bug1004"
|
| 513 | 513 | >Product</a
|
| 514 | - > f g b -> <a href="#" title="Data.Bool"
|
|
| 514 | + > f g b -> <a href="#" title="GHC.Exts"
|
|
| 515 | 515 | >Bool</a
|
| 516 | 516 | > <a href="#" class="selflink"
|
| 517 | 517 | >#</a
|
| ... | ... | @@ -1553,7 +1553,7 @@ |
| 1553 | 1553 | >null</a
|
| 1554 | 1554 | > :: <a href="#" title="Bug1004"
|
| 1555 | 1555 | >Product</a
|
| 1556 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 1556 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 1557 | 1557 | >Bool</a
|
| 1558 | 1558 | > <a href="#" class="selflink"
|
| 1559 | 1559 | >#</a
|
| ... | ... | @@ -1575,7 +1575,7 @@ |
| 1575 | 1575 | >Eq</a
|
| 1576 | 1576 | > a => a -> <a href="#" title="Bug1004"
|
| 1577 | 1577 | >Product</a
|
| 1578 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 1578 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 1579 | 1579 | >Bool</a
|
| 1580 | 1580 | > <a href="#" class="selflink"
|
| 1581 | 1581 | >#</a
|
| ... | ... | @@ -1983,7 +1983,7 @@ |
| 1983 | 1983 | >Product</a
|
| 1984 | 1984 | > f g a -> <a href="#" title="Bug1004"
|
| 1985 | 1985 | >Product</a
|
| 1986 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 1986 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 1987 | 1987 | >Bool</a
|
| 1988 | 1988 | > <a href="#" class="selflink"
|
| 1989 | 1989 | >#</a
|
| ... | ... | @@ -1995,7 +1995,7 @@ |
| 1995 | 1995 | >Product</a
|
| 1996 | 1996 | > f g a -> <a href="#" title="Bug1004"
|
| 1997 | 1997 | >Product</a
|
| 1998 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 1998 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 1999 | 1999 | >Bool</a
|
| 2000 | 2000 | > <a href="#" class="selflink"
|
| 2001 | 2001 | >#</a
|
| ... | ... | @@ -2065,7 +2065,7 @@ |
| 2065 | 2065 | >Product</a
|
| 2066 | 2066 | > f g a -> <a href="#" title="Bug1004"
|
| 2067 | 2067 | >Product</a
|
| 2068 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 2068 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 2069 | 2069 | >Bool</a
|
| 2070 | 2070 | > <a href="#" class="selflink"
|
| 2071 | 2071 | >#</a
|
| ... | ... | @@ -2077,7 +2077,7 @@ |
| 2077 | 2077 | >Product</a
|
| 2078 | 2078 | > f g a -> <a href="#" title="Bug1004"
|
| 2079 | 2079 | >Product</a
|
| 2080 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 2080 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 2081 | 2081 | >Bool</a
|
| 2082 | 2082 | > <a href="#" class="selflink"
|
| 2083 | 2083 | >#</a
|
| ... | ... | @@ -2089,7 +2089,7 @@ |
| 2089 | 2089 | >Product</a
|
| 2090 | 2090 | > f g a -> <a href="#" title="Bug1004"
|
| 2091 | 2091 | >Product</a
|
| 2092 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 2092 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 2093 | 2093 | >Bool</a
|
| 2094 | 2094 | > <a href="#" class="selflink"
|
| 2095 | 2095 | >#</a
|
| ... | ... | @@ -2101,7 +2101,7 @@ |
| 2101 | 2101 | >Product</a
|
| 2102 | 2102 | > f g a -> <a href="#" title="Bug1004"
|
| 2103 | 2103 | >Product</a
|
| 2104 | - > f g a -> <a href="#" title="Data.Bool"
|
|
| 2104 | + > f g a -> <a href="#" title="GHC.Exts"
|
|
| 2105 | 2105 | >Bool</a
|
| 2106 | 2106 | > <a href="#" class="selflink"
|
| 2107 | 2107 | >#</a
|
| ... | ... | @@ -2471,7 +2471,7 @@ |
| 2471 | 2471 | >D1</a
|
| 2472 | 2472 | > ('<a href="#" title="GHC.Generics"
|
| 2473 | 2473 | >MetaData</a
|
| 2474 | - > "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"
|
|
| 2474 | + > "Product" "Data.Functor.Product" "base" '<a href="#" title="GHC.Exts"
|
|
| 2475 | 2475 | >False</a
|
| 2476 | 2476 | >) (<a href="#" title="GHC.Generics"
|
| 2477 | 2477 | >C1</a
|
| ... | ... | @@ -2479,7 +2479,7 @@ |
| 2479 | 2479 | >MetaCons</a
|
| 2480 | 2480 | > "Pair" '<a href="#" title="GHC.Generics"
|
| 2481 | 2481 | >PrefixI</a
|
| 2482 | - > '<a href="#" title="Data.Bool"
|
|
| 2482 | + > '<a href="#" title="GHC.Exts"
|
|
| 2483 | 2483 | >False</a
|
| 2484 | 2484 | >) (<a href="#" title="GHC.Generics"
|
| 2485 | 2485 | >S1</a
|
| ... | ... | @@ -2768,7 +2768,7 @@ |
| 2768 | 2768 | >D1</a
|
| 2769 | 2769 | > ('<a href="#" title="GHC.Generics"
|
| 2770 | 2770 | >MetaData</a
|
| 2771 | - > "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"
|
|
| 2771 | + > "Product" "Data.Functor.Product" "base" '<a href="#" title="GHC.Exts"
|
|
| 2772 | 2772 | >False</a
|
| 2773 | 2773 | >) (<a href="#" title="GHC.Generics"
|
| 2774 | 2774 | >C1</a
|
| ... | ... | @@ -2776,7 +2776,7 @@ |
| 2776 | 2776 | >MetaCons</a
|
| 2777 | 2777 | > "Pair" '<a href="#" title="GHC.Generics"
|
| 2778 | 2778 | >PrefixI</a
|
| 2779 | - > '<a href="#" title="Data.Bool"
|
|
| 2779 | + > '<a href="#" title="GHC.Exts"
|
|
| 2780 | 2780 | >False</a
|
| 2781 | 2781 | >) (<a href="#" title="GHC.Generics"
|
| 2782 | 2782 | >S1</a
|
| ... | ... | @@ -2862,7 +2862,7 @@ |
| 2862 | 2862 | >D1</a
|
| 2863 | 2863 | > ('<a href="#" title="GHC.Generics"
|
| 2864 | 2864 | >MetaData</a
|
| 2865 | - > "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"
|
|
| 2865 | + > "Product" "Data.Functor.Product" "base" '<a href="#" title="GHC.Exts"
|
|
| 2866 | 2866 | >False</a
|
| 2867 | 2867 | >) (<a href="#" title="GHC.Generics"
|
| 2868 | 2868 | >C1</a
|
| ... | ... | @@ -2870,7 +2870,7 @@ |
| 2870 | 2870 | >MetaCons</a
|
| 2871 | 2871 | > "Pair" '<a href="#" title="GHC.Generics"
|
| 2872 | 2872 | >PrefixI</a
|
| 2873 | - > '<a href="#" title="Data.Bool"
|
|
| 2873 | + > '<a href="#" title="GHC.Exts"
|
|
| 2874 | 2874 | >False</a
|
| 2875 | 2875 | >) (<a href="#" title="GHC.Generics"
|
| 2876 | 2876 | >S1</a
|
| ... | ... | @@ -148,7 +148,7 @@ |
| 148 | 148 | >D1</a
|
| 149 | 149 | > ('<a href="#" title="GHC.Generics"
|
| 150 | 150 | >MetaData</a
|
| 151 | - > "Foo" "Bug1033" "main" '<a href="#" title="Data.Bool"
|
|
| 151 | + > "Foo" "Bug1033" "main" '<a href="#" title="GHC.Exts"
|
|
| 152 | 152 | >False</a
|
| 153 | 153 | >) (<a href="#" title="GHC.Generics"
|
| 154 | 154 | >C1</a
|
| ... | ... | @@ -156,7 +156,7 @@ |
| 156 | 156 | >MetaCons</a
|
| 157 | 157 | > "Foo" '<a href="#" title="GHC.Generics"
|
| 158 | 158 | >PrefixI</a
|
| 159 | - > '<a href="#" title="Data.Bool"
|
|
| 159 | + > '<a href="#" title="GHC.Exts"
|
|
| 160 | 160 | >False</a
|
| 161 | 161 | >) (<a href="#" title="GHC.Generics"
|
| 162 | 162 | >U1</a
|
| ... | ... | @@ -241,7 +241,7 @@ |
| 241 | 241 | >D1</a
|
| 242 | 242 | > ('<a href="#" title="GHC.Generics"
|
| 243 | 243 | >MetaData</a
|
| 244 | - > "Foo" "Bug1033" "main" '<a href="#" title="Data.Bool"
|
|
| 244 | + > "Foo" "Bug1033" "main" '<a href="#" title="GHC.Exts"
|
|
| 245 | 245 | >False</a
|
| 246 | 246 | >) (<a href="#" title="GHC.Generics"
|
| 247 | 247 | >C1</a
|
| ... | ... | @@ -249,7 +249,7 @@ |
| 249 | 249 | >MetaCons</a
|
| 250 | 250 | > "Foo" '<a href="#" title="GHC.Generics"
|
| 251 | 251 | >PrefixI</a
|
| 252 | - > '<a href="#" title="Data.Bool"
|
|
| 252 | + > '<a href="#" title="GHC.Exts"
|
|
| 253 | 253 | >False</a
|
| 254 | 254 | >) (<a href="#" title="GHC.Generics"
|
| 255 | 255 | >U1</a
|
| ... | ... | @@ -80,7 +80,7 @@ |
| 80 | 80 | >data</span
|
| 81 | 81 | > <a href="#" title="Bug1103"
|
| 82 | 82 | >Foo1</a
|
| 83 | - > <a href="#" title="Data.Bool"
|
|
| 83 | + > <a href="#" title="GHC.Exts"
|
|
| 84 | 84 | >Bool</a
|
| 85 | 85 | ></span
|
| 86 | 86 | > <a href="#" class="selflink"
|
| ... | ... | @@ -103,7 +103,7 @@ |
| 103 | 103 | >data</span
|
| 104 | 104 | > <a href="#" title="Bug1103"
|
| 105 | 105 | >Foo1</a
|
| 106 | - > <a href="#" title="Data.Bool"
|
|
| 106 | + > <a href="#" title="GHC.Exts"
|
|
| 107 | 107 | >Bool</a
|
| 108 | 108 | > = <a id="v:Foo1Bool" class="def"
|
| 109 | 109 | >Foo1Bool</a
|
| ... | ... | @@ -218,7 +218,7 @@ |
| 218 | 218 | >data</span
|
| 219 | 219 | > <a href="#" title="Bug1103"
|
| 220 | 220 | >Foo2</a
|
| 221 | - > <a href="#" title="Data.Bool"
|
|
| 221 | + > <a href="#" title="GHC.Exts"
|
|
| 222 | 222 | >Bool</a
|
| 223 | 223 | ></span
|
| 224 | 224 | > <a href="#" class="selflink"
|
| ... | ... | @@ -241,7 +241,7 @@ |
| 241 | 241 | >data</span
|
| 242 | 242 | > <a href="#" title="Bug1103"
|
| 243 | 243 | >Foo2</a
|
| 244 | - > <a href="#" title="Data.Bool"
|
|
| 244 | + > <a href="#" title="GHC.Exts"
|
|
| 245 | 245 | >Bool</a
|
| 246 | 246 | > = <a id="v:Foo2Bool" class="def"
|
| 247 | 247 | >Foo2Bool</a
|
| ... | ... | @@ -476,7 +476,7 @@ |
| 476 | 476 | >data</span
|
| 477 | 477 | > <a href="#" title="Bug1103"
|
| 478 | 478 | >Foo3</a
|
| 479 | - > <a href="#" title="Data.Bool"
|
|
| 479 | + > <a href="#" title="GHC.Exts"
|
|
| 480 | 480 | >Bool</a
|
| 481 | 481 | ></span
|
| 482 | 482 | > <a href="#" class="selflink"
|
| ... | ... | @@ -499,7 +499,7 @@ |
| 499 | 499 | >data</span
|
| 500 | 500 | > <a href="#" title="Bug1103"
|
| 501 | 501 | >Foo3</a
|
| 502 | - > <a href="#" title="Data.Bool"
|
|
| 502 | + > <a href="#" title="GHC.Exts"
|
|
| 503 | 503 | >Bool</a
|
| 504 | 504 | > = <a id="v:Foo3Bool" class="def"
|
| 505 | 505 | >Foo3Bool</a
|
| ... | ... | @@ -186,7 +186,7 @@ |
| 186 | 186 | >D1</a
|
| 187 | 187 | > ('<a href="#" title="GHC.Generics"
|
| 188 | 188 | >MetaData</a
|
| 189 | - > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"
|
|
| 189 | + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="GHC.Exts"
|
|
| 190 | 190 | >True</a
|
| 191 | 191 | >) (<a href="#" title="GHC.Generics"
|
| 192 | 192 | >C1</a
|
| ... | ... | @@ -194,7 +194,7 @@ |
| 194 | 194 | >MetaCons</a
|
| 195 | 195 | > "WrapArrow" '<a href="#" title="GHC.Generics"
|
| 196 | 196 | >PrefixI</a
|
| 197 | - > '<a href="#" title="Data.Bool"
|
|
| 197 | + > '<a href="#" title="GHC.Exts"
|
|
| 198 | 198 | >True</a
|
| 199 | 199 | >) (<a href="#" title="GHC.Generics"
|
| 200 | 200 | >S1</a
|
| ... | ... | @@ -814,7 +814,7 @@ |
| 814 | 814 | >D1</a
|
| 815 | 815 | > ('<a href="#" title="GHC.Generics"
|
| 816 | 816 | >MetaData</a
|
| 817 | - > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"
|
|
| 817 | + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="GHC.Exts"
|
|
| 818 | 818 | >True</a
|
| 819 | 819 | >) (<a href="#" title="GHC.Generics"
|
| 820 | 820 | >C1</a
|
| ... | ... | @@ -822,7 +822,7 @@ |
| 822 | 822 | >MetaCons</a
|
| 823 | 823 | > "WrapArrow" '<a href="#" title="GHC.Generics"
|
| 824 | 824 | >PrefixI</a
|
| 825 | - > '<a href="#" title="Data.Bool"
|
|
| 825 | + > '<a href="#" title="GHC.Exts"
|
|
| 826 | 826 | >True</a
|
| 827 | 827 | >) (<a href="#" title="GHC.Generics"
|
| 828 | 828 | >S1</a
|
| ... | ... | @@ -925,7 +925,7 @@ |
| 925 | 925 | >D1</a
|
| 926 | 926 | > ('<a href="#" title="GHC.Generics"
|
| 927 | 927 | >MetaData</a
|
| 928 | - > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"
|
|
| 928 | + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="GHC.Exts"
|
|
| 929 | 929 | >True</a
|
| 930 | 930 | >) (<a href="#" title="GHC.Generics"
|
| 931 | 931 | >C1</a
|
| ... | ... | @@ -933,7 +933,7 @@ |
| 933 | 933 | >MetaCons</a
|
| 934 | 934 | > "WrapArrow" '<a href="#" title="GHC.Generics"
|
| 935 | 935 | >PrefixI</a
|
| 936 | - > '<a href="#" title="Data.Bool"
|
|
| 936 | + > '<a href="#" title="GHC.Exts"
|
|
| 937 | 937 | >True</a
|
| 938 | 938 | >) (<a href="#" title="GHC.Generics"
|
| 939 | 939 | >S1</a
|
| ... | ... | @@ -995,7 +995,7 @@ |
| 995 | 995 | >D1</a
|
| 996 | 996 | > ('<a href="#" title="GHC.Generics"
|
| 997 | 997 | >MetaData</a
|
| 998 | - > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"
|
|
| 998 | + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="GHC.Exts"
|
|
| 999 | 999 | >True</a
|
| 1000 | 1000 | >) (<a href="#" title="GHC.Generics"
|
| 1001 | 1001 | >C1</a
|
| ... | ... | @@ -1003,7 +1003,7 @@ |
| 1003 | 1003 | >MetaCons</a
|
| 1004 | 1004 | > "WrapArrow" '<a href="#" title="GHC.Generics"
|
| 1005 | 1005 | >PrefixI</a
|
| 1006 | - > '<a href="#" title="Data.Bool"
|
|
| 1006 | + > '<a href="#" title="GHC.Exts"
|
|
| 1007 | 1007 | >True</a
|
| 1008 | 1008 | >) (<a href="#" title="GHC.Generics"
|
| 1009 | 1009 | >S1</a
|
| ... | ... | @@ -202,7 +202,7 @@ |
| 202 | 202 | >Type</a
|
| 203 | 203 | >, <a href="#" title="Data.Kind"
|
| 204 | 204 | >Type</a
|
| 205 | - >)) -> <a href="#" title="Data.Bool"
|
|
| 205 | + >)) -> <a href="#" title="GHC.Exts"
|
|
| 206 | 206 | >Bool</a
|
| 207 | 207 | > <a href="#" class="selflink"
|
| 208 | 208 | >#</a
|
| ... | ... | @@ -226,7 +226,7 @@ |
| 226 | 226 | >Type</a
|
| 227 | 227 | >, <a href="#" title="Data.Kind"
|
| 228 | 228 | >Type</a
|
| 229 | - >)) -> <a href="#" title="Data.Bool"
|
|
| 229 | + >)) -> <a href="#" title="GHC.Exts"
|
|
| 230 | 230 | >Bool</a
|
| 231 | 231 | > <a href="#" class="selflink"
|
| 232 | 232 | >#</a
|
| ... | ... | @@ -69,7 +69,7 @@ |
| 69 | 69 | >pattern</span
|
| 70 | 70 | > <a id="v:MyRecCons" class="def"
|
| 71 | 71 | >MyRecCons</a
|
| 72 | - > :: <a href="#" title="Data.Bool"
|
|
| 72 | + > :: <a href="#" title="GHC.Exts"
|
|
| 73 | 73 | >Bool</a
|
| 74 | 74 | > -> <a href="#" title="Data.Int"
|
| 75 | 75 | >Int</a
|
| ... | ... | @@ -90,7 +90,7 @@ |
| 90 | 90 | ></tr
|
| 91 | 91 | ><tr
|
| 92 | 92 | ><td class="src"
|
| 93 | - >-> <a href="#" title="Data.Bool"
|
|
| 93 | + >-> <a href="#" title="GHC.Exts"
|
|
| 94 | 94 | >Bool</a
|
| 95 | 95 | ></td
|
| 96 | 96 | ><td class="doc"
|
| ... | ... | @@ -682,7 +682,7 @@ |
| 682 | 682 | ><p class="src"
|
| 683 | 683 | ><a id="v:bar" class="def"
|
| 684 | 684 | >bar</a
|
| 685 | - > :: f a -> f <a href="#" title="Data.Bool"
|
|
| 685 | + > :: f a -> f <a href="#" title="GHC.Exts"
|
|
| 686 | 686 | >Bool</a
|
| 687 | 687 | > -> a <a href="#" class="selflink"
|
| 688 | 688 | >#</a
|
| ... | ... | @@ -722,7 +722,7 @@ |
| 722 | 722 | >Bar</a
|
| 723 | 723 | > <a href="#" title="Data.Maybe"
|
| 724 | 724 | >Maybe</a
|
| 725 | - > <a href="#" title="Data.Bool"
|
|
| 725 | + > <a href="#" title="GHC.Exts"
|
|
| 726 | 726 | >Bool</a
|
| 727 | 727 | ></span
|
| 728 | 728 | > <a href="#" class="selflink"
|
| ... | ... | @@ -748,13 +748,13 @@ |
| 748 | 748 | >bar</a
|
| 749 | 749 | > :: <a href="#" title="Data.Maybe"
|
| 750 | 750 | >Maybe</a
|
| 751 | - > <a href="#" title="Data.Bool"
|
|
| 751 | + > <a href="#" title="GHC.Exts"
|
|
| 752 | 752 | >Bool</a
|
| 753 | 753 | > -> <a href="#" title="Data.Maybe"
|
| 754 | 754 | >Maybe</a
|
| 755 | - > <a href="#" title="Data.Bool"
|
|
| 755 | + > <a href="#" title="GHC.Exts"
|
|
| 756 | 756 | >Bool</a
|
| 757 | - > -> <a href="#" title="Data.Bool"
|
|
| 757 | + > -> <a href="#" title="GHC.Exts"
|
|
| 758 | 758 | >Bool</a
|
| 759 | 759 | > <a href="#" class="selflink"
|
| 760 | 760 | >#</a
|
| ... | ... | @@ -766,7 +766,7 @@ |
| 766 | 766 | >Maybe</a
|
| 767 | 767 | > (<a href="#" title="Data.Maybe"
|
| 768 | 768 | >Maybe</a
|
| 769 | - > <a href="#" title="Data.Bool"
|
|
| 769 | + > <a href="#" title="GHC.Exts"
|
|
| 770 | 770 | >Bool</a
|
| 771 | 771 | >) -> <a href="#" title="Data.Maybe"
|
| 772 | 772 | >Maybe</a
|
| ... | ... | @@ -782,11 +782,11 @@ |
| 782 | 782 | >bar0</a
|
| 783 | 783 | > :: (<a href="#" title="Data.Maybe"
|
| 784 | 784 | >Maybe</a
|
| 785 | - > <a href="#" title="Data.Bool"
|
|
| 785 | + > <a href="#" title="GHC.Exts"
|
|
| 786 | 786 | >Bool</a
|
| 787 | 787 | >, <a href="#" title="Data.Maybe"
|
| 788 | 788 | >Maybe</a
|
| 789 | - > <a href="#" title="Data.Bool"
|
|
| 789 | + > <a href="#" title="GHC.Exts"
|
|
| 790 | 790 | >Bool</a
|
| 791 | 791 | >) -> (<a href="#" title="Data.Maybe"
|
| 792 | 792 | >Maybe</a
|
| ... | ... | @@ -800,11 +800,11 @@ |
| 800 | 800 | >bar1</a
|
| 801 | 801 | > :: (<a href="#" title="Data.Maybe"
|
| 802 | 802 | >Maybe</a
|
| 803 | - > <a href="#" title="Data.Bool"
|
|
| 803 | + > <a href="#" title="GHC.Exts"
|
|
| 804 | 804 | >Bool</a
|
| 805 | 805 | >, <a href="#" title="Data.Maybe"
|
| 806 | 806 | >Maybe</a
|
| 807 | - > <a href="#" title="Data.Bool"
|
|
| 807 | + > <a href="#" title="GHC.Exts"
|
|
| 808 | 808 | >Bool</a
|
| 809 | 809 | >) -> (<a href="#" title="Data.Maybe"
|
| 810 | 810 | >Maybe</a
|
| ... | ... | @@ -852,7 +852,7 @@ |
| 852 | 852 | >Maybe</a
|
| 853 | 853 | > [a] -> <a href="#" title="Data.Maybe"
|
| 854 | 854 | >Maybe</a
|
| 855 | - > <a href="#" title="Data.Bool"
|
|
| 855 | + > <a href="#" title="GHC.Exts"
|
|
| 856 | 856 | >Bool</a
|
| 857 | 857 | > -> [a] <a href="#" class="selflink"
|
| 858 | 858 | >#</a
|
| ... | ... | @@ -936,7 +936,7 @@ |
| 936 | 936 | ><p class="src"
|
| 937 | 937 | ><a href="#"
|
| 938 | 938 | >bar</a
|
| 939 | - > :: [(a, a)] -> [<a href="#" title="Data.Bool"
|
|
| 939 | + > :: [(a, a)] -> [<a href="#" title="GHC.Exts"
|
|
| 940 | 940 | >Bool</a
|
| 941 | 941 | >] -> (a, a) <a href="#" class="selflink"
|
| 942 | 942 | >#</a
|
| ... | ... | @@ -1000,7 +1000,7 @@ |
| 1000 | 1000 | >Either</a
|
| 1001 | 1001 | > a (f a) -> <a href="#" title="Data.Either"
|
| 1002 | 1002 | >Either</a
|
| 1003 | - > a <a href="#" title="Data.Bool"
|
|
| 1003 | + > a <a href="#" title="GHC.Exts"
|
|
| 1004 | 1004 | >Bool</a
|
| 1005 | 1005 | > -> f a <a href="#" class="selflink"
|
| 1006 | 1006 | >#</a
|
| ... | ... | @@ -1092,7 +1092,7 @@ |
| 1092 | 1092 | >Quux</a
|
| 1093 | 1093 | > a b c) -> <a href="#" title="Instances"
|
| 1094 | 1094 | >Quux</a
|
| 1095 | - > a c <a href="#" title="Data.Bool"
|
|
| 1095 | + > a c <a href="#" title="GHC.Exts"
|
|
| 1096 | 1096 | >Bool</a
|
| 1097 | 1097 | > -> <a href="#" title="Instances"
|
| 1098 | 1098 | >Quux</a
|
| ... | ... | @@ -1188,7 +1188,7 @@ |
| 1188 | 1188 | ><p class="src"
|
| 1189 | 1189 | ><a href="#"
|
| 1190 | 1190 | >bar</a
|
| 1191 | - > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool"
|
|
| 1191 | + > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="GHC.Exts"
|
|
| 1192 | 1192 | >Bool</a
|
| 1193 | 1193 | >) -> (a, b, a) <a href="#" class="selflink"
|
| 1194 | 1194 | >#</a
|
| ... | ... | @@ -1754,7 +1754,7 @@ |
| 1754 | 1754 | >Quux</a
|
| 1755 | 1755 | > a b c) -> <a href="#" title="Instances"
|
| 1756 | 1756 | >Quux</a
|
| 1757 | - > a c <a href="#" title="Data.Bool"
|
|
| 1757 | + > a c <a href="#" title="GHC.Exts"
|
|
| 1758 | 1758 | >Bool</a
|
| 1759 | 1759 | > -> <a href="#" title="Instances"
|
| 1760 | 1760 | >Quux</a
|
| ... | ... | @@ -2020,7 +2020,7 @@ |
| 2020 | 2020 | >Norf</a
|
| 2021 | 2021 | > <a href="#" title="Data.Int"
|
| 2022 | 2022 | >Int</a
|
| 2023 | - > <a href="#" title="Data.Bool"
|
|
| 2023 | + > <a href="#" title="GHC.Exts"
|
|
| 2024 | 2024 | >Bool</a
|
| 2025 | 2025 | ></span
|
| 2026 | 2026 | > <a href="#" class="selflink"
|
| ... | ... | @@ -2053,7 +2053,7 @@ |
| 2053 | 2053 | >Plugh</a
|
| 2054 | 2054 | > <a href="#" title="Data.Int"
|
| 2055 | 2055 | >Int</a
|
| 2056 | - > (a, b) <a href="#" title="Data.Bool"
|
|
| 2056 | + > (a, b) <a href="#" title="GHC.Exts"
|
|
| 2057 | 2057 | >Bool</a
|
| 2058 | 2058 | ></span
|
| 2059 | 2059 | ></td
|
| ... | ... | @@ -2076,7 +2076,7 @@ |
| 2076 | 2076 | >Plugh</a
|
| 2077 | 2077 | > <a href="#" title="Data.Int"
|
| 2078 | 2078 | >Int</a
|
| 2079 | - > (a, b) <a href="#" title="Data.Bool"
|
|
| 2079 | + > (a, b) <a href="#" title="GHC.Exts"
|
|
| 2080 | 2080 | >Bool</a
|
| 2081 | 2081 | > = (a, [b])</div
|
| 2082 | 2082 | ></details
|
| ... | ... | @@ -2093,7 +2093,7 @@ |
| 2093 | 2093 | >Plugh</a
|
| 2094 | 2094 | > <a href="#" title="Data.Int"
|
| 2095 | 2095 | >Int</a
|
| 2096 | - > [a] <a href="#" title="Data.Bool"
|
|
| 2096 | + > [a] <a href="#" title="GHC.Exts"
|
|
| 2097 | 2097 | >Bool</a
|
| 2098 | 2098 | ></span
|
| 2099 | 2099 | ></td
|
| ... | ... | @@ -2116,7 +2116,7 @@ |
| 2116 | 2116 | >Plugh</a
|
| 2117 | 2117 | > <a href="#" title="Data.Int"
|
| 2118 | 2118 | >Int</a
|
| 2119 | - > [a] <a href="#" title="Data.Bool"
|
|
| 2119 | + > [a] <a href="#" title="GHC.Exts"
|
|
| 2120 | 2120 | >Bool</a
|
| 2121 | 2121 | > = a</div
|
| 2122 | 2122 | ></details
|
| ... | ... | @@ -2156,7 +2156,7 @@ |
| 2156 | 2156 | >Int</a
|
| 2157 | 2157 | > [a] = <a id="v:Thuuuud" class="def"
|
| 2158 | 2158 | >Thuuuud</a
|
| 2159 | - > <a href="#" title="Data.Bool"
|
|
| 2159 | + > <a href="#" title="GHC.Exts"
|
|
| 2160 | 2160 | >Bool</a
|
| 2161 | 2161 | ></div
|
| 2162 | 2162 | ></details
|
| ... | ... | @@ -2228,13 +2228,13 @@ |
| 2228 | 2228 | >Plugh</a
|
| 2229 | 2229 | > <a href="#" title="Data.Int"
|
| 2230 | 2230 | >Int</a
|
| 2231 | - > c <a href="#" title="Data.Bool"
|
|
| 2231 | + > c <a href="#" title="GHC.Exts"
|
|
| 2232 | 2232 | >Bool</a
|
| 2233 | 2233 | > -> <a href="#" title="Data.Int"
|
| 2234 | 2234 | >Int</a
|
| 2235 | 2235 | > -> (<a href="#" title="Data.Int"
|
| 2236 | 2236 | >Int</a
|
| 2237 | - > -> c) -> <a href="#" title="Data.Bool"
|
|
| 2237 | + > -> c) -> <a href="#" title="GHC.Exts"
|
|
| 2238 | 2238 | >Bool</a
|
| 2239 | 2239 | > <a href="#" class="selflink"
|
| 2240 | 2240 | >#</a
|
| ... | ... | @@ -98,7 +98,7 @@ |
| 98 | 98 | ><li
|
| 99 | 99 | ><a href="#"
|
| 100 | 100 | >noC</a
|
| 101 | - > :: <a href="#" title="Data.Bool"
|
|
| 101 | + > :: <a href="#" title="GHC.Exts"
|
|
| 102 | 102 | >Bool</a
|
| 103 | 103 | ></li
|
| 104 | 104 | ></ul
|
| ... | ... | @@ -236,7 +236,7 @@ |
| 236 | 236 | ><dfn class="src"
|
| 237 | 237 | ><a id="v:noC" class="def"
|
| 238 | 238 | >noC</a
|
| 239 | - > :: <a href="#" title="Data.Bool"
|
|
| 239 | + > :: <a href="#" title="GHC.Exts"
|
|
| 240 | 240 | >Bool</a
|
| 241 | 241 | ></dfn
|
| 242 | 242 | ><div class="doc empty"
|
| ... | ... | @@ -324,7 +324,7 @@ |
| 324 | 324 | ><dfn class="src"
|
| 325 | 325 | > , <a id="v:noG" class="def"
|
| 326 | 326 | >noG</a
|
| 327 | - > :: <a href="#" title="Data.Bool"
|
|
| 327 | + > :: <a href="#" title="GHC.Exts"
|
|
| 328 | 328 | >Bool</a
|
| 329 | 329 | ></dfn
|
| 330 | 330 | ><div class="doc empty"
|
| ... | ... | @@ -90,7 +90,7 @@ |
| 90 | 90 | ><li class="src short"
|
| 91 | 91 | ><a href="#"
|
| 92 | 92 | >exportedFn</a
|
| 93 | - > :: <a href="#" title="Data.Bool"
|
|
| 93 | + > :: <a href="#" title="GHC.Exts"
|
|
| 94 | 94 | >Bool</a
|
| 95 | 95 | > -> AlsoHidden</li
|
| 96 | 96 | ></ul
|
| ... | ... | @@ -188,7 +188,7 @@ |
| 188 | 188 | ><p class="src"
|
| 189 | 189 | ><a id="v:exportedFn" class="def"
|
| 190 | 190 | >exportedFn</a
|
| 191 | - > :: <a href="#" title="Data.Bool"
|
|
| 191 | + > :: <a href="#" title="GHC.Exts"
|
|
| 192 | 192 | >Bool</a
|
| 193 | 193 | > -> AlsoHidden <a href="#" class="selflink"
|
| 194 | 194 | >#</a
|
| ... | ... | @@ -51,7 +51,7 @@ |
| 51 | 51 | >null</a
|
| 52 | 52 | > :: <a href="#" title="Data.Foldable"
|
| 53 | 53 | >Foldable</a
|
| 54 | - > t => t a -> <a href="#" title="Data.Bool"
|
|
| 54 | + > t => t a -> <a href="#" title="GHC.Exts"
|
|
| 55 | 55 | >Bool</a
|
| 56 | 56 | > <a href="#" class="selflink"
|
| 57 | 57 | >#</a
|
| ... | ... | @@ -427,9 +427,9 @@ |
| 427 | 427 | >Int</a
|
| 428 | 428 | > -> <a href="#" title="Test"
|
| 429 | 429 | >T3</a
|
| 430 | - > <a href="#" title="Data.Bool"
|
|
| 430 | + > <a href="#" title="GHC.Exts"
|
|
| 431 | 431 | >Bool</a
|
| 432 | - > <a href="#" title="Data.Bool"
|
|
| 432 | + > <a href="#" title="GHC.Exts"
|
|
| 433 | 433 | >Bool</a
|
| 434 | 434 | > -> <a href="#" title="Test"
|
| 435 | 435 | >T4</a
|
| ... | ... | @@ -649,9 +649,9 @@ |
| 649 | 649 | >Int</a
|
| 650 | 650 | > -> (<a href="#" title="Test"
|
| 651 | 651 | >T3</a
|
| 652 | - > <a href="#" title="Data.Bool"
|
|
| 652 | + > <a href="#" title="GHC.Exts"
|
|
| 653 | 653 | >Bool</a
|
| 654 | - > <a href="#" title="Data.Bool"
|
|
| 654 | + > <a href="#" title="GHC.Exts"
|
|
| 655 | 655 | >Bool</a
|
| 656 | 656 | > -> <a href="#" title="Test"
|
| 657 | 657 | >T4</a
|
| ... | ... | @@ -1450,9 +1450,9 @@ |
| 1450 | 1450 | >Int</a
|
| 1451 | 1451 | > -> <a href="#" title="Test"
|
| 1452 | 1452 | >T3</a
|
| 1453 | - > <a href="#" title="Data.Bool"
|
|
| 1453 | + > <a href="#" title="GHC.Exts"
|
|
| 1454 | 1454 | >Bool</a
|
| 1455 | - > <a href="#" title="Data.Bool"
|
|
| 1455 | + > <a href="#" title="GHC.Exts"
|
|
| 1456 | 1456 | >Bool</a
|
| 1457 | 1457 | > -> <a href="#" title="Test"
|
| 1458 | 1458 | >T4</a
|
| ... | ... | @@ -2235,9 +2235,9 @@ is at the beginning of the line).</pre |
| 2235 | 2235 | ><td class="src"
|
| 2236 | 2236 | >-> (<a href="#" title="Test"
|
| 2237 | 2237 | >T3</a
|
| 2238 | - > <a href="#" title="Data.Bool"
|
|
| 2238 | + > <a href="#" title="GHC.Exts"
|
|
| 2239 | 2239 | >Bool</a
|
| 2240 | - > <a href="#" title="Data.Bool"
|
|
| 2240 | + > <a href="#" title="GHC.Exts"
|
|
| 2241 | 2241 | >Bool</a
|
| 2242 | 2242 | > -> <a href="#" title="Test"
|
| 2243 | 2243 | >T4</a
|
| ... | ... | @@ -351,7 +351,7 @@ |
| 351 | 351 | >Int</a
|
| 352 | 352 | > = <a id="v:Baz2" class="def"
|
| 353 | 353 | >Baz2</a
|
| 354 | - > <a href="#" title="Data.Bool"
|
|
| 354 | + > <a href="#" title="GHC.Exts"
|
|
| 355 | 355 | >Bool</a
|
| 356 | 356 | ></div
|
| 357 | 357 | ></details
|