| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.CST.Utils
Synopsis
- placeholder :: SourceToken
- unexpectedName :: SourceToken -> Name Ident
- unexpectedQual :: SourceToken -> QualifiedName Ident
- unexpectedLabel :: SourceToken -> Label
- unexpectedExpr :: Monoid a => [SourceToken] -> Expr a
- unexpectedDecl :: Monoid a => [SourceToken] -> Declaration a
- unexpectedBinder :: Monoid a => [SourceToken] -> Binder a
- unexpectedLetBinding :: Monoid a => [SourceToken] -> LetBinding a
- unexpectedInstBinding :: Monoid a => [SourceToken] -> InstanceBinding a
- unexpectedRecordUpdate :: Monoid a => [SourceToken] -> RecordUpdate a
- unexpectedRecordLabeled :: [SourceToken] -> RecordLabeled a
- rangeToks :: TokenRange -> [SourceToken]
- unexpectedToks :: (a -> TokenRange) -> ([SourceToken] -> b) -> ParserErrorType -> a -> Parser b
- separated :: [(SourceToken, a)] -> Separated a
- consSeparated :: a -> SourceToken -> Separated a -> Separated a
- internalError :: String -> a
- toModuleName :: SourceToken -> [Text] -> Parser (Maybe ModuleName)
- upperToModuleName :: SourceToken -> Parser (Name ModuleName)
- toQualifiedName :: (Text -> a) -> SourceToken -> Parser (QualifiedName a)
- toName :: (Text -> a) -> SourceToken -> Parser (Name a)
- toLabel :: SourceToken -> Label
- labelToIdent :: Label -> Parser (Name Ident)
- toString :: SourceToken -> (SourceToken, PSString)
- toChar :: SourceToken -> (SourceToken, Char)
- toNumber :: SourceToken -> (SourceToken, Either Integer Double)
- toInt :: SourceToken -> (SourceToken, Integer)
- toBoolean :: SourceToken -> (SourceToken, Bool)
- toConstraint :: forall a. Monoid a => Type a -> Parser (Constraint a)
- toBinderConstructor :: Monoid a => NonEmpty (Binder a) -> Parser (Binder a)
- toRecordFields :: Monoid a => Separated (Either (RecordLabeled (Expr a)) (RecordUpdate a)) -> Parser (Either (Separated (RecordLabeled (Expr a))) (Separated (RecordUpdate a)))
- checkFundeps :: ClassHead a -> Parser ()
- data TmpModuleDecl a
- = TmpImport (ImportDecl a)
- | TmpChain (Separated (Declaration a))
- toModuleDecls :: Monoid a => [TmpModuleDecl a] -> Parser ([ImportDecl a], [Declaration a])
- checkNoWildcards :: Type a -> Parser ()
- checkNoForalls :: Type a -> Parser ()
- revert :: Parser a -> SourceToken -> Parser a
- reservedNames :: Set Text
- isValidModuleNamespace :: Text -> Bool
- isLeftFatArrow :: Text -> Bool
Documentation
unexpectedName :: SourceToken -> Name Ident Source #
unexpectedLabel :: SourceToken -> Label Source #
unexpectedExpr :: Monoid a => [SourceToken] -> Expr a Source #
unexpectedDecl :: Monoid a => [SourceToken] -> Declaration a Source #
unexpectedBinder :: Monoid a => [SourceToken] -> Binder a Source #
unexpectedLetBinding :: Monoid a => [SourceToken] -> LetBinding a Source #
unexpectedInstBinding :: Monoid a => [SourceToken] -> InstanceBinding a Source #
unexpectedRecordUpdate :: Monoid a => [SourceToken] -> RecordUpdate a Source #
unexpectedRecordLabeled :: [SourceToken] -> RecordLabeled a Source #
rangeToks :: TokenRange -> [SourceToken] Source #
unexpectedToks :: (a -> TokenRange) -> ([SourceToken] -> b) -> ParserErrorType -> a -> Parser b Source #
separated :: [(SourceToken, a)] -> Separated a Source #
consSeparated :: a -> SourceToken -> Separated a -> Separated a Source #
internalError :: String -> a Source #
toModuleName :: SourceToken -> [Text] -> Parser (Maybe ModuleName) Source #
upperToModuleName :: SourceToken -> Parser (Name ModuleName) Source #
toQualifiedName :: (Text -> a) -> SourceToken -> Parser (QualifiedName a) Source #
toLabel :: SourceToken -> Label Source #
toString :: SourceToken -> (SourceToken, PSString) Source #
toChar :: SourceToken -> (SourceToken, Char) Source #
toNumber :: SourceToken -> (SourceToken, Either Integer Double) Source #
toInt :: SourceToken -> (SourceToken, Integer) Source #
toBoolean :: SourceToken -> (SourceToken, Bool) Source #
toConstraint :: forall a. Monoid a => Type a -> Parser (Constraint a) Source #
toRecordFields :: Monoid a => Separated (Either (RecordLabeled (Expr a)) (RecordUpdate a)) -> Parser (Either (Separated (RecordLabeled (Expr a))) (Separated (RecordUpdate a))) Source #
checkFundeps :: ClassHead a -> Parser () Source #
data TmpModuleDecl a Source #
Constructors
| TmpImport (ImportDecl a) | |
| TmpChain (Separated (Declaration a)) |
Instances
| Show a => Show (TmpModuleDecl a) Source # | |
Defined in Language.PureScript.CST.Utils Methods showsPrec :: Int -> TmpModuleDecl a -> ShowS # show :: TmpModuleDecl a -> String # showList :: [TmpModuleDecl a] -> ShowS # | |
toModuleDecls :: Monoid a => [TmpModuleDecl a] -> Parser ([ImportDecl a], [Declaration a]) Source #
checkNoWildcards :: Type a -> Parser () Source #
checkNoForalls :: Type a -> Parser () Source #
reservedNames :: Set Text Source #
isValidModuleNamespace :: Text -> Bool Source #
isLeftFatArrow :: Text -> Bool Source #
This is to keep the Parser.y file ASCII, otherwise happy will break
in non-unicode locales.
Related GHC issue: https://gitlab.haskell.org/ghc/ghc/issues/8167