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