liquid-base-4.14.0.0: Drop-in base replacement for LiquidHaskell

Signatures

Modules

• Control
  Submodules

  •  Control.Applicative
  •  Control.Arrow
  •  Control.Category
  •  Control.Concurrent
    Submodules

    •  Control.Concurrent.Chan
    •  Control.Concurrent.MVar
    •  Control.Concurrent.QSem
    •  Control.Concurrent.QSemN
  •  Control.Exception
    Submodules

    •  Control.Exception.Base
  •  Control.Monad
    Submodules

    •  Control.Monad.Fail
    •  Control.Monad.Fix
    • IO
      Submodules

      •  Control.Monad.IO.Class
    •  Control.Monad.Instances
    •  Control.Monad.ST
      Submodules

      •  Control.Monad.ST.Lazy
        Submodules

        •  Control.Monad.ST.Lazy.Safe
        •  Control.Monad.ST.Lazy.Unsafe
      •  Control.Monad.ST.Safe
      •  Control.Monad.ST.Strict
      •  Control.Monad.ST.Unsafe
    •  Control.Monad.Zip
• Data
  Submodules

  •  Data.Bifoldable
  •  Data.Bifunctor
  •  Data.Bitraversable
  •  Data.Bits
  •  Data.Bool
  •  Data.Char
  •  Data.Coerce
  •  Data.Complex
  •  Data.Data
  •  Data.Dynamic
  •  Data.Either
  •  Data.Eq
  •  Data.Fixed
  •  Data.Foldable
  •  Data.Function
  •  Data.Functor
    Submodules

    •  Data.Functor.Classes
    •  Data.Functor.Compose
    •  Data.Functor.Const
    •  Data.Functor.Contravariant
    •  Data.Functor.Identity
    •  Data.Functor.Product
    •  Data.Functor.Sum
  •  Data.IORef
  •  Data.Int
  •  Data.Ix
  •  Data.Kind
  •  Data.List
    Submodules

    •  Data.List.NonEmpty
  •  Data.Maybe
  •  Data.Monoid
  •  Data.Ord
  •  Data.Proxy
  •  Data.Ratio
  •  Data.STRef
    Submodules

    •  Data.STRef.Lazy
    •  Data.STRef.Strict
  •  Data.Semigroup
  •  Data.String
  •  Data.Traversable
  •  Data.Tuple
  • Type
    Submodules

    •  Data.Type.Bool
    •  Data.Type.Coercion
    •  Data.Type.Equality
  •  Data.Typeable
  •  Data.Unique
  •  Data.Version
  •  Data.Void
  •  Data.Word
• Debug
  Submodules

  •  Debug.Trace
•  Foreign
  Submodules

  •  Foreign.C
    Submodules

    •  Foreign.C.Error
    •  Foreign.C.String
    •  Foreign.C.Types
  •  Foreign.Concurrent
  •  Foreign.ForeignPtr
    Submodules

    •  Foreign.ForeignPtr.Safe
    •  Foreign.ForeignPtr.Unsafe
  •  Foreign.Marshal
    Submodules

    •  Foreign.Marshal.Alloc
    •  Foreign.Marshal.Array
    •  Foreign.Marshal.Error
    •  Foreign.Marshal.Pool
    •  Foreign.Marshal.Safe
    •  Foreign.Marshal.Unsafe
    •  Foreign.Marshal.Utils
  •  Foreign.Ptr
  •  Foreign.Safe
  •  Foreign.StablePtr
  •  Foreign.Storable
