Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.CodeLookup

Documentation

Constructors

CodeLookup
Fields getTerm :: Id -> m (Maybe (Term v a)) getTypeOfTerm :: Id -> m (Maybe (Type v a)) getTypeDeclaration :: Id -> m (Maybe (Decl v a))

Instances details

MFunctor (CodeLookup v :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Unison.Codebase.CodeLookup Methods hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> CodeLookup v m b -> CodeLookup v n b #
(Ord v, Functor m) => Functor (CodeLookup v m) Source #
Instance details Defined in Unison.Codebase.CodeLookup Methods fmap :: (a -> b) -> CodeLookup v m a -> CodeLookup v m b # (<$) :: a -> CodeLookup v m b -> CodeLookup v m a #
Monad m => Monoid (CodeLookup v m a) Source #
Instance details Defined in Unison.Codebase.CodeLookup Methods mempty :: CodeLookup v m a # mappend :: CodeLookup v m a -> CodeLookup v m a -> CodeLookup v m a # mconcat :: [CodeLookup v m a] -> CodeLookup v m a #
Monad m => Semigroup (CodeLookup v m a) Source #
Instance details Defined in Unison.Codebase.CodeLookup Methods (<>) :: CodeLookup v m a -> CodeLookup v m a -> CodeLookup v m a # sconcat :: NonEmpty (CodeLookup v m a) -> CodeLookup v m a # stimes :: Integral b => b -> CodeLookup v m a -> CodeLookup v m a #