Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Momo.Env
Documentation
fromSignature :: [Specification term] -> Env term Source #
addSignature :: [Specification term] -> Env term -> Env term Source #
findValue :: (CoreSyntax term, MonadThrow m) => Path -> Env term -> m (Val term) Source #
findType :: (CoreSyntax term, MonadThrow m) => Path -> Env term -> m (TypeDecl term) Source #
findModule :: (CoreSyntax term, MonadThrow m) => Path -> Env term -> m (ModType term) Source #
Instances
ShowTerm term => Show (Binding term) Source # | |
EqTerm term => Eq (Binding term) Source # | |
OrdTerm term => Ord (Binding term) Source # | |
Defined in Momo.Env |
find :: forall term m. (CoreSyntax term, MonadThrow m) => Path -> Env term -> m (Binding term) Source #
Constructors
ValueFieldExpected Path | |
TypeFieldExpected Path | |
ModuleFieldExpected Path | |
BindingNotFound Ident | |
StructureExpected Path | |
StructureFieldNotFound Path Text |
Instances
Exception FindError Source # | |
Defined in Momo.Env Methods toException :: FindError -> SomeException # fromException :: SomeException -> Maybe FindError # displayException :: FindError -> String # | |
Show FindError Source # | |
Eq FindError Source # | |
Ord FindError Source # | |