liquidhaskell-0.5.0.0: 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)