• GHC
  Submodules

  •  GHC.Arr
  •  GHC.Base
  •  GHC.ByteOrder
  •  GHC.Char
  •  GHC.Clock
  •  GHC.Conc
    Submodules

    •  GHC.Conc.IO
    •  GHC.Conc.Signal
    •  GHC.Conc.Sync
  •  GHC.ConsoleHandler
  •  GHC.Constants
  •  GHC.Desugar
  •  GHC.Enum
  •  GHC.Environment
  •  GHC.Err
  •  GHC.Exception
    Submodules

    •  GHC.Exception.Type
  •  GHC.ExecutionStack
    Submodules

    •  GHC.ExecutionStack.Internal
  •  GHC.Exts
  •  GHC.Fingerprint
    Submodules

    •  GHC.Fingerprint.Type
  •  GHC.Float
    Submodules

    •  GHC.Float.ConversionUtils
    •  GHC.Float.RealFracMethods
  •  GHC.Foreign
  •  GHC.ForeignPtr
  •  GHC.GHCi
    Submodules

    •  GHC.GHCi.Helpers
  •  GHC.Generics
  •  GHC.IO
    Submodules

    •  GHC.IO.Buffer
    •  GHC.IO.BufferedIO
    •  GHC.IO.Device
    •  GHC.IO.Encoding
      Submodules

      •  GHC.IO.Encoding.CodePage
      •  GHC.IO.Encoding.Failure
      •  GHC.IO.Encoding.Iconv
      •  GHC.IO.Encoding.Latin1
      •  GHC.IO.Encoding.Types
      •  GHC.IO.Encoding.UTF16
      •  GHC.IO.Encoding.UTF32
      •  GHC.IO.Encoding.UTF8
    •  GHC.IO.Exception
    •  GHC.IO.FD
    •  GHC.IO.Handle
      Submodules

      •  GHC.IO.Handle.FD
      •  GHC.IO.Handle.Internals
      •  GHC.IO.Handle.Lock
      •  GHC.IO.Handle.Text
      •  GHC.IO.Handle.Types
    •  GHC.IO.IOMode
    •  GHC.IO.Unsafe
  •  GHC.IOArray
  •  GHC.IORef
  •  GHC.Int
  •  GHC.Ix
  •  GHC.List
  •  GHC.MVar
  •  GHC.Maybe
  •  GHC.Natural
  •  GHC.Num
  •  GHC.OldList
  •  GHC.OverloadedLabels
  •  GHC.Pack
  •  GHC.Profiling
  •  GHC.Ptr
  • RTS
    Submodules

    •  GHC.RTS.Flags
  •  GHC.Read
  •  GHC.Real
  •  GHC.Records
  •  GHC.ResponseFile
  •  GHC.ST
  •  GHC.STRef
  •  GHC.Show
  •  GHC.Stable
  •  GHC.StableName
  •  GHC.Stack
    Submodules

    •  GHC.Stack.CCS
    •  GHC.Stack.Types
  •  GHC.StaticPtr
  •  GHC.Stats
  •  GHC.Storable
  •  GHC.TopHandler
  •  GHC.TypeLits
  •  GHC.TypeNats
  •  GHC.Unicode
  •  GHC.Weak
  •  GHC.Word
• Liquid
  Submodules

  • Prelude
    Submodules

    •  Liquid.Prelude.NotReal
    •  Liquid.Prelude.Real
    •  Liquid.Prelude.Totality
•  Numeric
  Submodules

  •  Numeric.Natural
•  Prelude
• System
  Submodules

  •  System.CPUTime
  • Console
    Submodules

    •  System.Console.GetOpt
  •  System.Environment
    Submodules

    •  System.Environment.Blank
  •  System.Exit
  •  System.IO
    Submodules

    •  System.IO.Error
    •  System.IO.Unsafe
  •  System.Info
  •  System.Mem
    Submodules

    •  System.Mem.StableName
    •  System.Mem.Weak
  • Posix
    Submodules

    •  System.Posix.Internals
    •  System.Posix.Types
  •  System.Timeout
• Text
  Submodules

  • ParserCombinators
    Submodules

    •  Text.ParserCombinators.ReadP
    •  Text.ParserCombinators.ReadPrec
  •  Text.Printf
  •  Text.Read
    Submodules

    •  Text.Read.Lex
  •  Text.Show
    Submodules

    •  Text.Show.Functions
• Type
  Submodules

  •  Type.Reflection
    Submodules

    •  Type.Reflection.Unsafe
• Unsafe
  Submodules

  •  Unsafe.Coerce