@hackage / liquid-prelude

General utility modules for LiquidHaskell

Latest0.9.14.1

Dependencies

library:liquid-prelude (5 dependencies)

@hackage / liquidhaskell Liquid Types for Haskell
- Version: >=0.9.14.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.4.1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.12.1
- License: BSD-3-Clause