The latest version of liquidhaskell is 0.9.10.1-0.
lib:liquidhaskell
Modules
- Data.Bits_LHAssumptions
- Data.ByteString.Char8_LHAssumptions
- Data.ByteString.Lazy.Char8_LHAssumptions
- Data.ByteString.Lazy_LHAssumptions
- Data.ByteString.Short_LHAssumptions
- Data.ByteString.Unsafe_LHAssumptions
- Data.ByteString_LHAssumptions
- Data.Either_LHAssumptions
- Data.Foldable_LHAssumptions
- Data.Int_LHAssumptions
- Data.Maybe_LHAssumptions
- Data.Set_LHAssumptions
- Data.String_LHAssumptions
- Data.Tuple_LHAssumptions
- Data.Word_LHAssumptions
- Foreign.C.String_LHAssumptions
- Foreign.C.Types_LHAssumptions
- Foreign.Concurrent_LHAssumptions
- Foreign.ForeignPtr_LHAssumptions
- Foreign.Marshal.Alloc_LHAssumptions
- Foreign.Ptr_LHAssumptions
- Foreign.Storable_LHAssumptions
- GHC.Base_LHAssumptions
- GHC.CString_LHAssumptions
- GHC.Classes_LHAssumptions
- GHC.Exts_LHAssumptions
- GHC.Float_LHAssumptions
- GHC.ForeignPtr_LHAssumptions
- GHC.IO.Handle_LHAssumptions
- GHC.Int_LHAssumptions
- GHC.List_LHAssumptions
- GHC.Maybe_LHAssumptions
- GHC.Num.Integer_LHAssumptions
- GHC.Num_LHAssumptions
- GHC.Ptr_LHAssumptions
- GHC.Real_LHAssumptions
- GHC.Types_LHAssumptions
- GHC.Word_LHAssumptions
- Liquid.Prelude.Real_LHAssumptions
- Liquid.Prelude.Totality_LHAssumptions
- LiquidHaskell
- Prelude_LHAssumptions
Dependencies
- base lib:base >=4.11.1.0 && <5
- bytestring lib:bytestring ==0.12.1.0
- containers lib:containers ==0.6.8
- ghc-bignum lib:ghc-bignum >=0
- ghc-prim lib:ghc-prim >=0
- liquidhaskell-boot lib:liquidhaskell-boot ==0.9.8.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- liquidhaskell exe:liquid
- liquidhaskell test:test
- target bench:bench
- target lib:target
- target test:test