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