unison-parser-typechecker-0.0.0

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) (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

data MainTerm v Source #

Constructors

NotFound (HashQualified Name)
BadType (HashQualified Name) (Maybe (Type v Ann))
Success (HashQualified Name) (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 #

builtinMainWithResultType :: Var v => a -> Type v a -> Type v a 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]