liquid-base-4.14.3.0: liquid-base.cabal
cabal-version: 1.24
name: liquid-base
version: 4.14.3.0
synopsis: Drop-in base replacement for LH
description: Superseded by liquidhaskell >= 9.2
license: BSD3
license-file: LICENSE
copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
author: Ranjit Jhala, Niki Vazou, Eric Seidel
maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>
category: Language
homepage: https://github.com/ucsd-progsys/liquidhaskell
build-type: Custom
data-files: src/Data/*.spec
src/System/*.spec
src/GHC/IO/Handle.spec
src/GHC/*.spec
src/Prelude.spec
src/Liquid/Prelude/*.spec
src/Foreign/C/*.spec
src/Foreign/*.spec
src/Control/*.spec
custom-setup
setup-depends: Cabal<4, base<5, liquidhaskell
library
exposed-modules: Control.Applicative
Control.Arrow
Control.Category
Control.Concurrent
Control.Concurrent.Chan
Control.Concurrent.MVar
Control.Concurrent.QSem
Control.Concurrent.QSemN
Control.Exception
Control.Exception.Base
Control.Monad
Control.Monad.Fail
Control.Monad.Fix
Control.Monad.Instances
Control.Monad.IO.Class
Control.Monad.ST
Control.Monad.ST.Lazy
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.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
Data.Functor.Classes
Data.Functor.Contravariant
Data.Functor.Compose
Data.Functor.Const
Data.Functor.Identity
Data.Functor.Product
Data.Functor.Sum
Data.IORef
Data.Int
Data.Ix
Data.Kind
Data.List
Data.List.NonEmpty
Data.Maybe
Data.Monoid
Data.Ord
Data.Proxy
Data.Ratio
Data.Semigroup
Data.STRef
Data.STRef.Lazy
Data.STRef.Strict
Data.String
Data.Traversable
Data.Tuple
Data.Type.Bool
Data.Type.Coercion
Data.Type.Equality
Data.Typeable
Data.Unique
Data.Version
Data.Void
Data.Word
Debug.Trace
Foreign
Foreign.C
Foreign.C.Error
Foreign.C.String
Foreign.C.Types
Foreign.Concurrent
Foreign.ForeignPtr
Foreign.ForeignPtr.Safe
Foreign.ForeignPtr.Unsafe
Foreign.Marshal
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.Arr
GHC.Base
GHC.ByteOrder
GHC.Char
GHC.Clock
GHC.Conc
GHC.Conc.IO
GHC.Conc.Signal
GHC.Conc.Sync
GHC.ConsoleHandler
GHC.Constants
GHC.Desugar
GHC.Enum
GHC.Environment
GHC.Err
GHC.Exception
GHC.Exception.Type
GHC.ExecutionStack
GHC.ExecutionStack.Internal
GHC.Exts
GHC.Fingerprint
GHC.Fingerprint.Type
GHC.Float
GHC.Float.ConversionUtils
GHC.Float.RealFracMethods
GHC.Foreign
GHC.ForeignPtr
GHC.GHCi
GHC.GHCi.Helpers
GHC.Generics
GHC.IO
GHC.IO.Buffer
GHC.IO.BufferedIO
GHC.IO.Device
GHC.IO.Encoding
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
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.Maybe
GHC.MVar
GHC.Natural
GHC.Num
GHC.OldList
GHC.OverloadedLabels
GHC.Pack
GHC.Profiling
GHC.Ptr
GHC.Read
GHC.Real
GHC.Records
GHC.ResponseFile
GHC.RTS.Flags
GHC.ST
GHC.StaticPtr
GHC.STRef
GHC.Show
GHC.Stable
GHC.StableName
GHC.Stack
GHC.Stack.CCS
GHC.Stack.Types
GHC.Stats
GHC.Storable
GHC.TopHandler
GHC.TypeLits
GHC.TypeNats
GHC.Unicode
GHC.Weak
GHC.Word
Numeric
Numeric.Natural
Prelude
System.CPUTime
System.Console.GetOpt
System.Environment
System.Environment.Blank
System.Exit
System.IO
System.IO.Error
System.IO.Unsafe
System.Info
System.Mem
System.Mem.StableName
System.Mem.Weak
System.Posix.Internals
System.Posix.Types
System.Timeout
Text.ParserCombinators.ReadP
Text.ParserCombinators.ReadPrec
Text.Printf
Text.Read
Text.Read.Lex
Text.Show
Text.Show.Functions
Type.Reflection
Type.Reflection.Unsafe
Unsafe.Coerce
-- Liquid special modules
Liquid.Prelude.Real
Liquid.Prelude.NotReal
Liquid.Prelude.Totality
hs-source-dirs: src
build-depends: base == 4.14.3.0
, liquid-ghc-prim
, liquidhaskell >= 0.8.10.7.1 && < 0.9
if impl(ghc < 9)
build-depends: integer-gmp < 1.0.4.0
default-language: Haskell2010
default-extensions: PackageImports
NoImplicitPrelude
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell