| Copyright | Christian Maeder and Uni Bremen 2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
Common.ConvertLiteral
Description
Generically converting literals
- type SplitM a = a -> Maybe (Id, [a])
- isGenLiteral :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenNumber :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenNum :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenString :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenList :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenFloat :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- isGenFrac :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
- toNumber :: (a -> (Id, [a])) -> Id -> [a] -> Token
- toFrac :: (a -> (Id, [a])) -> [a] -> Token
- toFloat :: (a -> (Id, [a])) -> GlobalAnnos -> [a] -> Token
- toString :: (a -> (Id, [a])) -> GlobalAnnos -> Id -> [a] -> Token
- toMixfixList :: (Id -> [a] -> Id -> b) -> (a -> (Id, [a])) -> GlobalAnnos -> Id -> [a] -> b
- toChar :: Token -> String
Documentation
isGenLiteral :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
isGenNumber :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
is a number of more than one digit
isGenNum :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
is a number or a single digit
isGenString :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
isGenList :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
isGenFloat :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
isGenFrac :: SplitM a -> GlobalAnnos -> Id -> [a] -> Bool
toFloat :: (a -> (Id, [a])) -> GlobalAnnos -> [a] -> Token
toString :: (a -> (Id, [a])) -> GlobalAnnos -> Id -> [a] -> Token
toMixfixList :: (Id -> [a] -> Id -> b) -> (a -> (Id, [a])) -> GlobalAnnos -> Id -> [a] -> b
construct list result from application