Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
liftLCValue :: LCValue -> LCTerm Source #
liftLCNormal :: LCNormalTerm -> LCTerm Source #
liftLCNeutral :: LCNeutralTerm -> LCTerm Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
liftLCValue :: LCValue -> LCTerm Source #
liftLCNormal :: LCNormalTerm -> LCTerm Source #
liftLCNeutral :: LCNeutralTerm -> LCTerm Source #