Is there Liquid Haskell enabled Prelude?

Question

是否有一个带注释的变体或Haskell Prelude可以轻松迁移调用head或length等函数的现有程序？

Answer 1

As discussed in the LH Documentation , you can augment existing files with .spec files that give just specifications of already existing code. LH itself comes with a large prelude (see the include folder) that includes specifications for lots of common stuff, including head , length , functions on Data.Set , etc.