Safe Haskell	Safe-Inferred
Language	GHC2021

Momo.ModTyping

Documentation

typeModule :: forall term m. (CoreTyping term, MonadThrow m) => Env term -> ModTerm term -> m (ModType term) Source #

Constructors

CircularValue Text
CircularType Text
CircularModule Text
KindMismatch Text
UnmatchedSignatureComponent Text
ValueComponentsMismatch Text Text
TypeComponentsMismatch Text Text
ModuleTypeMismatch

Instances details

Exception ModTypingError Source #
Instance details Defined in Momo.ModTyping Methods toException :: ModTypingError -> SomeException # fromException :: SomeException -> Maybe ModTypingError # displayException :: ModTypingError -> String #
Show ModTypingError Source #
Instance details Defined in Momo.ModTyping Methods showsPrec :: Int -> ModTypingError -> ShowS # show :: ModTypingError -> String # showList :: [ModTypingError] -> ShowS #
Eq ModTypingError Source #
Instance details Defined in Momo.ModTyping Methods (==) :: ModTypingError -> ModTypingError -> Bool # (/=) :: ModTypingError -> ModTypingError -> Bool #
Ord ModTypingError Source #
Instance details Defined in Momo.ModTyping Methods compare :: ModTypingError -> ModTypingError -> Ordering # (<) :: ModTypingError -> ModTypingError -> Bool # (<=) :: ModTypingError -> ModTypingError -> Bool # (>) :: ModTypingError -> ModTypingError -> Bool # (>=) :: ModTypingError -> ModTypingError -> Bool # max :: ModTypingError -> ModTypingError -> ModTypingError # min :: ModTypingError -> ModTypingError -> ModTypingError #