liquid-base: Drop-in base replacement for LiquidHaskell

[ bsd3, language, library ] [ Propose Tags ]

Drop-in base replacement for LiquidHaskell.

Versions [RSS] [faq] 4.14.0.0, 4.14.1.0, 4.15.0.0
Dependencies base (==4.15.0.0), integer-gmp (<1.0.4.0), liquid-ghc-prim, liquidhaskell (>=0.8.10.1) [details]
License BSD-3-Clause
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
Home page https://github.com/ucsd-progsys/liquidhaskell
Uploaded by AlfredoDiNapoli at 2021-06-29T12:48:47Z
Distributions NixOS:4.15.0.0
Downloads 424 total (30 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2021-06-29 [all 2 reports]

Modules

  • Control
    • 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
      • IO
        • Control.Monad.IO.Class
      • Control.Monad.Instances
      • 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
    • 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.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
      • Data.List.NonEmpty
    • Data.Maybe
    • Data.Monoid
    • Data.Ord
    • Data.Proxy
    • Data.Ratio
    • Data.STRef
      • Data.STRef.Lazy
      • Data.STRef.Strict
    • Data.Semigroup
    • Data.String
    • Data.Traversable
    • Data.Tuple
    • Type
      • Data.Type.Bool
      • Data.Type.Coercion
      • Data.Type.Equality
    • Data.Typeable
    • Data.Unique
    • Data.Version
    • Data.Void
    • Data.Word
  • Debug
    • 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
    • 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.MVar
    • GHC.Maybe
    • GHC.Natural
    • GHC.Num
    • GHC.OldList
    • GHC.OverloadedLabels
    • GHC.Pack
    • GHC.Profiling
    • GHC.Ptr
    • RTS
      • GHC.RTS.Flags
    • GHC.Read
    • GHC.Real
    • GHC.Records
    • GHC.ResponseFile
    • GHC.ST
    • GHC.STRef
    • GHC.Show
    • GHC.Stable
    • GHC.StableName
    • GHC.Stack
      • 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
    • Prelude
      • Liquid.Prelude.NotReal
      • Liquid.Prelude.Real
      • Liquid.Prelude.Totality
  • Numeric
    • Numeric.Natural
  • Prelude
  • System
    • System.CPUTime
    • Console
      • 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
    • Posix
      • System.Posix.Internals
      • System.Posix.Types
    • System.Timeout
  • Text
    • ParserCombinators
      • Text.ParserCombinators.ReadP
      • Text.ParserCombinators.ReadPrec
    • Text.Printf
    • Text.Read
      • Text.Read.Lex
    • Text.Show
      • Text.Show.Functions
  • Type
    • Type.Reflection
      • Type.Reflection.Unsafe
  • Unsafe
    • Unsafe.Coerce

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates