Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class Transformable a Source
tx
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