| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Codebase.MainTerm
Description
Find a computation of type '{IO} () in the codebase.
Synopsis
- data MainTerm v
- = NotFound (HashQualified Name)
- | BadType (HashQualified Name) (Maybe (Type v Ann))
- | Success (HashQualified Name) TermReference (Term v Ann) (Type v Ann)
- getMainTerm :: (Monad m, Var v) => (Reference -> m (Maybe (Type v Ann))) -> Names -> HashQualified Name -> Type v Ann -> m (MainTerm v)
- builtinMain :: Var v => a -> Type v a
- builtinMainWithResultType :: Var v => a -> Type v a -> Type v a
- builtinIOTestTypes :: forall v a. (Ord v, Var v) => a -> NESet (Type v a)
Documentation
Constructors
| NotFound (HashQualified Name) | |
| BadType (HashQualified Name) (Maybe (Type v Ann)) | |
| Success (HashQualified Name) TermReference (Term v Ann) (Type v Ann) |
getMainTerm :: (Monad m, Var v) => (Reference -> m (Maybe (Type v Ann))) -> Names -> HashQualified Name -> Type v Ann -> m (MainTerm v) Source #
builtinMain :: Var v => a -> Type v a Source #