Curly.Core.Parser

Contents

• Expressions and operators
• Basic blocks for warning generation
• Lines and files

Synopsis

• data OpMap
• data OpChar
  • = OC_Char Char
  • | OC_CompleteChar Char
• type OpParser m = ParserT OpStream (RWST Void [Warning] (Int, OpMap, (Map String (NameExpr GlobalID), Library)) m)
• withParsedString :: Monad m => OpParser m a -> OpParser m (String, a)
• data Severity
  • = Sev_Info
  • | Sev_Error
• data Warning = Warning Severity (Int, Int) String
• data CurlyParserException = CurlyParserException (Maybe String) [Warning]
• showWarning :: Maybe String -> Warning -> String
• l'library :: Lens a b (x, y, (z, a)) (x, y, (z, b))
• data Spaces
  • = HorizSpaces
  • | AnySpaces
• parseCurly :: (ParseStream s, StreamChar s ~ Char, Monad m) => s -> OpParser m a -> m ([Warning] :+: a)
• currentPos :: Monad m => OpParser m (Int, Int, Int)
• spc :: MonadCharParser s m p => p ()
• nbsp :: MonadCharParser s m p => p ()
• expr :: Monad m => Spaces -> OpParser m SourceExpr
• accessorExpr :: Monad m => Spaces -> OpParser m SourceExpr
• tom :: Monad m => Spaces -> OpParser m SourceExpr
• atom :: Monad m => OpParser m SourceExpr
• expected :: Monad m => String -> OpParser m a -> OpParser m a
• opKeyword :: Monad m => String -> OpParser m ()
• guardWarn :: Monad m => Severity -> String -> Bool -> OpParser m ()
• warn :: Monad m => Severity -> String -> OpParser m ()
• muteOnSuccess :: Monad m => OpParser m a -> OpParser m a
• curlyLine :: (Monad m, ?mountain :: Mountain) => OpParser m ()
• curlyFile :: (Monad m, ?mountain :: Mountain) => OpParser m Library

Expressions and operators

Basic blocks for warning generation

Lines and files