liquidhaskell-0.4.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Existential

Synopsis

Documentation

txExpToBind :: SpecType -> SpecType Source

Niki: please write more documentation for this, maybe an example? I can't really tell whats going on... (RJ)