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