Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- evalUnisonTerm :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Term Symbol Ann)
- evalUnisonTermE :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann))
- evalPureUnison :: PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann))
- displayDecompileErrors :: [Error] -> Cli ()
Documentation
evalUnisonTerm :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Term Symbol Ann) Source #
Evaluate a single closed definition.
evalUnisonTermE :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann)) Source #
Evaluate a single closed definition.
evalPureUnison :: PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann)) Source #
displayDecompileErrors :: [Error] -> Cli () Source #