| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.RefToLogic
Documentation
class Transformable a Source
Minimal complete definition
tx
Instances
| Transformable Expr | |
| Transformable Pred | |
| Transformable Reft | |
| Transformable Body | |
| Transformable RReft | |
| Transformable DataConP | |
| Transformable TInline | |
| Transformable a => Transformable [a] | |
| (Transformable a, Transformable b) => Transformable (Either a b) | |
| Transformable (Def t c) | |
| Transformable (Measure t c) | |
| Transformable r => Transformable (RType c v r) |
txRefToLogic :: Transformable r => LogicMap -> InlnEnv -> r -> r Source