Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Sutori.Parser.Symbols
Description
- findExistentType :: SutTypeID -> SutMonad SutType
- findTypeID :: SutType -> SutMonad SutTypeID
- findType :: SutID -> SutMonad SutTypeID
- findPerson :: SutID -> SutMonad SutID
- findFunctionID :: SutID -> SutMonad SutID
- findFunction :: SutID -> SutMonad (Maybe SymFunction)
- findVariable :: SutID -> SutMonad SutExpression
- lookupInScope :: SutSymbol a => (SutID -> SymTable -> [a]) -> SutID -> SutMonad [a]
- inScope :: SutSymbol a => [a] -> SutMonad [a]
Documentation
findTypeID :: SutType -> SutMonad SutTypeID Source #
Finds the existent typeID or inserts the type and gets the new ID
findFunctionID :: SutID -> SutMonad SutID Source #
Checks if the given function already exists, returns the SutID
findFunction :: SutID -> SutMonad (Maybe SymFunction) Source #
Checks if the given function already exists, returns the SutSymbol
, if any
findVariable :: SutID -> SutMonad SutExpression Source #
Checks if the given variable already exists, returns the SutID
wrapped as a SutExpression