| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Codebase.MainTerm
Description
Find a computation of type '{IO} () in the codebase.
Synopsis
- data MainTerm v
- = NotFound
- | BadType [(HashQualified Name, TermReference, Type v Ann)]
- | Ambiguous [(HashQualified Name, TermReference, 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)
- builtinIOTestTypes :: forall v a. (Ord v, Var v) => a -> NESet (Type v a)
- builtinMain :: Var v => a -> Type v a
- builtinMainWithResultType :: Var v => a -> Type v a -> Type v a
Documentation
Constructors
| NotFound | |
| BadType [(HashQualified Name, TermReference, Type v Ann)] | |
| Ambiguous [(HashQualified Name, TermReference, 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 #
builtinIOTestTypes :: forall v a. (Ord v, Var v) => a -> NESet (Type v a) Source #
All possible IO'ish test types, e.g. '{IO, Exception} [Result] '{IO} [Result]
builtinMain :: Var v => a -> Type v a Source #