Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
fromTypecheckedUnisonFile :: forall m v a. (Var v, Monad m) => TypecheckedUnisonFile v a -> CodeLookup v m a Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
fromTypecheckedUnisonFile :: forall m v a. (Var v, Monad m) => TypecheckedUnisonFile v a -> CodeLookup v m a Source #