{-# LANGUAGE Safe #-}
module Text.Parsec.Language
( haskellDef, haskell
, mondrianDef, mondrian
, emptyDef
, haskellStyle
, javaStyle
, LanguageDef
, GenLanguageDef
) where
import Text.Parsec
import Text.Parsec.Token
haskellStyle :: LanguageDef st
haskellStyle :: forall st. LanguageDef st
haskellStyle = LanguageDef (ZonkAny 0)
forall st. LanguageDef st
emptyDef
{ commentStart = "{-"
, commentEnd = "-}"
, commentLine = "--"
, nestedComments = True
, identStart = letter
, identLetter = alphaNum <|> oneOf "_'"
, opStart = opLetter haskellStyle
, opLetter = oneOf ":!#$%&*+./<=>?@\\^|-~"
, reservedOpNames= []
, reservedNames = []
, caseSensitive = True
}
javaStyle :: LanguageDef st
javaStyle :: forall st. LanguageDef st
javaStyle = GenLanguageDef String st Identity
forall st. LanguageDef st
emptyDef
{ commentStart = "/*"
, commentEnd = "*/"
, commentLine = "//"
, nestedComments = True
, identStart = letter
, identLetter = alphaNum <|> oneOf "_'"
, reservedNames = []
, reservedOpNames= []
, caseSensitive = False
}
emptyDef :: LanguageDef st
emptyDef :: forall st. LanguageDef st
emptyDef = LanguageDef
{ commentStart :: String
commentStart = String
""
, commentEnd :: String
commentEnd = String
""
, commentLine :: String
commentLine = String
""
, nestedComments :: Bool
nestedComments = Bool
True
, identStart :: ParsecT String st Identity Char
identStart = ParsecT String st Identity Char
forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m Char
letter ParsecT String st Identity Char
-> ParsecT String st Identity Char
-> ParsecT String st Identity Char
forall s u (m :: * -> *) a.
ParsecT s u m a -> ParsecT s u m a -> ParsecT s u m a
<|> Char -> ParsecT String st Identity Char
forall s (m :: * -> *) u.
Stream s m Char =>
Char -> ParsecT s u m Char
char Char
'_'
, identLetter :: ParsecT String st Identity Char
identLetter = ParsecT String st Identity Char
forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m Char
alphaNum ParsecT String st Identity Char
-> ParsecT String st Identity Char
-> ParsecT String st Identity Char
forall s u (m :: * -> *) a.
ParsecT s u m a -> ParsecT s u m a -> ParsecT s u m a
<|> String -> ParsecT String st Identity Char
forall s (m :: * -> *) u.
Stream s m Char =>
String -> ParsecT s u m Char
oneOf String
"_'"
, opStart :: ParsecT String st Identity Char
opStart = GenLanguageDef String st Identity
-> ParsecT String st Identity Char
forall s u (m :: * -> *).
GenLanguageDef s u m -> ParsecT s u m Char
opLetter GenLanguageDef String st Identity
forall st. LanguageDef st
emptyDef
, opLetter :: ParsecT String st Identity Char
opLetter = String -> ParsecT String st Identity Char
forall s (m :: * -> *) u.
Stream s m Char =>
String -> ParsecT s u m Char
oneOf String
":!#$%&*+./<=>?@\\^|-~"
, reservedOpNames :: [String]
reservedOpNames= []
, reservedNames :: [String]
reservedNames = []
, caseSensitive :: Bool
caseSensitive = Bool
True
}
haskell :: TokenParser st
haskell :: forall st. TokenParser st
haskell = GenLanguageDef String st Identity
-> GenTokenParser String st Identity
forall s (m :: * -> *) u.
Stream s m Char =>
GenLanguageDef s u m -> GenTokenParser s u m
makeTokenParser GenLanguageDef String st Identity
forall st. LanguageDef st
haskellDef
haskellDef :: LanguageDef st
haskellDef :: forall st. LanguageDef st
haskellDef = GenLanguageDef String st Identity
forall st. LanguageDef st
haskell98Def
{ identLetter = identLetter haskell98Def <|> char '#'
, reservedNames = reservedNames haskell98Def ++
["foreign","import","export","primitive"
,"_ccall_","_casm_"
,"forall"
]
}
haskell98Def :: LanguageDef st
haskell98Def :: forall st. LanguageDef st
haskell98Def = GenLanguageDef String st Identity
forall st. LanguageDef st
haskellStyle
{ reservedOpNames= ["::","..","=","\\","|","<-","->","@","~","=>"]
, reservedNames = ["let","in","case","of","if","then","else",
"data","type",
"class","default","deriving","do","import",
"infix","infixl","infixr","instance","module",
"newtype","where",
"primitive"
]
}
mondrian :: TokenParser st
mondrian :: forall st. TokenParser st
mondrian = GenLanguageDef String st Identity
-> GenTokenParser String st Identity
forall s (m :: * -> *) u.
Stream s m Char =>
GenLanguageDef s u m -> GenTokenParser s u m
makeTokenParser GenLanguageDef String st Identity
forall st. LanguageDef st
mondrianDef
mondrianDef :: LanguageDef st
mondrianDef :: forall st. LanguageDef st
mondrianDef = GenLanguageDef String st Identity
forall st. LanguageDef st
javaStyle
{ reservedNames = [ "case", "class", "default", "extends"
, "import", "in", "let", "new", "of", "package"
]
, caseSensitive = True
}